]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/testsuite/gcc.dg/tree-ssa/predcom-dse-6.c
2 /* { dg-options "-O2 -fno-inline -fpredictive-commoning -fdump-tree-pcom-details-blocks" } */
4 int arr
[105] = {2, 3, 5, 7, 11, 13, 17, 19};
5 int result0
[10] = {2, 3, 5, 7, 11, 13, 17, 19};
6 int result1
[10] = {0, -1, -2, -3, -4, -5, 17, 19};
7 int result2
[10] = {0, 0, -1, -2, -3, -4, -5, 19};
8 int result3
[10] = {0, 0, 0, -1, -2, -3, -4, -5};
9 int result4
[10] = {0, 0, 0, 0, -1, -2, -3, -4, -5};
10 int result100
[105] = {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
11 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
12 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
13 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
14 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
15 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
16 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, -2, -3, -4, -5};
18 extern void abort (void);
20 void __attribute__((noinline
)) foo (int *a
, int len
)
23 for (i
= 0; i
< len
; i
++)
34 void check (int *a
, int *res
, int len
)
38 for (i
= 0; i
< len
; i
++)
46 check (arr
, result0
, 10);
49 check (arr
, result1
, 10);
52 check (arr
, result2
, 10);
55 check (arr
, result3
, 10);
58 check (arr
, result4
, 10);
61 check (arr
, result100
, 105);
65 /* { dg-final { scan-tree-dump "Store-stores chain" "pcom"} } */
66 /* { dg-final { scan-tree-dump-not "Invalid sum" "pcom" } } */