re PR tree-optimization/33291 (a+=2; a+=2 not simplified to a+=4; with -O3 ...
[gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / loop-19.c
1 /* This tests strength reduction and choice of induction variables. The targets
2 for this testcase are quite limited, as with different set of available
3 addressing modes, the results may be quite different.
4
5 The testcase comes from PR 29256 (and originally, the stream benchmark). */
6
7 /* { dg-do compile { target i?86-*-* x86_64-*-* powerpc*-*-*} } */
8 /* { dg-options "-O3 -fdump-tree-final_cleanup" } */
9
10 # define N 2000000
11 static double a[N],c[N];
12 void tuned_STREAM_Copy()
13 {
14 int j;
15 for (j=0; j<N; j++)
16 c[j] = a[j];
17 }
18
19 /* Check that the memory references are based on &a and &c, with appropriate
20 offsets. Ideally, we would want each of them to appear once in the output.
21 However, due to a bug in jump threading, we end up peeling one iteration from
22 the loop, which creates an additional occurence. */
23
24 /* { dg-final { scan-tree-dump-times "MEM.(base: &|symbol: )a," 2 "final_cleanup" } } */
25 /* { dg-final { scan-tree-dump-times "MEM.(base: &|symbol: )c," 2 "final_cleanup" } } */
26
27 /* { dg-final { cleanup-tree-dump "final_cleanup" } } */