Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/vect/vect-alias-check-12.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
1 #define N 87
2 #define M 7
3
4 typedef signed char sc;
5 typedef unsigned char uc;
6 typedef signed short ss;
7 typedef unsigned short us;
8 typedef int si;
9 typedef unsigned int ui;
10 typedef signed long long sll;
11 typedef unsigned long long ull;
12
13 #define FOR_EACH_TYPE(M) \
14 M (sc) M (uc) \
15 M (ss) M (us) \
16 M (si) M (ui) \
17 M (sll) M (ull) \
18 M (float) M (double)
19
20 #define TEST_VALUE1(I) ((I) * 5 / 2)
21 #define TEST_VALUE2(I) ((I) * 11 / 5)
22
23 #define ADD_TEST(TYPE) \
24 void __attribute__((noinline, noclone)) \
25 test_##TYPE (TYPE *restrict a, TYPE *restrict b, \
26 int step) \
27 { \
28 step = step & M; \
29 for (int i = 0; i < N; ++i) \
30 { \
31 TYPE r1 = a[i * step + 0] += 1; \
32 a[i * step + 1] += 2; \
33 a[i * step + 2] += 4; \
34 a[i * step + 3] += 8; \
35 b[i] += r1; \
36 } \
37 } \
38 \
39 void __attribute__((noinline, noclone)) \
40 ref_##TYPE (TYPE *restrict a, TYPE *restrict b, \
41 int step) \
42 { \
43 for (unsigned short i = 0; i < N; ++i) \
44 { \
45 TYPE r1 = a[i * step + 0] += 1; \
46 a[i * step + 1] += 2; \
47 a[i * step + 2] += 4; \
48 a[i * step + 3] += 8; \
49 b[i] += r1; \
50 asm volatile (""); \
51 } \
52 }
53
54 #define DO_TEST(TYPE) \
55 for (int j = 0; j <= M; ++j) \
56 { \
57 TYPE a1[N * M], a2[N * M], b1[N], b2[N]; \
58 for (int i = 0; i < N * M; ++i) \
59 a1[i] = a2[i] = TEST_VALUE1 (i); \
60 for (int i = 0; i < N; ++i) \
61 b1[i] = b2[i] = TEST_VALUE2 (i); \
62 test_##TYPE (a1, b1, j); \
63 ref_##TYPE (a2, b2, j); \
64 if (__builtin_memcmp (a1, a2, sizeof (a1)) != 0) \
65 __builtin_abort (); \
66 if (__builtin_memcmp (b1, b2, sizeof (b1)) != 0) \
67 __builtin_abort (); \
68 }
69
70 FOR_EACH_TYPE (ADD_TEST)
71
72 int
73 main (void)
74 {
75 FOR_EACH_TYPE (DO_TEST)
76 return 0;
77 }
78
79 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 2\)} "vect" { target vect_int } } } */
80 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 3\)} "vect" { target vect_int } } } */
81 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 4\)} "vect" { target vect_int } } } */
82 /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]*\) >= 4} "vect" { target vect_int } } } */
83
84 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 4\)} "vect" { target vect_int } } } */
85 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 6\)} "vect" { target vect_int } } } */
86 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 8\)} "vect" { target vect_int } } } */
87 /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 2[)]* >= 8} "vect" { target vect_int } } } */
88
89 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 8\)} "vect" { target { vect_int || vect_float } }} } */
90 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 12\)} "vect" { target { vect_int || vect_float } }} } */
91 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 16\)} "vect" { target { vect_int || vect_float } }} } */
92 /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 4[)]* >= 16} "vect" { target { vect_int || vect_float } }} } */
93
94 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 16\)} "vect" { target vect_double } } } */
95 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 24\)} "vect" { target vect_double } } } */
96 /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 32\)} "vect" { target vect_double } } } */
97 /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 8[)]* >= 32} "vect" { target vect_double } } } */