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