1*67e74705SXin Li // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s
2*67e74705SXin Li // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple %itanium_abi_triple -emit-pch -o %t %s
3*67e74705SXin Li // RUN: %clang_cc1 -fopenmp -x c++ -triple %itanium_abi_triple -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix=CHECK %s
4*67e74705SXin Li // expected-no-diagnostics
5*67e74705SXin Li #ifndef HEADER
6*67e74705SXin Li #define HEADER
7*67e74705SXin Li
8*67e74705SXin Li void fn1();
9*67e74705SXin Li void fn2();
10*67e74705SXin Li void fn3();
11*67e74705SXin Li void fn4();
12*67e74705SXin Li void fn5();
13*67e74705SXin Li void fn6();
14*67e74705SXin Li
15*67e74705SXin Li int Arg;
16*67e74705SXin Li
17*67e74705SXin Li // CHECK-LABEL: define {{.*}}void @{{.+}}gtid_test
gtid_test()18*67e74705SXin Li void gtid_test() {
19*67e74705SXin Li // CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, {{.+}}* [[GTID_TEST_REGION1:@.+]] to void
20*67e74705SXin Li #pragma omp parallel
21*67e74705SXin Li #pragma omp parallel if (parallel: false)
22*67e74705SXin Li gtid_test();
23*67e74705SXin Li // CHECK: ret void
24*67e74705SXin Li }
25*67e74705SXin Li
26*67e74705SXin Li // CHECK: define internal {{.*}}void [[GTID_TEST_REGION1]](i{{.+}}* noalias [[GTID_PARAM:%.+]], i32* noalias
27*67e74705SXin Li // CHECK: store i{{[0-9]+}}* [[GTID_PARAM]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]],
28*67e74705SXin Li // CHECK: [[GTID_ADDR:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[GTID_ADDR_REF]]
29*67e74705SXin Li // CHECK: [[GTID:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[GTID_ADDR]]
30*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
31*67e74705SXin Li // CHECK: [[GTID_ADDR:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[GTID_ADDR_REF]]
32*67e74705SXin Li // CHECK: call void [[GTID_TEST_REGION2:@.+]](i{{[0-9]+}}* [[GTID_ADDR]]
33*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
34*67e74705SXin Li // CHECK: ret void
35*67e74705SXin Li
36*67e74705SXin Li // CHECK: define internal {{.*}}void [[GTID_TEST_REGION2]](
37*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}gtid_test
38*67e74705SXin Li // CHECK: ret void
39*67e74705SXin Li
40*67e74705SXin Li template <typename T>
tmain(T Arg)41*67e74705SXin Li int tmain(T Arg) {
42*67e74705SXin Li #pragma omp parallel if (true)
43*67e74705SXin Li fn1();
44*67e74705SXin Li #pragma omp parallel if (false)
45*67e74705SXin Li fn2();
46*67e74705SXin Li #pragma omp parallel if (parallel: Arg)
47*67e74705SXin Li fn3();
48*67e74705SXin Li return 0;
49*67e74705SXin Li }
50*67e74705SXin Li
51*67e74705SXin Li // CHECK-LABEL: define {{.*}}i{{[0-9]+}} @main()
main()52*67e74705SXin Li int main() {
53*67e74705SXin Li // CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
54*67e74705SXin Li // CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN4:@.+]] to void
55*67e74705SXin Li #pragma omp parallel if (true)
56*67e74705SXin Li fn4();
57*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
58*67e74705SXin Li // CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
59*67e74705SXin Li // CHECK: call void [[CAP_FN5:@.+]](i32* [[GTID_ADDR]],
60*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
61*67e74705SXin Li #pragma omp parallel if (false)
62*67e74705SXin Li fn5();
63*67e74705SXin Li
64*67e74705SXin Li // CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]]
65*67e74705SXin Li // CHECK: [[OMP_THEN]]
66*67e74705SXin Li // CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN6:@.+]] to void
67*67e74705SXin Li // CHECK: br label %[[OMP_END:.+]]
68*67e74705SXin Li // CHECK: [[OMP_ELSE]]
69*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
70*67e74705SXin Li // CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
71*67e74705SXin Li // CHECK: call void [[CAP_FN6]](i32* [[GTID_ADDR]],
72*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
73*67e74705SXin Li // CHECK: br label %[[OMP_END]]
74*67e74705SXin Li // CHECK: [[OMP_END]]
75*67e74705SXin Li #pragma omp parallel if (Arg)
76*67e74705SXin Li fn6();
77*67e74705SXin Li // CHECK: = call {{.*}}i{{.+}} @{{.+}}tmain
78*67e74705SXin Li return tmain(Arg);
79*67e74705SXin Li }
80*67e74705SXin Li
81*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN4]]
82*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn4
83*67e74705SXin Li // CHECK: ret void
84*67e74705SXin Li
85*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN5]]
86*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn5
87*67e74705SXin Li // CHECK: ret void
88*67e74705SXin Li
89*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN6]]
90*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn6
91*67e74705SXin Li // CHECK: ret void
92*67e74705SXin Li
93*67e74705SXin Li // CHECK-LABEL: define {{.+}} @{{.+}}tmain
94*67e74705SXin Li // CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
95*67e74705SXin Li // CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN1:@.+]] to void
96*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
97*67e74705SXin Li // CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
98*67e74705SXin Li // CHECK: call void [[CAP_FN2:@.+]](i32* [[GTID_ADDR]],
99*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
100*67e74705SXin Li // CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]]
101*67e74705SXin Li // CHECK: [[OMP_THEN]]
102*67e74705SXin Li // CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN3:@.+]] to void
103*67e74705SXin Li // CHECK: br label %[[OMP_END:.+]]
104*67e74705SXin Li // CHECK: [[OMP_ELSE]]
105*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
106*67e74705SXin Li // CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
107*67e74705SXin Li // CHECK: call void [[CAP_FN3]](i32* [[GTID_ADDR]],
108*67e74705SXin Li // CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
109*67e74705SXin Li // CHECK: br label %[[OMP_END]]
110*67e74705SXin Li // CHECK: [[OMP_END]]
111*67e74705SXin Li
112*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN1]]
113*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn1
114*67e74705SXin Li // CHECK: ret void
115*67e74705SXin Li
116*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN2]]
117*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn2
118*67e74705SXin Li // CHECK: ret void
119*67e74705SXin Li
120*67e74705SXin Li // CHECK: define internal {{.*}}void [[CAP_FN3]]
121*67e74705SXin Li // CHECK: call {{.*}}void @{{.+}}fn3
122*67e74705SXin Li // CHECK: ret void
123*67e74705SXin Li
124*67e74705SXin Li #endif
125