annotate libgomp/testsuite/libgomp.c-c++-common/task-reduction-8.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 #include <omp.h>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 #include <stdlib.h>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 struct S { unsigned long long int s, t; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 rbar (struct S *p, struct S *o)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 p->s = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 if (o->t != 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 p->t = 9;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 static inline void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 rbaz (struct S *o, struct S *i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 if (o->t != 5 || i->t != 9)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 o->s *= i->s;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 #pragma omp declare reduction (+: struct S : omp_out.s += omp_in.s) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 initializer (omp_priv = { 0, 3 })
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 #pragma omp declare reduction (*: struct S : rbaz (&omp_out, &omp_in)) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 initializer (rbar (&omp_priv, &omp_orig))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 struct S g = { 0, 7 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 struct S h = { 1, 5 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 foo (int z, int *a, int *b)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 int x = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 #pragma omp taskloop reduction (+:x) in_reduction (+:b[0])
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 for (int i = z; i < z + 8; i++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 x += a[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 *b += a[i] * 2;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 return x;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 unsigned long long int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 bar (int z, int *a, unsigned long long int *b, int *s)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 unsigned long long int x = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 #pragma omp taskloop reduction (*:x) in_reduction (*:b[0]) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 in_reduction (+:s[0])
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 for (int i = z; i < z + 8; i++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 #pragma omp task in_reduction (*:x)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 x *= a[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 #pragma omp task in_reduction (*:b[0])
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 *b *= (3 - a[i]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 s[0]++;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 return x;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 baz (int i, int *a, int *c)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 #pragma omp task in_reduction (*:h) in_reduction (+:g)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 g.s += 7 * a[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 h.s *= (3 - c[i]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 if ((g.t != 7 && g.t != 3) || (h.t != 5 && h.t != 9))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 main ()
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 int i, j = 0, a[64], b = 0, c[64], f = 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 unsigned long long int d = 1, e = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 volatile int one = 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 int r = 0, s = 0, t;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 struct S m = { 0, 7 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 struct S n = { 1, 5 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 for (i = 0; i < 64; i++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 a[i] = 2 * i;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 c[i] = 1 + ((i % 3) != 1);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 #pragma omp parallel reduction (task, +:b) shared(t) reduction(+:r, s)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 int z, q1, q2, q3;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 #pragma omp master
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 t = omp_get_num_threads ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 #pragma omp for schedule(static) reduction (task, +: f) reduction (+: j)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 for (z = 0; z < 64; z += 8)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 f++;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 j += foo (z, a, &b);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 j += foo (z, a, &f);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 if (j != 63 * 64 * 2 || f != 63 * 64 * 2 + 8)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 r++;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 #pragma omp taskgroup task_reduction (+: s)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 #pragma omp for schedule(static, 1) reduction(task, *: d) reduction (*: e)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 for (z = 0; z < 64; z += 8)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 e *= bar (z, c, &d, &s);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 if (e != (1ULL << 43) || d != (1ULL << 21))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 #pragma omp for schedule(monotonic: dynamic, 1) reduction (task, +: g, m) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 reduction (task, *: h, n) collapse(3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 for (q1 = 0; q1 < one; q1++)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 for (q2 = 0; q2 < 64; q2 += 8)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 for (q3 = 0; q3 < one; ++q3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 #pragma omp taskloop in_reduction (+: g, m) in_reduction (*: h, n) \
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 nogroup
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117 for (i = q2; i < q2 + 8; ++i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 g.s += 3 * a[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 h.s *= (3 - c[i]);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 m.s += 4 * a[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 n.s *= c[i];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123 if ((g.t != 7 && g.t != 3) || (h.t != 5 && h.t != 9)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 || (m.t != 7 && m.t != 3) || (n.t != 5 && n.t != 9))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 baz (i, a, c);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 if (n.s != (1ULL << 43) || n.t != 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 if (g.s != 63 * 64 * 10 || g.t != 7)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 if (h.s != (1ULL << 42) || h.t != 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 if (m.s != 63 * 64 * 4 || m.t != 7)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 if (b != 63 * 64 * 2)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139 if (r != t || s != 64)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 abort ();
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 return 0;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142 }