diff options
Diffstat (limited to 'gcc/loop.c')
-rw-r--r-- | gcc/loop.c | 101 |
1 files changed, 54 insertions, 47 deletions
@@ -1949,11 +1949,10 @@ move_movables (loop, movables, threshold, insn_count) start_sequence (); emit_move_insn (m->set_dest, m->set_src); - temp = get_insns (); - seq = gen_sequence (); + seq = get_insns (); end_sequence (); - add_label_notes (m->set_src, temp); + add_label_notes (m->set_src, seq); i1 = loop_insn_hoist (loop, seq); if (! find_reg_note (i1, REG_EQUAL, NULL_RTX)) @@ -2088,7 +2087,7 @@ move_movables (loop, movables, threshold, insn_count) abort (); if (tem != reg) emit_move_insn (reg, tem); - sequence = gen_sequence (); + sequence = get_insns (); end_sequence (); i1 = loop_insn_hoist (loop, sequence); } @@ -2109,11 +2108,10 @@ move_movables (loop, movables, threshold, insn_count) use the REG_EQUAL note. */ start_sequence (); emit_move_insn (m->set_dest, m->set_src); - temp = get_insns (); - seq = gen_sequence (); + seq = get_insns (); end_sequence (); - add_label_notes (m->set_src, temp); + add_label_notes (m->set_src, seq); i1 = loop_insn_hoist (loop, seq); if (! find_reg_note (i1, REG_EQUAL, NULL_RTX)) @@ -4154,7 +4152,7 @@ emit_prefetch_instructions (loop) loc = force_reg (Pmode, loc); emit_insn (gen_prefetch (loc, GEN_INT (info[i].write), GEN_INT (3))); - seq = gen_sequence (); + seq = get_insns (); end_sequence (); emit_insn_before (seq, before_insn); @@ -7735,7 +7733,7 @@ gen_add_mult (b, m, a, reg) result = expand_mult_add (b, reg, m, a, GET_MODE (reg), 1); if (reg != result) emit_move_insn (reg, result); - seq = gen_sequence (); + seq = get_insns (); end_sequence (); return seq; @@ -7749,24 +7747,29 @@ loop_regs_update (loop, seq) const struct loop *loop ATTRIBUTE_UNUSED; rtx seq; { + rtx insn; + /* Update register info for alias analysis. */ - if (GET_CODE (seq) == SEQUENCE) + if (seq == NULL_RTX) + return; + + if (INSN_P (seq)) { - int i; - for (i = 0; i < XVECLEN (seq, 0); ++i) + insn = seq; + while (insn != NULL_RTX) { - rtx set = single_set (XVECEXP (seq, 0, i)); + rtx set = single_set (insn); + if (set && GET_CODE (SET_DEST (set)) == REG) record_base_value (REGNO (SET_DEST (set)), SET_SRC (set), 0); + + insn = NEXT_INSN (insn); } } - else - { - if (GET_CODE (seq) == SET - && GET_CODE (SET_DEST (seq)) == REG) - record_base_value (REGNO (SET_DEST (seq)), SET_SRC (seq), 0); - } + else if (GET_CODE (seq) == SET + && GET_CODE (SET_DEST (seq)) == REG) + record_base_value (REGNO (SET_DEST (seq)), SET_SRC (seq), 0); } @@ -7889,16 +7892,20 @@ iv_add_mult_cost (b, m, a, reg) } /* Test whether A * B can be computed without - an actual multiply insn. Value is 1 if so. */ + an actual multiply insn. Value is 1 if so. + + ??? This function stinks because it generates a ton of wasted RTL + ??? and as a result fragments GC memory to no end. There are other + ??? places in the compiler which are invoked a lot and do the same + ??? thing, generate wasted RTL just to see if something is possible. */ static int product_cheap_p (a, b) rtx a; rtx b; { - int i; rtx tmp; - int win = 1; + int win, n_insns; /* If only one is constant, make it B. */ if (GET_CODE (a) == CONST_INT) @@ -7918,31 +7925,31 @@ product_cheap_p (a, b) start_sequence (); expand_mult (GET_MODE (a), a, b, NULL_RTX, 1); - tmp = gen_sequence (); + tmp = get_insns (); end_sequence (); - if (GET_CODE (tmp) == SEQUENCE) + win = 1; + if (INSN_P (tmp)) { - if (XVEC (tmp, 0) == 0) - win = 1; - else if (XVECLEN (tmp, 0) > 3) - win = 0; - else - for (i = 0; i < XVECLEN (tmp, 0); i++) - { - rtx insn = XVECEXP (tmp, 0, i); - - if (GET_CODE (insn) != INSN - || (GET_CODE (PATTERN (insn)) == SET - && GET_CODE (SET_SRC (PATTERN (insn))) == MULT) - || (GET_CODE (PATTERN (insn)) == PARALLEL - && GET_CODE (XVECEXP (PATTERN (insn), 0, 0)) == SET - && GET_CODE (SET_SRC (XVECEXP (PATTERN (insn), 0, 0))) == MULT)) - { - win = 0; - break; - } - } + n_insns = 0; + while (tmp != NULL_RTX) + { + rtx next = NEXT_INSN (tmp); + + if (++n_insns > 3 + || GET_CODE (tmp) != INSN + || (GET_CODE (PATTERN (tmp)) == SET + && GET_CODE (SET_SRC (PATTERN (tmp))) == MULT) + || (GET_CODE (PATTERN (tmp)) == PARALLEL + && GET_CODE (XVECEXP (PATTERN (tmp), 0, 0)) == SET + && GET_CODE (SET_SRC (XVECEXP (PATTERN (tmp), 0, 0))) == MULT)) + { + win = 0; + break; + } + + tmp = next; + } } else if (GET_CODE (tmp) == SET && GET_CODE (SET_SRC (tmp)) == MULT) @@ -8433,7 +8440,7 @@ check_dbra_loop (loop, insn_count) create a sequence to hold all the insns from expand_inc. */ start_sequence (); expand_inc (reg, new_add_val); - tem = gen_sequence (); + tem = get_insns (); end_sequence (); p = loop_insn_emit_before (loop, 0, bl->biv->insn, tem); @@ -8474,7 +8481,7 @@ check_dbra_loop (loop, insn_count) emit_cmp_and_jump_insns (reg, const0_rtx, cmp_code, NULL_RTX, GET_MODE (reg), 0, XEXP (jump_label, 0)); - tem = gen_sequence (); + tem = get_insns (); end_sequence (); emit_jump_insn_before (tem, loop_end); @@ -10492,7 +10499,7 @@ gen_load_of_final_value (reg, final_value) final_value = force_operand (final_value, reg); if (final_value != reg) emit_move_insn (reg, final_value); - seq = gen_sequence (); + seq = get_insns (); end_sequence (); return seq; } |