Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 9619f04c0e12c24b1282f6d4449de4a9228c3060 / . / clang / test / OpenMP / cancel_codegen.cpp
blob: ac72866c880293866f3c488ff044e49c5cbd83b1 [file] [log] [blame]
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]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
Adrian Prantlbc068582015-07-08 01:00:30 +0000[diff] [blame]5// REQUIRES: x86-registered-target
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]6#ifndef HEADER
7#define HEADER
8
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]9float flag;
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]10int main (int argc, char **argv) {
11// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(
12#pragma omp parallel
13{
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]14#pragma omp cancel parallel if(flag)
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]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#pragma omp cancel sections
21}
22// CHECK: call i32 @__kmpc_single(
Alexey Bataev9619f042016-01-20 12:29:47 +0000[diff] [blame^]23// CHECK: call i32 @__kmpc_cancel(
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]24// CHECK: call void @__kmpc_end_single(
25// CHECK: call void @__kmpc_barrier(%ident_t*
26#pragma omp sections
27{
28#pragma omp cancel sections
29#pragma omp section
30 {
31#pragma omp cancel sections
32 }
33}
34// CHECK: call void @__kmpc_for_static_init_4(
35// CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%ident_t* {{[^,]+}}, i32 [[GTID]], i32 3)
36// CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
37// CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
38// CHECK: [[EXIT]]
39// CHECK: call i32 @__kmpc_cancel_barrier(%ident_t*
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: call i32 @__kmpc_cancel_barrier(%ident_t*
48// CHECK: br label
49// CHECK: [[CONTINUE]]
50// CHECK: br label
51// CHECK: call void @__kmpc_for_static_fini(
52#pragma omp for
53for (int i = 0; i < argc; ++i) {
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]54#pragma omp cancel for if(cancel: flag)
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]55}
56// CHECK: call void @__kmpc_for_static_init_4(
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]57// CHECK: [[FLAG:%.+]] = load float, float* @{{.+}},
58// CHECK: [[BOOL:%.+]] = fcmp une float [[FLAG]], 0.000000e+00
59// CHECK: br i1 [[BOOL]], label %[[THEN:[^,]+]], label %[[ELSE:[^,]+]]
60// CHECK: [[THEN]]
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]61// CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%ident_t* {{[^,]+}}, i32 [[GTID]], i32 2)
62// CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
63// CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
64// CHECK: [[EXIT]]
65// CHECK: call i32 @__kmpc_cancel_barrier(%ident_t*
66// CHECK: br label
67// CHECK: [[CONTINUE]]
68// CHECK: br label
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]69// CHECK: [[ELSE]]
70// CHECK: br label
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]71// CHECK: call void @__kmpc_for_static_fini(
72// CHECK: call void @__kmpc_barrier(%ident_t*
73#pragma omp task
74{
75#pragma omp cancel taskgroup
76}
77// CHECK: call i8* @__kmpc_omp_task_alloc(
78// CHECK: call i32 @__kmpc_omp_task(
Alexey Bataev25e5b442015-09-15 12:52:43 +0000[diff] [blame]79#pragma omp parallel sections
80{
81#pragma omp cancel sections
82}
83// CHECK: call void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
84#pragma omp parallel sections
85{
86#pragma omp cancel sections
87#pragma omp section
88 {
89#pragma omp cancel sections
90 }
91}
92// CHECK: call void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
93#pragma omp parallel for
94for (int i = 0; i < argc; ++i) {
95#pragma omp cancel for
96}
97// CHECK: call void (%ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]98 return argc;
99}
100
101// CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}},
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]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]]
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]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: call i32 @__kmpc_cancel_barrier(%ident_t*
111// CHECK: br label %[[RETURN:.+]]
Alexey Bataev87933c72015-09-18 08:07:34 +0000[diff] [blame]112// CHECK: [[ELSE]]
113// CHECK: br label
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]114// CHECK: [[RETURN]]
115// CHECK: ret void
116
117// CHECK: define internal i32 @{{[^(]+}}(i32
118// CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%ident_t* {{[^,]+}}, i32 {{[^,]+}}, i32 4)
119// CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
120// CHECK: br i1 [[CMP]], label %[[EXIT:[^,]+]],
121// CHECK: [[EXIT]]
122// CHECK: call i32 @__kmpc_cancel_barrier(%ident_t*
123// CHECK: br label %[[RETURN:.+]]
124// CHECK: [[RETURN]]
125// CHECK: ret i32 0
126
Alexey Bataev25e5b442015-09-15 12:52:43 +0000[diff] [blame]127// CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}})
128// CHECK: call i32 @__kmpc_single(
Alexey Bataev9619f042016-01-20 12:29:47 +0000[diff] [blame^]129// CHECK: call i32 @__kmpc_cancel(
Alexey Bataev25e5b442015-09-15 12:52:43 +0000[diff] [blame]130// CHECK: call void @__kmpc_end_single(
Alexey Bataev25e5b442015-09-15 12:52:43 +0000[diff] [blame]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: call i32 @__kmpc_cancel_barrier(%ident_t*
140// CHECK: br label
141// CHECK: [[CONTINUE]]
142// CHECK: br label
143// CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%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: call i32 @__kmpc_cancel_barrier(%ident_t*
148// CHECK: br label
149// CHECK: [[CONTINUE]]
150// CHECK: br label
151// CHECK: call void @__kmpc_for_static_fini(
152// CHECK: ret void
153
154// CHECK: define internal void @{{[^(]+}}(i32* {{[^,]+}}, i32* {{[^,]+}},
155// CHECK: call void @__kmpc_for_static_init_4(
156// CHECK: [[RES:%.+]] = call i32 @__kmpc_cancel(%ident_t* {{[^,]+}}, i32 [[GTID:%.+]], i32 2)
157// CHECK: [[CMP:%.+]] = icmp ne i32 [[RES]], 0
158// CHECK: br i1 [[CMP]], label %[[EXIT:[^,].+]], label %[[CONTINUE:.+]]
159// CHECK: [[EXIT]]
160// CHECK: call i32 @__kmpc_cancel_barrier(%ident_t*
161// CHECK: br label
162// CHECK: [[CONTINUE]]
163// CHECK: br label
164// CHECK: call void @__kmpc_for_static_fini(
Alexey Bataev25e5b442015-09-15 12:52:43 +0000[diff] [blame]165// CHECK: ret void
166
Alexey Bataev7d5d33e2015-07-06 05:50:32 +0000[diff] [blame]167#endif