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