1 // RUN: %clang_cc1 -verify -fopenmp -x c++ -emit-llvm %s -triple %itanium_abi_triple -fexceptions -fcxx-exceptions -o - -femit-all-decls -disable-llvm-passes | FileCheck %s
2 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple %itanium_abi_triple -fexceptions -fcxx-exceptions -emit-pch -o %t %s -femit-all-decls -disable-llvm-passes
3 // RUN: %clang_cc1 -fopenmp -x c++ -triple %itanium_abi_triple -fexceptions -fcxx-exceptions -std=c++11 -include-pch %t -verify %s -emit-llvm -o - -femit-all-decls -disable-llvm-passes | FileCheck --check-prefix=CHECK-LOAD %s
4 // expected-no-diagnostics
5 
6 #ifndef HEADER
7 #define HEADER
8 
9 // CHECK: [[SSS_INT:.+]] = type { i32 }
10 // CHECK-LOAD: [[SSS_INT:.+]] = type { i32 }
11 
12 #pragma omp declare reduction(+ : int, char : omp_out *= omp_in)
13 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
14 // CHECK: [[MUL:%.+]] = mul nsw i32
15 // CHECK-NEXT: store i32 [[MUL]], i32*
16 // CHECK-NEXT: ret void
17 // CHECK-NEXT: }
18 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
19 // CHECK-LOAD: [[MUL:%.+]] = mul nsw i32
20 // CHECK-LOAD-NEXT: store i32 [[MUL]], i32*
21 // CHECK-LOAD-NEXT: ret void
22 // CHECK-LOAD-NEXT: }
23 
24 // CHECK: define internal {{.*}}void @{{[^(]+}}(i8* noalias, i8* noalias)
25 // CHECK: sext i8
26 // CHECK: sext i8
27 // CHECK: [[MUL:%.+]] = mul nsw i32
28 // CHECK-NEXT: [[TRUNC:%.+]] = trunc i32 [[MUL]] to i8
29 // CHECK-NEXT: store i8 [[TRUNC]], i8*
30 // CHECK-NEXT: ret void
31 // CHECK-NEXT: }
32 
33 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i8* noalias, i8* noalias)
34 // CHECK-LOAD: sext i8
35 // CHECK-LOAD: sext i8
36 // CHECK-LOAD: [[MUL:%.+]] = mul nsw i32
37 // CHECK-LOAD-NEXT: [[TRUNC:%.+]] = trunc i32 [[MUL]] to i8
38 // CHECK-LOAD-NEXT: store i8 [[TRUNC]], i8*
39 // CHECK-LOAD-NEXT: ret void
40 // CHECK-LOAD-NEXT: }
41 
42 template <class T>
43 struct SSS {
44   T a;
45   SSS() : a() {}
46 #pragma omp declare reduction(fun : T : omp_out ^= omp_in) initializer(omp_priv = 24 + omp_orig)
47 };
48 
49 SSS<int> d;
50 
51 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
52 // CHECK: [[XOR:%.+]] = xor i32
53 // CHECK-NEXT: store i32 [[XOR]], i32*
54 // CHECK-NEXT: ret void
55 // CHECK-NEXT: }
56 
57 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
58 // CHECK: [[ADD:%.+]] = add nsw i32 24,
59 // CHECK-NEXT: store i32 [[ADD]], i32*
60 // CHECK-NEXT: ret void
61 // CHECK-NEXT: }
62 
63 // CHECK: define {{.*}}void [[INIT:@[^(]+]]([[SSS_INT]]*
64 // CHECK-LOAD: define {{.*}}void [[INIT:@[^(]+]]([[SSS_INT]]*
65 void init(SSS<int> &lhs, SSS<int> &rhs) {}
66 
67 #pragma omp declare reduction(fun : SSS < int > : omp_out = omp_in) initializer(init(omp_priv, omp_orig))
68 // CHECK: define internal {{.*}}void @{{[^(]+}}([[SSS_INT]]* noalias, [[SSS_INT]]* noalias)
69 // CHECK: call void @llvm.memcpy
70 // CHECK-NEXT: ret void
71 // CHECK-NEXT: }
72 // CHECK: define internal {{.*}}void @{{[^(]+}}([[SSS_INT]]* noalias, [[SSS_INT]]* noalias)
73 // CHECK: call {{.*}}void [[INIT]](
74 // CHECK-NEXT: ret void
75 // CHECK-NEXT: }
76 
77 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}([[SSS_INT]]* noalias, [[SSS_INT]]* noalias)
78 // CHECK-LOAD: call void @llvm.memcpy
79 // CHECK-LOAD-NEXT: ret void
80 // CHECK-LOAD-NEXT: }
81 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}([[SSS_INT]]* noalias, [[SSS_INT]]* noalias)
82 // CHECK-LOAD: call {{.*}}void [[INIT]](
83 // CHECK-LOAD-NEXT: ret void
84 // CHECK-LOAD-NEXT: }
85 
86 template <typename T>
87 T foo(T a) {
88 #pragma omp declare reduction(fun : T : omp_out += omp_in) initializer(omp_priv = 15 * omp_orig)
89   {
90 #pragma omp declare reduction(fun : T : omp_out /= omp_in) initializer(omp_priv = 11 - omp_orig)
91   }
92   return a;
93 }
94 
95 struct Summary {
96   void merge(const Summary& other) {}
97 };
98 
99 template <typename K>
100 void work() {
101   Summary global_summary;
102 #pragma omp declare reduction(+ : Summary : omp_out.merge(omp_in))
103 #pragma omp parallel for reduction(+ : global_summary)
104   for (int k = 1; k <= 100; ++k) {
105   }
106 }
107 
108 struct A {};
109 
110 
111 // CHECK-LABEL: @main
112 int main() {
113   int i = 0;
114   SSS<int> sss;
115 #pragma omp parallel reduction(SSS < int > ::fun : i)
116   {
117     i += 1;
118   }
119 #pragma omp parallel reduction(::fun : sss)
120   {
121   }
122 #pragma omp declare reduction(fun : SSS < int > : init(omp_out, omp_in))
123 #pragma omp parallel reduction(fun : sss)
124   {
125   }
126   // CHECK: call {{.*}}void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
127   // CHECK: call {{.*}}void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
128   // CHECK: call {{.*}}void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call({{[^@]*}} @{{[^@]*}}[[REGION:@[^ ]+]]
129   // CHECK-LABEL: work
130   work<A>();
131   // CHECK-LABEL: foo
132   return foo(15);
133 }
134 
135 // CHECK: define internal {{.*}}void [[REGION]](
136 // CHECK: [[SSS_PRIV:%.+]] = alloca %struct.SSS,
137 // CHECK: invoke {{.*}} @_ZN3SSSIiEC1Ev(%struct.SSS* [[SSS_PRIV]])
138 // CHECK-NOT: {{call |invoke }}
139 // CHECK: call {{.*}}i32 @__kmpc_reduce_nowait(
140 
141 // CHECK-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32
142 // CHECK-LOAD-LABEL: i32 @{{.+}}foo{{[^(].+}}(i32
143 
144 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
145 // CHECK-LOAD: [[XOR:%.+]] = xor i32
146 // CHECK-LOAD-NEXT: store i32 [[XOR]], i32*
147 // CHECK-LOAD-NEXT: ret void
148 // CHECK-LOAD-NEXT: }
149 
150 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
151 // CHECK-LOAD: [[ADD:%.+]] = add nsw i32 24,
152 // CHECK-LOAD-NEXT: store i32 [[ADD]], i32*
153 // CHECK-LOAD-NEXT: ret void
154 // CHECK-LOAD-NEXT: }
155 
156 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
157 // CHECK: [[ADD:%.+]] = add nsw i32
158 // CHECK-NEXT: store i32 [[ADD]], i32*
159 // CHECK-NEXT: ret void
160 // CHECK-NEXT: }
161 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
162 // CHECK-LOAD: [[ADD:%.+]] = add nsw i32
163 // CHECK-LOAD-NEXT: store i32 [[ADD]], i32*
164 // CHECK-LOAD-NEXT: ret void
165 // CHECK-LOAD-NEXT: }
166 
167 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
168 // CHECK: [[MUL:%.+]] = mul nsw i32 15,
169 // CHECK-NEXT: store i32 [[MUL]], i32*
170 // CHECK-NEXT: ret void
171 // CHECK-NEXT: }
172 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
173 // CHECK-LOAD: [[MUL:%.+]] = mul nsw i32 15,
174 // CHECK-LOAD-NEXT: store i32 [[MUL]], i32*
175 // CHECK-LOAD-NEXT: ret void
176 // CHECK-LOAD-NEXT: }
177 
178 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
179 // CHECK: [[DIV:%.+]] = sdiv i32
180 // CHECK-NEXT: store i32 [[DIV]], i32*
181 // CHECK-NEXT: ret void
182 // CHECK-NEXT: }
183 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
184 // CHECK-LOAD: [[DIV:%.+]] = sdiv i32
185 // CHECK-LOAD-NEXT: store i32 [[DIV]], i32*
186 // CHECK-LOAD-NEXT: ret void
187 // CHECK-LOAD-NEXT: }
188 
189 // CHECK: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
190 // CHECK: [[SUB:%.+]] = sub nsw i32 11,
191 // CHECK-NEXT: store i32 [[SUB]], i32*
192 // CHECK-NEXT: ret void
193 // CHECK-NEXT: }
194 // CHECK-LOAD: define internal {{.*}}void @{{[^(]+}}(i32* noalias, i32* noalias)
195 // CHECK-LOAD: [[SUB:%.+]] = sub nsw i32 11,
196 // CHECK-LOAD-NEXT: store i32 [[SUB]], i32*
197 // CHECK-LOAD-NEXT: ret void
198 // CHECK-LOAD-NEXT: }
199 
200 #endif
201