diff options
| author | Andrew Pinski <andrew_pinski@playstation.sony.com> | 2008-11-03 20:01:11 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2008-11-03 12:01:11 -0800 |
| commit | 5b31bbabe9a1bf22ae4d6c3cd26fd876004f7ea8 (patch) | |
| tree | c8ab09c6904c340aa47a4de712cf27d753b2ada0 /gcc | |
| parent | 2d8d91a8404e26f124d16cc91ff08291bd700c1b (diff) | |
| download | gcc-5b31bbabe9a1bf22ae4d6c3cd26fd876004f7ea8.zip gcc-5b31bbabe9a1bf22ae4d6c3cd26fd876004f7ea8.tar.gz gcc-5b31bbabe9a1bf22ae4d6c3cd26fd876004f7ea8.tar.bz2 | |
re PR rtl-optimization/37782 (Stage2 ada compiler miscompiled)
2008-11-03 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR rtl-opt/37782
* loop-doloop.c (doloop_modify): Add from_mode argument that says what
mode count is in.
(doloop_optimize): Update call to doloop_modify.
From-SVN: r141558
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/loop-doloop.c | 12 |
2 files changed, 14 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2101355..caf616a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2008-11-03 Andrew Pinski <andrew_pinski@playstation.sony.com> + + PR rtl-opt/37782 + * loop-doloop.c (doloop_modify): Add from_mode argument that says what + mode count is in. + (doloop_optimize): Update call to doloop_modify. + 2008-11-03 Eric Botcazou <ebotcazou@adacore.com> * tree-sra.c (bitfield_overlaps_p): Fix oversight. diff --git a/gcc/loop-doloop.c b/gcc/loop-doloop.c index 25369dd..1f5856f 100644 --- a/gcc/loop-doloop.c +++ b/gcc/loop-doloop.c @@ -335,11 +335,12 @@ add_test (rtx cond, edge *e, basic_block dest) end of the loop. CONDITION is the condition separated from the DOLOOP_SEQ. COUNT is the number of iterations of the LOOP. ZERO_EXTEND_P says to zero extend COUNT after the increment of it to - word_mode. */ + word_mode from FROM_MODE. */ static void doloop_modify (struct loop *loop, struct niter_desc *desc, - rtx doloop_seq, rtx condition, rtx count, bool zero_extend_p) + rtx doloop_seq, rtx condition, rtx count, + bool zero_extend_p, enum machine_mode from_mode) { rtx counter_reg; rtx tmp, noloop = NULL_RTX; @@ -413,11 +414,11 @@ doloop_modify (struct loop *loop, struct niter_desc *desc, } if (increment_count) - count = simplify_gen_binary (PLUS, mode, count, const1_rtx); + count = simplify_gen_binary (PLUS, from_mode, count, const1_rtx); if (zero_extend_p) count = simplify_gen_unary (ZERO_EXTEND, word_mode, - count, mode); + count, from_mode); /* Insert initialization of the count register into the loop header. */ start_sequence (); @@ -672,7 +673,8 @@ doloop_optimize (struct loop *loop) return false; } - doloop_modify (loop, desc, doloop_seq, condition, count, zero_extend_p); + doloop_modify (loop, desc, doloop_seq, condition, count, + zero_extend_p, mode); return true; } |