blob: 5408be146bdc13a8ab5f707e1e85202dd0f23c7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
// { dg-do run }
extern "C" void abort ();
namespace NS
{
struct U
{
void foo (U &, bool);
U ();
};
struct S
{
int s;
#pragma omp declare reduction (foo : U, S : omp_out.foo (omp_in, false))
#pragma omp declare reduction (foo : int : omp_out += omp_in) \
initializer (omp_priv = int ())
void baz (int v)
{
S s;
int q = 0;
if (s.s != 6 || v != 0) abort ();
s.s = 20;
#pragma omp parallel num_threads (4) reduction (foo : s, v) \
reduction (::NS::U::operator + : q)
{
if (s.s != 6 || q != 0 || v != 0) abort ();
asm volatile ("" : "+m" (s.s), "+r" (q), "+r" (v));
s.s++; q++; v++;
}
if (s.s != 20 + q * 7 || q != v) abort ();
}
void foo (S &x) { s += x.s; }
void foo (S &x, bool y) { s += x.s; if (y) abort (); }
S (const S &x) { s = x.s + 1; }
S (const S &x, bool y) { s = x.s + 2; if (y) abort (); }
S () { s = 6; }
S (int x) { s = x; }
~S ();
};
#pragma omp declare reduction (bar : S : omp_out.foo (omp_in)) \
initializer (omp_priv (8))
}
NS::S::~S ()
{
if (s < 6) abort ();
s = -1;
/* Ensure the above store is not DSEd. */
asm volatile ("" : : "r" (&s) : "memory");
}
struct T : public NS::S
{
void baz ()
{
S s;
int q = 0;
if (s.s != 6) abort ();
#pragma omp parallel num_threads (4) reduction (foo:s) \
reduction (+: q)
{
if (s.s != 6 || q != 0) abort ();
asm volatile ("" : "+m" (s.s), "+r" (q));
s.s += 2; q++;
}
if (s.s != 6 + q * 8) abort ();
}
};
int
main ()
{
NS::S s;
s.baz (0);
T t;
t.baz ();
int q = 0;
if (s.s != 6) abort ();
// Test ADL
#pragma omp parallel num_threads (4) reduction (bar:s) reduction (+:q)
{
if (s.s != 8 || q != 0) abort ();
asm volatile ("" : "+m" (s.s), "+r" (q));
s.s += 4; q++;
}
if (s.s != 6 + q * 12) abort ();
}
|
