1 char z[10] = { 0 };
2
3 __attribute__((noinline, noclone)) void
foo(int (* & x)[3][2],int * y,long (& w)[1][2])4 foo (int (*&x)[3][2], int *y, long (&w)[1][2])
5 {
6 unsigned long long a[9] = {};
7 short b[5] = {};
8 #pragma omp parallel for reduction(+:x[0:2][:][0:2], z[:4]) \
9 reduction(*:y[:3]) reduction(|:a[:4]) \
10 reduction(&:w[0:][:2]) reduction(max:b)
11 for (int i = 0; i < 128; i++)
12 {
13 x[i / 64][i % 3][(i / 4) & 1] += i;
14 if ((i & 15) == 1)
15 y[0] *= 3;
16 if ((i & 31) == 2)
17 y[1] *= 7;
18 if ((i & 63) == 3)
19 y[2] *= 17;
20 z[i / 32] += (i & 3);
21 if (i < 4)
22 z[i] += i;
23 a[i / 32] |= 1ULL << (i & 30);
24 w[0][i & 1] &= ~(1L << (i / 17 * 3));
25 if ((i % 79) > b[0])
26 b[0] = i % 79;
27 if ((i % 13) > b[1])
28 b[1] = i % 13;
29 if ((i % 23) > b[2])
30 b[2] = i % 23;
31 if ((i % 85) > b[3])
32 b[3] = i % 85;
33 if ((i % 192) > b[4])
34 b[4] = i % 192;
35 }
36 for (int i = 0; i < 9; i++)
37 if (a[i] != (i < 4 ? 0x55555555ULL : 0))
38 __builtin_abort ();
39 if (b[0] != 78 || b[1] != 12 || b[2] != 22 || b[3] != 84 || b[4] != 127)
40 __builtin_abort ();
41 }
42
43 int a3[4][3][2];
44 int (*p3)[3][2] = &a3[1];
45 int y3[5] = { 0, 1, 1, 1, 0 };
46 long w3[1][2] = { ~0L, ~0L };
47 short bb[5];
48
49 struct S
50 {
51 int (*&x)[3][2];
52 int *y;
53 long (&w)[1][2];
54 char z[10];
55 short (&b)[5];
56 unsigned long long a[9];
SS57 S() : x(p3), y(y3+1), w(w3), z(), a(), b(bb) {}
58 __attribute__((noinline, noclone)) void foo ();
59 };
60
61 void
foo()62 S::foo ()
63 {
64 #pragma omp parallel for reduction(+:x[0:2][:][0:2], z[:4]) \
65 reduction(*:y[:3]) reduction(|:a[:4]) \
66 reduction(&:w[0:][:2]) reduction(max:b)
67 for (int i = 0; i < 128; i++)
68 {
69 x[i / 64][i % 3][(i / 4) & 1] += i;
70 if ((i & 15) == 1)
71 y[0] *= 3;
72 if ((i & 31) == 2)
73 y[1] *= 7;
74 if ((i & 63) == 3)
75 y[2] *= 17;
76 z[i / 32] += (i & 3);
77 if (i < 4)
78 z[i] += i;
79 a[i / 32] |= 1ULL << (i & 30);
80 w[0][i & 1] &= ~(1L << (i / 17 * 3));
81 if ((i % 79) > b[0])
82 b[0] = i % 79;
83 if ((i % 13) > b[1])
84 b[1] = i % 13;
85 if ((i % 23) > b[2])
86 b[2] = i % 23;
87 if ((i % 85) > b[3])
88 b[3] = i % 85;
89 if ((i % 192) > b[4])
90 b[4] = i % 192;
91 }
92 }
93
94 int
main()95 main ()
96 {
97 int a[4][3][2] = {};
98 static int a2[4][3][2] = {{{ 0, 0 }, { 0, 0 }, { 0, 0 }},
99 {{ 312, 381 }, { 295, 356 }, { 337, 335 }},
100 {{ 1041, 975 }, { 1016, 1085 }, { 935, 1060 }},
101 {{ 0, 0 }, { 0, 0 }, { 0, 0 }}};
102 int (*p)[3][2] = &a[1];
103 int y[5] = { 0, 1, 1, 1, 0 };
104 int y2[5] = { 0, 6561, 2401, 289, 0 };
105 char z2[10] = { 48, 49, 50, 51, 0, 0, 0, 0, 0, 0 };
106 long w[1][2] = { ~0L, ~0L };
107 foo (p, y + 1, w);
108 if (__builtin_memcmp (a, a2, sizeof (a))
109 || __builtin_memcmp (y, y2, sizeof (y))
110 || __builtin_memcmp (z, z2, sizeof (z))
111 || w[0][0] != ~0x249249L
112 || w[0][1] != ~0x249249L)
113 __builtin_abort ();
114 S s;
115 s.foo ();
116 for (int i = 0; i < 9; i++)
117 if (s.a[i] != (i < 4 ? 0x55555555ULL : 0))
118 __builtin_abort ();
119 if (__builtin_memcmp (a3, a2, sizeof (a3))
120 || __builtin_memcmp (y3, y2, sizeof (y3))
121 || __builtin_memcmp (s.z, z2, sizeof (s.z))
122 || w3[0][0] != ~0x249249L
123 || w3[0][1] != ~0x249249L)
124 __builtin_abort ();
125 if (bb[0] != 78 || bb[1] != 12 || bb[2] != 22 || bb[3] != 84 || bb[4] != 127)
126 __builtin_abort ();
127 }
128