diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c b/gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c new file mode 100644 index 0000000..6e4417a --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/cunroll-13.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -fdisable-tree-cunrolli -fdisable-tree-vrp1 -fdump-tree-cunroll-blocks-details" } */ +struct a {int a[8];int b;}; +void +t(struct a *a) +{ + for (int i=0;i<123456 && a->a[i];i++) + a->a[i]++; +} +/* This pass relies on the fact that we do not eliminate the redundant test for i early. + It is necessary to disable all passes that do so. At the moment it is vrp1 and cunrolli. */ +/* { dg-final { scan-tree-dump-times "Loop 1 iterates 123454 times" 1 "cunroll" } } */ +/* { dg-final { scan-tree-dump-times "Last iteration exit edge was proved true" 1 "cunroll" } } */ +/* { dg-final { scan-tree-dump-times "Exit condition of peeled iterations was eliminated" 1 "cunroll" } } */ +/* { dg-final { scan-tree-dump-times "loop with 7 iterations completely unrolled" 1 "cunroll" } } */ +/* { dg-final { scan-tree-dump-not "Invalid sum" "cunroll" } } */ |