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