gcc/ * reg-stack.c (next_flags_user): Strengthen return type and param "insn" from rtx to rtx_insn *. (straighten_stack): Likewise for param "insn". (check_asm_stack_operands): Likewise. (remove_regno_note): Likewise. (emit_pop_insn): Likewise for return type, param "insn", local "pop_insn". (emit_swap_insn): Strengthen param "insn" and locals "i1", "tmp", "limit" from rtx to rtx_insn *. (swap_to_top): Likewise for param "insn". (move_for_stack_reg): Likewise. (move_nan_for_stack_reg): Likewise. (swap_rtx_condition): Likewise. (compare_for_stack_reg): Likewise. (subst_all_stack_regs_in_debug_insn): Likewise. (subst_stack_regs_pat): Likewise, and local "insn2". (subst_asm_stack_regs): Strengthen param "insn" from rtx to rtx_insn *. (subst_stack_regs): Likewise. (change_stack): Likewise. (convert_regs_1): Likewise for locals "insn", "next". --- gcc/reg-stack.c | 86 +++++++++++++++++++++++++++++---------------------------- 1 file changed, 44 insertions(+), 42 deletions(-)
diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c index 94de021..4293911 100644 --- a/gcc/reg-stack.c +++ b/gcc/reg-stack.c @@ -247,25 +247,25 @@ static int stack_regs_mentioned_p (const_rtx pat); static void pop_stack (stack_ptr, int); static rtx *get_true_reg (rtx *); -static int check_asm_stack_operands (rtx); +static int check_asm_stack_operands (rtx_insn *); static void get_asm_operands_in_out (rtx, int *, int *); static rtx stack_result (tree); static void replace_reg (rtx *, int); -static void remove_regno_note (rtx, enum reg_note, unsigned int); +static void remove_regno_note (rtx_insn *, enum reg_note, unsigned int); static int get_hard_regnum (stack_ptr, rtx); -static rtx emit_pop_insn (rtx, stack_ptr, rtx, enum emit_where); -static void swap_to_top (rtx, stack_ptr, rtx, rtx); -static bool move_for_stack_reg (rtx, stack_ptr, rtx); -static bool move_nan_for_stack_reg (rtx, stack_ptr, rtx); +static rtx_insn *emit_pop_insn (rtx_insn *, stack_ptr, rtx, enum emit_where); +static void swap_to_top (rtx_insn *, stack_ptr, rtx, rtx); +static bool move_for_stack_reg (rtx_insn *, stack_ptr, rtx); +static bool move_nan_for_stack_reg (rtx_insn *, stack_ptr, rtx); static int swap_rtx_condition_1 (rtx); -static int swap_rtx_condition (rtx); -static void compare_for_stack_reg (rtx, stack_ptr, rtx); -static bool subst_stack_regs_pat (rtx, stack_ptr, rtx); -static void subst_asm_stack_regs (rtx, stack_ptr); -static bool subst_stack_regs (rtx, stack_ptr); -static void change_stack (rtx, stack_ptr, stack_ptr, enum emit_where); +static int swap_rtx_condition (rtx_insn *); +static void compare_for_stack_reg (rtx_insn *, stack_ptr, rtx); +static bool subst_stack_regs_pat (rtx_insn *, stack_ptr, rtx); +static void subst_asm_stack_regs (rtx_insn *, stack_ptr); +static bool subst_stack_regs (rtx_insn *, stack_ptr); +static void change_stack (rtx_insn *, stack_ptr, stack_ptr, enum emit_where); static void print_stack (FILE *, stack_ptr); -static rtx next_flags_user (rtx); +static rtx_insn *next_flags_user (rtx_insn *); /* Return nonzero if any stack register is mentioned somewhere within PAT. */ @@ -330,8 +330,8 @@ stack_regs_mentioned (const_rtx insn) static rtx ix86_flags_rtx; -static rtx -next_flags_user (rtx insn) +static rtx_insn * +next_flags_user (rtx_insn *insn) { /* Search forward looking for the first use of this value. Stop at block boundaries. */ @@ -344,15 +344,15 @@ next_flags_user (rtx insn) return insn; if (CALL_P (insn)) - return NULL_RTX; + return NULL; } - return NULL_RTX; + return NULL; } /* Reorganize the stack into ascending numbers, before this insn. */ static void -straighten_stack (rtx insn, stack_ptr regstack) +straighten_stack (rtx_insn *insn, stack_ptr regstack) { struct stack_def temp_stack; int top; @@ -453,7 +453,7 @@ static bool any_malformed_asm; numbers below refer to that explanation. */ static int -check_asm_stack_operands (rtx insn) +check_asm_stack_operands (rtx_insn *insn) { int i; int n_clobbers; @@ -696,7 +696,7 @@ replace_reg (rtx *reg, int regno) number REGNO from INSN. Remove only one such note. */ static void -remove_regno_note (rtx insn, enum reg_note note, unsigned int regno) +remove_regno_note (rtx_insn *insn, enum reg_note note, unsigned int regno) { rtx *note_link, this_rtx; @@ -739,10 +739,11 @@ get_hard_regnum (stack_ptr regstack, rtx reg) and source is the top of stack. A death note for the top of stack cases the movdf pattern to pop. */ -static rtx -emit_pop_insn (rtx insn, stack_ptr regstack, rtx reg, enum emit_where where) +static rtx_insn * +emit_pop_insn (rtx_insn *insn, stack_ptr regstack, rtx reg, enum emit_where where) { - rtx pop_insn, pop_rtx; + rtx_insn *pop_insn; + rtx pop_rtx; int hard_regno; /* For complex types take care to pop both halves. These may survive in @@ -752,7 +753,7 @@ emit_pop_insn (rtx insn, stack_ptr regstack, rtx reg, enum emit_where where) rtx reg1 = FP_MODE_REG (REGNO (reg), DFmode); rtx reg2 = FP_MODE_REG (REGNO (reg) + 1, DFmode); - pop_insn = NULL_RTX; + pop_insn = NULL; if (get_hard_regnum (regstack, reg1) >= 0) pop_insn = emit_pop_insn (insn, regstack, reg1, where); if (get_hard_regnum (regstack, reg2) >= 0) @@ -791,12 +792,12 @@ emit_pop_insn (rtx insn, stack_ptr regstack, rtx reg, enum emit_where where) If REG is already at the top of the stack, no insn is emitted. */ static void -emit_swap_insn (rtx insn, stack_ptr regstack, rtx reg) +emit_swap_insn (rtx_insn *insn, stack_ptr regstack, rtx reg) { int hard_regno; rtx swap_rtx; int tmp, other_reg; /* swap regno temps */ - rtx i1; /* the stack-reg insn prior to INSN */ + rtx_insn *i1; /* the stack-reg insn prior to INSN */ rtx i1set = NULL_RTX; /* the SET rtx within I1 */ hard_regno = get_hard_regnum (regstack, reg); @@ -826,8 +827,8 @@ emit_swap_insn (rtx insn, stack_ptr regstack, rtx reg) i1 = NULL; if (current_block && insn != BB_HEAD (current_block)) { - rtx tmp = PREV_INSN (insn); - rtx limit = PREV_INSN (BB_HEAD (current_block)); + rtx_insn *tmp = PREV_INSN (insn); + rtx_insn *limit = PREV_INSN (BB_HEAD (current_block)); while (tmp != limit) { if (LABEL_P (tmp) @@ -898,7 +899,7 @@ emit_swap_insn (rtx insn, stack_ptr regstack, rtx reg) is emitted. */ static void -swap_to_top (rtx insn, stack_ptr regstack, rtx src1, rtx src2) +swap_to_top (rtx_insn *insn, stack_ptr regstack, rtx src1, rtx src2) { struct stack_def temp_stack; int regno, j, k, temp; @@ -939,7 +940,7 @@ swap_to_top (rtx insn, stack_ptr regstack, rtx src1, rtx src2) was deleted in the process. */ static bool -move_for_stack_reg (rtx insn, stack_ptr regstack, rtx pat) +move_for_stack_reg (rtx_insn *insn, stack_ptr regstack, rtx pat) { rtx *psrc = get_true_reg (&SET_SRC (pat)); rtx *pdest = get_true_reg (&SET_DEST (pat)); @@ -1090,7 +1091,7 @@ move_for_stack_reg (rtx insn, stack_ptr regstack, rtx pat) a NaN into DEST, then invokes move_for_stack_reg. */ static bool -move_nan_for_stack_reg (rtx insn, stack_ptr regstack, rtx dest) +move_nan_for_stack_reg (rtx_insn *insn, stack_ptr regstack, rtx dest) { rtx pat; @@ -1138,7 +1139,7 @@ swap_rtx_condition_1 (rtx pat) } static int -swap_rtx_condition (rtx insn) +swap_rtx_condition (rtx_insn *insn) { rtx pat = PATTERN (insn); @@ -1229,7 +1230,7 @@ swap_rtx_condition (rtx insn) set up. */ static void -compare_for_stack_reg (rtx insn, stack_ptr regstack, rtx pat_src) +compare_for_stack_reg (rtx_insn *insn, stack_ptr regstack, rtx pat_src) { rtx *src1, *src2; rtx src1_note, src2_note; @@ -1338,7 +1339,7 @@ subst_stack_regs_in_debug_insn (rtx *loc, void *data) the REGs in it, reset the debug insn. */ static void -subst_all_stack_regs_in_debug_insn (rtx insn, struct stack_def *regstack) +subst_all_stack_regs_in_debug_insn (rtx_insn *insn, struct stack_def *regstack) { int ret = for_each_rtx (&INSN_VAR_LOCATION_LOC (insn), subst_stack_regs_in_debug_insn, @@ -1355,7 +1356,7 @@ subst_all_stack_regs_in_debug_insn (rtx insn, struct stack_def *regstack) was deleted in the process. */ static bool -subst_stack_regs_pat (rtx insn, stack_ptr regstack, rtx pat) +subst_stack_regs_pat (rtx_insn *insn, stack_ptr regstack, rtx pat) { rtx *dest, *src; bool control_flow_insn_deleted = false; @@ -1432,7 +1433,7 @@ subst_stack_regs_pat (rtx insn, stack_ptr regstack, rtx pat) if (get_hard_regnum (regstack, u) == -1) { rtx pat2 = gen_rtx_CLOBBER (VOIDmode, u); - rtx insn2 = emit_insn_before (pat2, insn); + rtx_insn *insn2 = emit_insn_before (pat2, insn); control_flow_insn_deleted |= move_nan_for_stack_reg (insn2, regstack, u); } @@ -1568,14 +1569,14 @@ subst_stack_regs_pat (rtx insn, stack_ptr regstack, rtx pat) if (src1_hard_regnum == -1) { rtx pat2 = gen_rtx_CLOBBER (VOIDmode, *src1); - rtx insn2 = emit_insn_before (pat2, insn); + rtx_insn *insn2 = emit_insn_before (pat2, insn); control_flow_insn_deleted |= move_nan_for_stack_reg (insn2, regstack, *src1); } if (src2_hard_regnum == -1) { rtx pat2 = gen_rtx_CLOBBER (VOIDmode, *src2); - rtx insn2 = emit_insn_before (pat2, insn); + rtx_insn *insn2 = emit_insn_before (pat2, insn); control_flow_insn_deleted |= move_nan_for_stack_reg (insn2, regstack, *src2); } @@ -2003,7 +2004,7 @@ subst_stack_regs_pat (rtx insn, stack_ptr regstack, rtx pat) requirements, since record_asm_stack_regs removes any problem asm. */ static void -subst_asm_stack_regs (rtx insn, stack_ptr regstack) +subst_asm_stack_regs (rtx_insn *insn, stack_ptr regstack) { rtx body = PATTERN (insn); int alt; @@ -2288,7 +2289,7 @@ subst_asm_stack_regs (rtx insn, stack_ptr regstack) a control flow insn was deleted in the process. */ static bool -subst_stack_regs (rtx insn, stack_ptr regstack) +subst_stack_regs (rtx_insn *insn, stack_ptr regstack) { rtx *note_link, note; bool control_flow_insn_deleted = false; @@ -2400,7 +2401,8 @@ subst_stack_regs (rtx insn, stack_ptr regstack) is no longer needed once this has executed. */ static void -change_stack (rtx insn, stack_ptr old, stack_ptr new_stack, enum emit_where where) +change_stack (rtx_insn *insn, stack_ptr old, stack_ptr new_stack, + enum emit_where where) { int reg; int update_end = 0; @@ -2899,7 +2901,7 @@ convert_regs_1 (basic_block block) struct stack_def regstack; block_info bi = BLOCK_INFO (block); int reg; - rtx insn, next; + rtx_insn *insn, *next; bool control_flow_insn_deleted = false; bool cfg_altered = false; int debug_insns_with_starting_stack = 0; -- 1.8.5.3