re PR tree-optimization/33291 (a+=2; a+=2 not simplified to a+=4; with -O3 ...
[gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / prefetch-7.c
1 /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
2 /* { dg-require-effective-target ilp32 } */
3 /* { dg-options "-O2 -fprefetch-loop-arrays -march=athlon -msse2 -mfpmath=sse --param simultaneous-prefetches=100 --param max-unrolled-insns=1 -fdump-tree-aprefetch-details -fdump-tree-final_cleanup" } */
4
5 #define K 1000000
6 int a[K], b[K];
7
8 void test(int *p)
9 {
10 unsigned i;
11
12 /* Nontemporal store should be used for a. */
13 for (i = 0; i < K; i++)
14 a[i] = 0;
15
16 /* Nontemporal store should be used for a, nontemporal prefetch for b. */
17 for (i = 0; i < K; i++)
18 a[i] = b[i];
19
20 /* Nontemporal store should not be used here (only write and read temporal
21 prefetches). */
22 for (i = 0; i < K - 10000; i++)
23 a[i + 10000] = a[i];
24
25 /* Nontemporal store should not be used here (only write and read nontemporal
26 prefetches). */
27 for (i = 0; i < K - 100000; i++)
28 a[i + 100000] = a[i];
29
30 /* Nontemporal store should be used neither for a nor for p, as we do not know
31 whether they alias or not. */
32 for (i = 0; i < K; i++)
33 {
34 a[i] = 0;
35 *p++ = 1;
36 }
37
38 /* Nontemporal store should not be used for a, as we do not know whether its
39 value will be reused or not. */
40 for (i = 0; i < 1000; i++)
41 a[i] = 0;
42 }
43
44 /* { dg-final { scan-tree-dump-times "Issued prefetch" 5 "aprefetch" } } */
45 /* { dg-final { scan-tree-dump-times "Issued nontemporal prefetch" 3 "aprefetch" } } */
46 /* { dg-final { scan-tree-dump-times "nontemporal store" 2 "aprefetch" } } */
47
48 /* { dg-final { scan-tree-dump-times "builtin_prefetch" 8 "final_cleanup" } } */
49 /* { dg-final { scan-tree-dump-times "=\\{nt\\}" 2 "final_cleanup" } } */
50 /* { dg-final { scan-tree-dump-times "__builtin_ia32_mfence" 2 "final_cleanup" } } */
51
52 /* { dg-final { scan-assembler-times "prefetchw" 5 } } */
53 /* { dg-final { scan-assembler-times "prefetcht" 1 } } */
54 /* { dg-final { scan-assembler-times "prefetchnta" 2 } } */
55 /* { dg-final { scan-assembler-times "movnti" 2 } } */
56 /* { dg-final { scan-assembler-times "mfence" 2 } } */
57
58 /* { dg-final { cleanup-tree-dump "aprefetch" } } */
59 /* { dg-final { cleanup-tree-dump "final_cleanup" } } */