diff options
| author | Zdenek Dvorak <ook@ucw.cz> | 2009-05-20 02:33:54 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2009-05-20 00:33:54 +0000 |
| commit | e36dc33956a6d09220a9aaaf6a0046b658769bfd (patch) | |
| tree | 5414a0754638d6785e86a48ddc4976bc02d58a20 /gcc/testsuite/gcc.dg/tree-ssa | |
| parent | 03d33c2a449faa40b0a3cc55c6def7f5f17bd3f1 (diff) | |
| download | gcc-e36dc33956a6d09220a9aaaf6a0046b658769bfd.zip gcc-e36dc33956a6d09220a9aaaf6a0046b658769bfd.tar.gz gcc-e36dc33956a6d09220a9aaaf6a0046b658769bfd.tar.bz2 | |
re PR tree-optimization/40087 (Number of iterations analysis wrong)
PR tree-optimization/40087
* tree-ssa-loop-niter.c (number_of_iterations_ne_max,
number_of_iterations_ne): Rename never_infinite argument.
(number_of_iterations_lt_to_ne, number_of_iterations_lt,
number_of_iterations_le): Handle pointer-type ivs when
exit_must_be_taken is false.
(number_of_iterations_cond): Do not always assume that
exit_must_be_taken if the control variable is a pointer.
* gcc.dg/tree-ssa/pr40087.c: New test.
From-SVN: r147727
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr40087.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr40087.c b/gcc/testsuite/gcc.dg/tree-ssa/pr40087.c new file mode 100644 index 0000000..22e2b62 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr40087.c @@ -0,0 +1,30 @@ +/* { dg-do run } */ +/* { dg-options "-O1 " } */ + +extern void abort (void); + +static void __attribute__((always_inline)) +reverse(int *first, int *last) +{ + if (first == last--) + return; + while (first != last) + { + int t = *first; + *first = *last; + *last = t; + if (++first == last--) + break; + } +} + +int main() +{ + int seq[] = { 1, 2, 3, 4, 5, 6, 7, 8 }; + + reverse(seq, seq + 8); + if (seq[3] != 5 || seq[4] != 4) + abort (); + + return 0; +} |