diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-7.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-7.c | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-7.c b/gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-7.c new file mode 100644 index 00000000000..0bde6e6dced --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-7.c @@ -0,0 +1,63 @@ +/* { dg-do run } */ +/* { dg-options "-O2 -fno-inline -fpredictive-commoning -fdump-tree-pcom-details" } */ + +int arr[105] = {2, 3, 5, 7, 11, 13, 17, 19}; +int result0[10] = {2, 3, 5, 7, 11, 13, 17, 19}; +int result1[10] = {0, -1, 5, -3, 11, -5, 17, 19}; +int result2[10] = {0, 0, -1, -3, -3, -5, -5, 19}; +int result3[10] = {0, 0, 0, -1, -3, -3, -5, -5}; +int result4[10] = {0, 0, 0, 0, -1, -3, -3, -5, -5}; +int result100[105] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -3, -3, -5, -5}; + +extern void abort (void); + +void __attribute__((noinline)) foo (int *a, int len) +{ + int i; + for (i = 0; i < len; i++) + { + a[i] = 0; + a[i + 1] = -1; + a[i + 3] = -3; + a[i + 5] = -5; + } +} + +void check (int *a, int *res, int len) +{ + int i; + + for (i = 0; i < len; i++) + if (a[i] != res[i]) + abort (); +} + +int main (void) +{ + foo (arr, 0); + check (arr, result0, 10); + + foo (arr, 1); + check (arr, result1, 10); + + foo (arr, 2); + check (arr, result2, 10); + + foo (arr, 3); + check (arr, result3, 10); + + foo (arr, 4); + check (arr, result4, 10); + + foo (arr, 100); + check (arr, result100, 105); + + return 0; +} +/* { dg-final { scan-tree-dump "Store-stores chain" "pcom"} } */ |