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