diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-08-04 18:29:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-08-04 18:29:08 +0000 |
| commit | 8f45dcf8be0e2bc9c91674d89636a1abe3f6bc92 (patch) | |
| tree | 2841ad7e8a81f46f25e504c978974cc370a0a2ec /gcc | |
| parent | 25385c279deed040fe5ed545bcf2f453fb3efc97 (diff) | |
| download | gcc-8f45dcf8be0e2bc9c91674d89636a1abe3f6bc92.zip gcc-8f45dcf8be0e2bc9c91674d89636a1abe3f6bc92.tar.gz gcc-8f45dcf8be0e2bc9c91674d89636a1abe3f6bc92.tar.bz2 | |
re PR middle-end/36691 (wrong value left in induction variable)
2008-08-04 Richard Guenther <rguenther@suse.de>
PR middle-end/36691
* tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly
check for no_overflow.
* gcc.c-torture/execute/pr36691.c: New testcase.
From-SVN: r138645
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr36691.c | 17 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 4 |
4 files changed, 30 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80b26c5..224764e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2008-08-04 Richard Guenther <rguenther@suse.de> + PR middle-end/36691 + * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly + check for no_overflow. + +2008-08-04 Richard Guenther <rguenther@suse.de> + * tree-vect-transform.c (vectorizable_call): Fix tuplification. 2008-08-04 Paul Brook <paul@codesourcery.com> diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2dafc22..0041134 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-08-04 Richard Guenther <rguenther@suse.de> + + PR middle-end/36691 + * gcc.c-torture/execute/pr36691.c: New testcase. + 2008-08-04 Victor Kaplansky <victork@il.ibm.com> * gcc.dg/vect/vect-complex-5.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr36691.c b/gcc/testsuite/gcc.c-torture/execute/pr36691.c new file mode 100644 index 0000000..81fe6fd --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr36691.c @@ -0,0 +1,17 @@ +unsigned char g_5; + +void func_1 (void) +{ + for (g_5 = 9; g_5 >= 4; g_5 -= 5) + ; +} + +extern void abort (void); +int main (void) +{ + func_1 (); + if (g_5 != 0) + abort (); + return 0; +} + diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 83baae7..1d0605e 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -697,7 +697,7 @@ number_of_iterations_lt_to_ne (tree type, affine_iv *iv0, affine_iv *iv1, /* The final value of the iv is iv1->base + MOD, assuming that this computation does not overflow, and that iv0->base <= iv1->base + MOD. */ - if (!iv1->no_overflow && !integer_zerop (mod)) + if (!iv0->no_overflow && !integer_zerop (mod)) { bound = fold_build2 (MINUS_EXPR, type, TYPE_MAX_VALUE (type1), tmod); @@ -719,7 +719,7 @@ number_of_iterations_lt_to_ne (tree type, affine_iv *iv0, affine_iv *iv1, /* The final value of the iv is iv0->base - MOD, assuming that this computation does not overflow, and that iv0->base - MOD <= iv1->base. */ - if (!iv0->no_overflow && !integer_zerop (mod)) + if (!iv1->no_overflow && !integer_zerop (mod)) { bound = fold_build2 (PLUS_EXPR, type1, TYPE_MIN_VALUE (type1), tmod); |