1 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64
2 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
3 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64
4 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32
5 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
6 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32
7 
8 // RUN: %clang_cc1 -DLAMBDA -verify -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64
9 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
10 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++  -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64
11 
12 // expected-no-diagnostics
13 #ifndef HEADER
14 #define HEADER
15 
16 template <typename T>
17 T tmain() {
18   T t_var = T();
19   T vec[] = {1, 2};
20 #pragma omp target teams distribute simd reduction(+: t_var)
21   for (int i = 0; i < 2; ++i) {
22     t_var += (T) i;
23   }
24   return T();
25 }
26 
27 int main() {
28   static int sivar;
29 #ifdef LAMBDA
30   // LAMBDA: [[RED_VAR:@.+]] = common global [8 x {{.+}}] zeroinitializer
31 
32   // LAMBDA-LABEL: @main
33   // LAMBDA: call void [[OUTER_LAMBDA:@.+]](
34   [&]() {
35     // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
36     // LAMBDA: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1, i8** %{{[^,]+}}, i8** %{{[^,]+}}, i{{64|32}}* {{.+}}@{{[^,]+}}, i32 0, i32 0), i64* {{.+}}@{{[^,]+}}, i32 0, i32 0), i32 0, i32 0)
37     // LAMBDA: call void @[[LOFFL1:.+]](
38     // LAMBDA:  ret
39 #pragma omp target teams distribute simd reduction(+: sivar)
40   for (int i = 0; i < 2; ++i) {
41     // LAMBDA: define{{.*}} internal{{.*}} void @[[LOFFL1]](i32*{{.+}} [[SIVAR_ARG:%.+]])
42     // LAMBDA: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
43     // LAMBDA: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
44     // LAMBDA: [[SIVAR:%.+]] = load i32*, i32** [[SIVAR_ADDR]],
45     // LAMBDA: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[LOUTL1:.+]] to {{.+}}, {{.+}} [[SIVAR]])
46     // LAMBDA: ret void
47 
48     // LAMBDA: define internal void @[[LOUTL1]]({{.+}}, {{.+}}, {{.+}}*{{.+}} [[SIVAR_ARG:%.+]])
49     // Skip global and bound tid vars
50     // LAMBDA: {{.+}} = alloca i32*,
51     // LAMBDA: {{.+}} = alloca i32*,
52     // LAMBDA: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
53     // LAMBDA: [[SIVAR_PRIV:%.+]] = alloca i{{.+}},
54     // LAMBDA: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
55     // LAMBDA: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
56     // LAMBDA: [[SIVAR_REF:%.+]] = load {{.+}}, {{.+}} [[SIVAR_ADDR]],
57     // LAMBDA: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
58 
59     // LAMBDA: call void @__kmpc_for_static_init_4(
60     // LAMBDA: store{{.+}}, {{.+}} [[SIVAR_PRIV]],
61     // LAMBDA: call void [[INNER_LAMBDA:@.+]](
62     // LAMBDA: call void @__kmpc_for_static_fini(
63     // LAMBDA: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
64     // LAMBDA: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
65     // LAMBDA: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
66     // LAMBDA: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
67     // LAMBDA: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
68     // LAMBDA: switch{{.+}} [[K_RED_RET]], label{{.+}} [
69     // LAMBDA: {{.+}}, label %[[CASE1:.+]]
70     // LAMBDA: {{.+}}, label %[[CASE2:.+]]
71     // LAMBDA: ]
72     // LAMBDA: [[CASE1]]:
73     // LAMBDA-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
74     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
75     // LAMBDA-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
76     // LAMBDA: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
77     // LAMBDA: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
78     // LAMBDA: br
79     // LAMBDA: [[CASE2]]:
80     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
81     // LAMBDA-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
82     // LAMBDA: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
83     // LAMBDA: br
84     sivar += i;
85 
86     [&]() {
87       // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
88       // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
89 
90       sivar += 4;
91       // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
92 
93       // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
94       // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
95       // LAMBDA: [[SIVAR_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[SIVAR_REF]]
96       // LAMBDA: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], 4
97       // LAMBDA: store i{{[0-9]+}} [[SIVAR_INC]], i{{[0-9]+}}* [[SIVAR_REF]]
98     }();
99   }
100   }();
101   return 0;
102 #else
103 #pragma omp target teams distribute simd reduction(+: sivar)
104   for (int i = 0; i < 2; ++i) {
105     sivar += i;
106   }
107   return tmain<int>();
108 #endif
109 }
110 
111 // CHECK: [[RED_VAR:@.+]] = common global [8 x {{.+}}] zeroinitializer
112 
113 // CHECK: define {{.*}}i{{[0-9]+}} @main()
114 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1, i8** %{{[^,]+}}, i8** %{{[^,]+}}, i{{64|32}}* {{.+}}@{{[^,]+}}, i32 0, i32 0), i64* {{.+}}@{{[^,]+}}, i32 0, i32 0), i32 0, i32 0)
115 // CHECK: call void @[[OFFL1:.+]](i32* {{.+}})
116 // CHECK: [[RES:%.+]] = call{{.*}} i32 @[[TMAIN_INT:[^(]+]]()
117 // CHECK: ret i32 [[RES]]
118 
119 // CHECK: define{{.*}} void @[[OFFL1]](i32*{{.+}} [[SIVAR_ARG:%.+]])
120 // CHECK: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
121 // CHECK: store{{.+}} [[SIVAR_ARG]], {{.+}}** [[SIVAR_ADDR]],
122 // CHECK: [[SIVAR_LOAD:%.+]] = load i32*, i32** [[SIVAR_ADDR]],
123 // CHECK: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[OUTL1:.+]] to {{.+}}, {{.+}} [[SIVAR_LOAD]])
124 // CHECK: ret void
125 
126 // CHECK: define internal void @[[OUTL1]]({{.+}}, {{.+}}, i32*{{.+}} [[SIVAR_ARG:%.+]])
127 // Skip global and bound tid vars
128 // CHECK: {{.+}} = alloca i32*,
129 // CHECK: {{.+}} = alloca i32*,
130 // CHECK: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
131 // CHECK: [[SIVAR_PRIV:%.+]] = alloca i32,
132 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
133 // CHECK: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
134 // CHECK: [[SIVAR_REF:%.+]] = load i32*, i32** [[SIVAR_ADDR]],
135 // CHECK: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
136 
137 // CHECK: call void @__kmpc_for_static_init_4(
138 // CHECK: store{{.+}}, {{.+}} [[SIVAR_PRIV]],
139 // CHECK: call void @__kmpc_for_static_fini(
140 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
141 // CHECK: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
142 // CHECK: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
143 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
144 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
145 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
146 // CHECK: {{.+}}, label %[[CASE1:.+]]
147 // CHECK: {{.+}}, label %[[CASE2:.+]]
148 // CHECK: ]
149 // CHECK: [[CASE1]]:
150 // CHECK-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
151 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
152 // CHECK-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
153 // CHECK: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
154 // CHECK: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
155 // CHECK: br
156 // CHECK: [[CASE2]]:
157 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
158 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
159 // CHECK: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
160 // CHECK: br
161 
162 
163 // CHECK: define{{.*}} i{{[0-9]+}} @[[TMAIN_INT]]()
164 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1,
165 // CHECK: call void @[[TOFFL1:.+]]({{.+}}* {{.+}})
166 // CHECK:  ret
167 
168 // CHECK: define{{.*}} void @[[TOFFL1]](i32*{{.+}} [[TVAR_ARG:%.+]])
169 // CHECK: [[TVAR_ADDR:%.+]] = alloca i{{.+}}*,
170 // CHECK: store{{.+}} [[TVAR_ARG]], {{.+}} [[TVAR_ADDR]],
171 // CHECK: [[TVAR:%.+]] = load i32*, i32** [[TVAR_ADDR]],
172 // CHECK: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[TOUTL1:.+]] to {{.+}}, {{.+}} [[TVAR]])
173 // CHECK: ret void
174 
175 // CHECK: define internal void @[[TOUTL1]]({{.+}}, {{.+}}, {{.+}}*{{.+}} [[TVAR_ARG:%.+]])
176 // Skip global and bound tid vars
177 // CHECK: {{.+}} = alloca i32*,
178 // CHECK: {{.+}} = alloca i32*,
179 // CHECK: [[TVAR_ADDR:%.+]] = alloca i{{.+}}*,
180 // CHECK: [[TVAR_PRIV:%.+]] = alloca i{{.+}},
181 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
182 // CHECK: store{{.+}} [[TVAR_ARG]], {{.+}} [[TVAR_ADDR]],
183 // CHECK: [[TVAR_REF:%.+]] = load i32*, i32** [[TVAR_ADDR]],
184 // CHECK: store{{.+}} 0, {{.+}} [[TVAR_PRIV]],
185 
186 // CHECK: call void @__kmpc_for_static_init_4(
187 // CHECK: store{{.+}}, {{.+}} [[TVAR_PRIV]],
188 // CHECK: call void @__kmpc_for_static_fini(
189 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
190 // CHECK: [[TVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[TVAR_PRIV]] to
191 // CHECK: store{{.+}} [[TVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
192 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
193 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
194 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
195 // CHECK: {{.+}}, label %[[CASE1:.+]]
196 // CHECK: {{.+}}, label %[[CASE2:.+]]
197 // CHECK: ]
198 // CHECK: [[CASE1]]:
199 // CHECK-DAG: [[TVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_REF]],
200 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
201 // CHECK-DAG: [[TVAR_INC:%.+]] = add{{.+}} [[TVAR_VAL]], [[TVAR_PRIV_VAL]]
202 // CHECK: store{{.+}} [[TVAR_INC]], {{.+}} [[TVAR_REF]],
203 // CHECK: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
204 // CHECK: br
205 // CHECK: [[CASE2]]:
206 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
207 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[TVAR_REF]], {{.+}} [[TVAR_PRIV_VAL]]
208 // CHECK: call void @__kmpc_end_reduce({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
209 // CHECK: br
210 
211 #endif
212