1 // RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=45 -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - %s | FileCheck %s --check-prefixes=ALL,CHECK
2 // RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -x c++ -std=c++11 -triple x86_64-apple-darwin13.4.0 -emit-pch -o %t %s
3 // RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -std=c++11 -include-pch %t -fsyntax-only -verify %s -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - | FileCheck %s --check-prefixes=ALL,CHECK
4 
5 // RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=45 -fopenmp-enable-irbuilder -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - %s | FileCheck %s --check-prefixes=ALL,IRBUILDER
6 // RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -fopenmp-enable-irbuilder -x c++ -std=c++11 -triple x86_64-apple-darwin13.4.0 -emit-pch -o %t %s
7 // RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -fopenmp-enable-irbuilder -std=c++11 -include-pch %t -fsyntax-only -verify %s -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - | FileCheck %s --check-prefixes=ALL,IRBUILDER
8 
9 // RUN: %clang_cc1 -verify -fopenmp-simd -fopenmp-version=45 -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - %s | FileCheck --check-prefix SIMD-ONLY0 %s
10 // RUN: %clang_cc1 -fopenmp-simd -fopenmp-version=45 -x c++ -std=c++11 -triple x86_64-apple-darwin13.4.0 -emit-pch -o %t %s
11 // RUN: %clang_cc1 -fopenmp-simd -fopenmp-version=45 -std=c++11 -include-pch %t -fsyntax-only -verify %s -triple x86_64-apple-darwin13.4.0 -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s
12 // SIMD-ONLY0-NOT: {{__kmpc|__tgt}}
13 // expected-no-diagnostics
14 #ifndef HEADER
15 #define HEADER
16 
17 float flag;
18 int main (int argc, char **argv) {
19 #pragma omp parallel
20 {
21 #pragma omp cancel parallel if(flag)
22   argv[0][0] = argc;
23 #pragma omp barrier
24   argv[0][0] += argc;
25 }
26 // ALL: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
27 #pragma omp sections
28 {
29 #pragma omp cancel sections
30 }
31 // ALL: call void @__kmpc_for_static_init_4(
32 // ALL: call i32 @__kmpc_cancel(
33 // ALL: call void @__kmpc_for_static_fini(
34 // ALL: call void @__kmpc_barrier(%struct.ident_t*
35 #pragma omp sections
36 {
37 #pragma omp cancel sections
38 #pragma omp section
39   {
40 #pragma omp cancel sections
41   }
42 }
43 // ALL: call void @__kmpc_for_static_init_4(
44 // ALL: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.*]], i32 3)
45 // ALL: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
46 // ALL: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
47 // ALL: [[EXIT]]
48 // ALL: br label
49 // ALL: [[CONTINUE]]
50 // ALL: br label
51 // ALL: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.*]], i32 3)
52 // ALL: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
53 // ALL: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
54 // ALL: [[EXIT]]
55 // ALL: br label
56 // ALL: [[CONTINUE]]
57 // ALL: br label
58 // ALL: call void @__kmpc_for_static_fini(
59 #pragma omp for
60 for (int i = 0; i < argc; ++i) {
61 #pragma omp cancel for if(cancel: flag)
62 }
63 // ALL: call void @__kmpc_for_static_init_4(
64 // ALL: [[FLAG:%.+]] = load float, float* @{{.+}},
65 // ALL: [[BOOL:%.+]] = fcmp une float [[FLAG]], 0.000000e+00
66 // ALL: br i1 [[BOOL]], label %[[THEN:[^,]+]], label %[[ELSE:[^,]+]]
67 // ALL: [[THEN]]
68 // ALL: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.*]], i32 2)
69 // ALL: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
70 // ALL: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
71 // ALL: [[EXIT]]
72 // ALL: br label
73 // ALL: [[CONTINUE]]
74 // ALL: br label
75 // ALL: [[ELSE]]
76 // ALL: br label
77 // ALL: call void @__kmpc_for_static_fini(
78 // ALL: call void @__kmpc_barrier(%struct.ident_t*
79 #pragma omp task
80 {
81 #pragma omp cancel taskgroup
82 }
83 // ALL: call i8* @__kmpc_omp_task_alloc(
84 // ALL: call i32 @__kmpc_omp_task(
85 #pragma omp parallel sections
86 {
87 #pragma omp cancel sections
88 }
89 // ALL: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
90 #pragma omp parallel sections
91 {
92 #pragma omp cancel sections
93 #pragma omp section
94   {
95 #pragma omp cancel sections
96   }
97 }
98 // ALL: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
99 int r = 0;
100 #pragma omp parallel for reduction(+: r)
101 for (int i = 0; i < argc; ++i) {
102 #pragma omp cancel for
103   r += i;
104 }
105 // ALL: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
106   return argc;
107 }
108 
109 // CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}},
110 // CHECK: [[FLAG:%.+]] = load float, float* @{{.+}},
111 // CHECK: [[BOOL:%.+]] = fcmp une float [[FLAG]], 0.000000e+00
112 // CHECK: br i1 [[BOOL]], label %[[THEN:[^,]+]], label %[[ELSE:[^,]+]]
113 // CHECK: [[THEN]]
114 // CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 {{[^,]+}}, i32 1)
115 // CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
116 // CHECK: br i1 [[CMP]], label %[[EXIT:[^,]+]],
117 // CHECK: [[EXIT]]
118 // CHECK: br label %[[RETURN:.+]]
119 // CHECK: [[ELSE]]
120 // The barrier directive should now call __kmpc_cancel_barrier
121 // CHECK: call i32 @__kmpc_cancel_barrier(%struct.ident_t*
122 // CHECK: br label
123 // CHECK: [[RETURN]]
124 // CHECK: ret void
125 
126 // CHECK: define internal i32 @{{[^(]+}}(i32
127 // CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 {{[^,]+}}, i32 4)
128 // CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
129 // CHECK: br i1 [[CMP]], label %[[EXIT:[^,]+]],
130 // CHECK: [[EXIT]]
131 // CHECK: br label %[[RETURN:.+]]
132 // CHECK: [[RETURN]]
133 // CHECK: ret i32 0
134 
135 // CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}})
136 // CHECK: call void @__kmpc_for_static_init_4(
137 // CHECK: call i32 @__kmpc_cancel(
138 // CHECK: call void @__kmpc_for_static_fini(
139 // CHECK: ret void
140 
141 // CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}})
142 // CHECK: call void @__kmpc_for_static_init_4(
143 // CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.+]], i32 3)
144 // CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
145 // CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
146 // CHECK: [[EXIT]]
147 // CHECK: br label
148 // CHECK: [[CONTINUE]]
149 // CHECK: br label
150 // CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.*]], i32 3)
151 // CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
152 // CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
153 // CHECK: [[EXIT]]
154 // CHECK: br label
155 // CHECK: [[CONTINUE]]
156 // CHECK: br label
157 // CHECK: call void @__kmpc_for_static_fini(
158 // CHECK: ret void
159 
160 // CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}},
161 // CHECK: call void @__kmpc_for_static_init_4(
162 // CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 [[GTID:%.+]], i32 2)
163 // CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
164 // CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
165 // CHECK: [[EXIT]]
166 // CHECK: br label
167 // CHECK: [[CONTINUE]]
168 // CHECK: br label
169 // CHECK: call void @__kmpc_for_static_fini(
170 // CHECK: call i32 @__kmpc_reduce_nowait(
171 // CHECK: call void @__kmpc_end_reduce_nowait(
172 // CHECK: call void @__kmpc_for_static_fini(
173 // CHECK: ret void
174 
175 // IRBUILDER: define internal void @main
176 
177 // IRBUILDER: [[RETURN:omp.par.outlined.exit[^:]*]]
178 // IRBUILDER-NEXT: ret void
179 // IRBUILDER: [[FLAG:%.+]] = load float, float* @{{.+}},
180 
181 // IRBUILDER: [[BOOL:%.+]] = fcmp une float [[FLAG]], 0.000000e+00
182 // IRBUILDER: br i1 [[BOOL]], label %[[THEN:[^,]+]], label %[[ELSE:[^,]+]]
183 // IRBUILDER: [[ELSE]]
184 // IRBUILDER-NEXT:   br label %[[ELSE2:.*]]
185 // IRBUILDER: [[ELSE2]]
186 // The barrier directive should now call __kmpc_cancel_barrier
187 // IRBUILDER: call i32 @__kmpc_cancel_barrier(%struct.ident_t*
188 // IRBUILDER: br label
189 // IRBUILDER: [[THEN]]
190 // IRBUILDER: [[RES:%.+]] = call i32 @__kmpc_cancel(%struct.ident_t* {{[^,]+}}, i32 {{[^,]+}}, i32 1)
191 // IRBUILDER: [[CMP:%.+]] = icmp eq i32 [[RES]], 0
192 // IRBUILDER: br i1 [[CMP]], label %[[CONTINUE:[^,].+]], label %[[EXIT:.+]]
193 // IRBUILDER: [[EXIT]]
194 // IRBUILDER: br label %[[RETURN]]
195 // IRBUILDER: [[CONTINUE]]
196 // IRBUILDER: br label %[[ELSE2:.+]]
197 
198 #endif
199