1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --function-signature --include-generated-funcs --replace-value-regex "__omp_offloading_[0-9a-z]+_[0-9a-z]+" "reduction_size[.].+[.]" "pl_cond[.].+[.|,]" --prefix-filecheck-ir-name _
2 // RUN: %clang_cc1 -no-opaque-pointers -verify -fopenmp -x c++ -triple x86_64-unknown-unknown -emit-llvm %s -fexceptions -fcxx-exceptions -o - | FileCheck %s --check-prefix=CHECK1
3 // RUN: %clang_cc1 -no-opaque-pointers -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -emit-pch -o %t %s
4 // RUN: %clang_cc1 -no-opaque-pointers -fopenmp -x c++ -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix=CHECK1
5 // RUN: %clang_cc1 -no-opaque-pointers -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --check-prefix=DEBUG1
6 
7 // RUN: %clang_cc1 -no-opaque-pointers -verify -fopenmp-simd -x c++ -emit-llvm %s -fexceptions -fcxx-exceptions -o - | FileCheck %s --implicit-check-not="{{__kmpc|__tgt}}"
8 // RUN: %clang_cc1 -no-opaque-pointers -fopenmp-simd -x c++ -std=c++11 -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -emit-pch -o %t %s
9 // RUN: %clang_cc1 -no-opaque-pointers -fopenmp-simd -x c++ -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --implicit-check-not="{{__kmpc|__tgt}}"
10 // RUN: %clang_cc1 -no-opaque-pointers -verify -triple x86_64-apple-darwin10 -fopenmp-simd -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --implicit-check-not="{{__kmpc|__tgt}}"
11 
12 // RUN: %clang_cc1 -no-opaque-pointers -verify -fopenmp -fopenmp-enable-irbuilder -x c++ -triple x86_64-unknown-unknown -emit-llvm %s -fexceptions -fcxx-exceptions -o - | FileCheck %s --check-prefix=CHECK2
13 
14 // expected-no-diagnostics
15 #ifndef HEADER
16 #define HEADER
17 
foo()18 void foo() { extern void mayThrow(); mayThrow(); }
19 
main()20 int main() {
21   char a;
22 #pragma omp taskgroup
23   a = 2;
24 #pragma omp taskgroup
25   foo();
26   return a;
27 }
28 
parallel_taskgroup()29 void parallel_taskgroup() {
30 #pragma omp parallel
31 #pragma omp taskgroup
32   foo();
33 }
34 #endif
35 // CHECK1-LABEL: define {{[^@]+}}@_Z3foov
36 // CHECK1-SAME: () #[[ATTR0:[0-9]+]] {
37 // CHECK1-NEXT:  entry:
38 // CHECK1-NEXT:    call void @_Z8mayThrowv()
39 // CHECK1-NEXT:    ret void
40 //
41 //
42 // CHECK1-LABEL: define {{[^@]+}}@main
43 // CHECK1-SAME: () #[[ATTR2:[0-9]+]] personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
44 // CHECK1-NEXT:  entry:
45 // CHECK1-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
46 // CHECK1-NEXT:    [[A:%.*]] = alloca i8, align 1
47 // CHECK1-NEXT:    [[TMP0:%.*]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @[[GLOB1:[0-9]+]])
48 // CHECK1-NEXT:    store i32 0, i32* [[RETVAL]], align 4
49 // CHECK1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]])
50 // CHECK1-NEXT:    store i8 2, i8* [[A]], align 1
51 // CHECK1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]])
52 // CHECK1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]])
53 // CHECK1-NEXT:    invoke void @_Z3foov()
54 // CHECK1-NEXT:    to label [[INVOKE_CONT:%.*]] unwind label [[TERMINATE_LPAD:%.*]]
55 // CHECK1:       invoke.cont:
56 // CHECK1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]])
57 // CHECK1-NEXT:    [[TMP1:%.*]] = load i8, i8* [[A]], align 1
58 // CHECK1-NEXT:    [[CONV:%.*]] = sext i8 [[TMP1]] to i32
59 // CHECK1-NEXT:    ret i32 [[CONV]]
60 // CHECK1:       terminate.lpad:
61 // CHECK1-NEXT:    [[TMP2:%.*]] = landingpad { i8*, i32 }
62 // CHECK1-NEXT:    catch i8* null
63 // CHECK1-NEXT:    [[TMP3:%.*]] = extractvalue { i8*, i32 } [[TMP2]], 0
64 // CHECK1-NEXT:    call void @__clang_call_terminate(i8* [[TMP3]]) #[[ATTR8:[0-9]+]]
65 // CHECK1-NEXT:    unreachable
66 //
67 //
68 // CHECK1-LABEL: define {{[^@]+}}@__clang_call_terminate
69 // CHECK1-SAME: (i8* [[TMP0:%.*]]) #[[ATTR5:[0-9]+]] comdat {
70 // CHECK1-NEXT:    [[TMP2:%.*]] = call i8* @__cxa_begin_catch(i8* [[TMP0]]) #[[ATTR3:[0-9]+]]
71 // CHECK1-NEXT:    call void @_ZSt9terminatev() #[[ATTR8]]
72 // CHECK1-NEXT:    unreachable
73 //
74 //
75 // CHECK1-LABEL: define {{[^@]+}}@_Z18parallel_taskgroupv
76 // CHECK1-SAME: () #[[ATTR6:[0-9]+]] {
77 // CHECK1-NEXT:  entry:
78 // CHECK1-NEXT:    call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* @[[GLOB1]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined. to void (i32*, i32*, ...)*))
79 // CHECK1-NEXT:    ret void
80 //
81 //
82 // CHECK1-LABEL: define {{[^@]+}}@.omp_outlined.
83 // CHECK1-SAME: (i32* noalias noundef [[DOTGLOBAL_TID_:%.*]], i32* noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR7:[0-9]+]] personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
84 // CHECK1-NEXT:  entry:
85 // CHECK1-NEXT:    [[DOTGLOBAL_TID__ADDR:%.*]] = alloca i32*, align 8
86 // CHECK1-NEXT:    [[DOTBOUND_TID__ADDR:%.*]] = alloca i32*, align 8
87 // CHECK1-NEXT:    store i32* [[DOTGLOBAL_TID_]], i32** [[DOTGLOBAL_TID__ADDR]], align 8
88 // CHECK1-NEXT:    store i32* [[DOTBOUND_TID_]], i32** [[DOTBOUND_TID__ADDR]], align 8
89 // CHECK1-NEXT:    [[TMP0:%.*]] = load i32*, i32** [[DOTGLOBAL_TID__ADDR]], align 8
90 // CHECK1-NEXT:    [[TMP1:%.*]] = load i32, i32* [[TMP0]], align 4
91 // CHECK1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP1]])
92 // CHECK1-NEXT:    invoke void @_Z3foov()
93 // CHECK1-NEXT:    to label [[INVOKE_CONT:%.*]] unwind label [[TERMINATE_LPAD:%.*]]
94 // CHECK1:       invoke.cont:
95 // CHECK1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP1]])
96 // CHECK1-NEXT:    ret void
97 // CHECK1:       terminate.lpad:
98 // CHECK1-NEXT:    [[TMP2:%.*]] = landingpad { i8*, i32 }
99 // CHECK1-NEXT:    catch i8* null
100 // CHECK1-NEXT:    [[TMP3:%.*]] = extractvalue { i8*, i32 } [[TMP2]], 0
101 // CHECK1-NEXT:    call void @__clang_call_terminate(i8* [[TMP3]]) #[[ATTR8]]
102 // CHECK1-NEXT:    unreachable
103 //
104 //
105 // DEBUG1-LABEL: define {{[^@]+}}@_Z3foov
106 // DEBUG1-SAME: () #[[ATTR0:[0-9]+]] !dbg [[DBG6:![0-9]+]] {
107 // DEBUG1-NEXT:  entry:
108 // DEBUG1-NEXT:    call void @_Z8mayThrowv(), !dbg [[DBG10:![0-9]+]]
109 // DEBUG1-NEXT:    ret void, !dbg [[DBG11:![0-9]+]]
110 //
111 //
112 // DEBUG1-LABEL: define {{[^@]+}}@main
113 // DEBUG1-SAME: () #[[ATTR2:[0-9]+]] personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !dbg [[DBG12:![0-9]+]] {
114 // DEBUG1-NEXT:  entry:
115 // DEBUG1-NEXT:    [[RETVAL:%.*]] = alloca i32, align 4
116 // DEBUG1-NEXT:    [[A:%.*]] = alloca i8, align 1
117 // DEBUG1-NEXT:    [[TMP0:%.*]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @[[GLOB1:[0-9]+]])
118 // DEBUG1-NEXT:    store i32 0, i32* [[RETVAL]], align 4
119 // DEBUG1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]]), !dbg [[DBG13:![0-9]+]]
120 // DEBUG1-NEXT:    store i8 2, i8* [[A]], align 1, !dbg [[DBG14:![0-9]+]]
121 // DEBUG1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB1]], i32 [[TMP0]]), !dbg [[DBG15:![0-9]+]]
122 // DEBUG1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB3:[0-9]+]], i32 [[TMP0]]), !dbg [[DBG16:![0-9]+]]
123 // DEBUG1-NEXT:    invoke void @_Z3foov()
124 // DEBUG1-NEXT:    to label [[INVOKE_CONT:%.*]] unwind label [[TERMINATE_LPAD:%.*]], !dbg [[DBG17:![0-9]+]]
125 // DEBUG1:       invoke.cont:
126 // DEBUG1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB3]], i32 [[TMP0]]), !dbg [[DBG17]]
127 // DEBUG1-NEXT:    [[TMP1:%.*]] = load i8, i8* [[A]], align 1, !dbg [[DBG18:![0-9]+]]
128 // DEBUG1-NEXT:    [[CONV:%.*]] = sext i8 [[TMP1]] to i32, !dbg [[DBG18]]
129 // DEBUG1-NEXT:    ret i32 [[CONV]], !dbg [[DBG19:![0-9]+]]
130 // DEBUG1:       terminate.lpad:
131 // DEBUG1-NEXT:    [[TMP2:%.*]] = landingpad { i8*, i32 }
132 // DEBUG1-NEXT:    catch i8* null, !dbg [[DBG17]]
133 // DEBUG1-NEXT:    [[TMP3:%.*]] = extractvalue { i8*, i32 } [[TMP2]], 0, !dbg [[DBG17]]
134 // DEBUG1-NEXT:    call void @__clang_call_terminate(i8* [[TMP3]]) #[[ATTR8:[0-9]+]], !dbg [[DBG17]]
135 // DEBUG1-NEXT:    unreachable, !dbg [[DBG17]]
136 //
137 //
138 // DEBUG1-LABEL: define {{[^@]+}}@__clang_call_terminate
139 // DEBUG1-SAME: (i8* [[TMP0:%.*]]) #[[ATTR5:[0-9]+]] {
140 // DEBUG1-NEXT:    [[TMP2:%.*]] = call i8* @__cxa_begin_catch(i8* [[TMP0]]) #[[ATTR3:[0-9]+]]
141 // DEBUG1-NEXT:    call void @_ZSt9terminatev() #[[ATTR8]]
142 // DEBUG1-NEXT:    unreachable
143 //
144 //
145 // DEBUG1-LABEL: define {{[^@]+}}@_Z18parallel_taskgroupv
146 // DEBUG1-SAME: () #[[ATTR6:[0-9]+]] !dbg [[DBG20:![0-9]+]] {
147 // DEBUG1-NEXT:  entry:
148 // DEBUG1-NEXT:    call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* @[[GLOB7:[0-9]+]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined. to void (i32*, i32*, ...)*)), !dbg [[DBG21:![0-9]+]]
149 // DEBUG1-NEXT:    ret void, !dbg [[DBG22:![0-9]+]]
150 //
151 //
152 // DEBUG1-LABEL: define {{[^@]+}}@.omp_outlined.
153 // DEBUG1-SAME: (i32* noalias noundef [[DOTGLOBAL_TID_:%.*]], i32* noalias noundef [[DOTBOUND_TID_:%.*]]) #[[ATTR7:[0-9]+]] personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !dbg [[DBG23:![0-9]+]] {
154 // DEBUG1-NEXT:  entry:
155 // DEBUG1-NEXT:    [[DOTGLOBAL_TID__ADDR:%.*]] = alloca i32*, align 8
156 // DEBUG1-NEXT:    [[DOTBOUND_TID__ADDR:%.*]] = alloca i32*, align 8
157 // DEBUG1-NEXT:    store i32* [[DOTGLOBAL_TID_]], i32** [[DOTGLOBAL_TID__ADDR]], align 8
158 // DEBUG1-NEXT:    store i32* [[DOTBOUND_TID_]], i32** [[DOTBOUND_TID__ADDR]], align 8
159 // DEBUG1-NEXT:    [[TMP0:%.*]] = load i32*, i32** [[DOTGLOBAL_TID__ADDR]], align 8, !dbg [[DBG24:![0-9]+]]
160 // DEBUG1-NEXT:    [[TMP1:%.*]] = load i32, i32* [[TMP0]], align 4, !dbg [[DBG24]]
161 // DEBUG1-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @[[GLOB5:[0-9]+]], i32 [[TMP1]]), !dbg [[DBG24]]
162 // DEBUG1-NEXT:    invoke void @_Z3foov()
163 // DEBUG1-NEXT:    to label [[INVOKE_CONT:%.*]] unwind label [[TERMINATE_LPAD:%.*]], !dbg [[DBG25:![0-9]+]]
164 // DEBUG1:       invoke.cont:
165 // DEBUG1-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @[[GLOB5]], i32 [[TMP1]]), !dbg [[DBG25]]
166 // DEBUG1-NEXT:    ret void, !dbg [[DBG26:![0-9]+]]
167 // DEBUG1:       terminate.lpad:
168 // DEBUG1-NEXT:    [[TMP2:%.*]] = landingpad { i8*, i32 }
169 // DEBUG1-NEXT:    catch i8* null, !dbg [[DBG25]]
170 // DEBUG1-NEXT:    [[TMP3:%.*]] = extractvalue { i8*, i32 } [[TMP2]], 0, !dbg [[DBG25]]
171 // DEBUG1-NEXT:    call void @__clang_call_terminate(i8* [[TMP3]]) #[[ATTR8]], !dbg [[DBG25]]
172 // DEBUG1-NEXT:    unreachable, !dbg [[DBG25]]
173 //
174 
175 // CHECK2-LABEL: define dso_local void @_Z3foov() #{{.+}} {
176 // CHECK2:       entry:
177 // CHECK2-NEXT:    call void @_Z8mayThrowv()
178 // CHECK2-NEXT:    ret void
179 
180 // CHECK2-LABEL: define dso_local noundef i32 @main() #{{.+}} {
181 // CHECK2:       entry:
182 // CHECK2-NEXT:    %[[RETVAL:.+]] = alloca i32, align 4
183 // CHECK2-NEXT:    %[[A:.+]] = alloca i8, align 1
184 // CHECK2-NEXT:    store i32 0, i32* %[[RETVAL]], align 4
185 // CHECK2-NEXT:    %[[OMP_THREAD_NUM:.+]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @{{.+}})
186 // CHECK2-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM]])
187 // CHECK2-NEXT:    store i8 2, i8* %[[A]], align 1
188 // CHECK2-NEXT:    br label %taskgroup.exit
189 
190 // CHECK2:       taskgroup.exit:
191 // CHECK2-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM]])
192 // CHECK2-NEXT:    %[[OMP_THREAD_NUM2:.+]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @{{.+}})
193 // CHECK2-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM2]])
194 // CHECK2-NEXT:    call void @_Z3foov()
195 // CHECK2-NEXT:    br label %taskgroup.exit2
196 
197 // CHECK2:       taskgroup.exit2:
198 // CHECK2-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM2]])
199 // CHECK2-NEXT:    %[[TMP:.+]] = load i8, i8* %[[A]], align 1
200 // CHECK2-NEXT:    %[[CONV:.+]] = sext i8 %[[TMP]] to i32
201 // CHECK2-NEXT:    ret i32 %[[CONV]]
202 
203 // CHECK2-LABEL: define dso_local void @_Z18parallel_taskgroupv() #{{.+}} {
204 // CHECK2:       entry:
205 // CHECK2-NEXT:    %[[OMP_THREAD_NUM:.+]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @{{.+}})
206 // CHECK2-NEXT:    br label %omp_parallel
207 
208 // CHECK2:       omp_parallel:
209 // CHECK2-NEXT:    call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* @{{.+}}, i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @_Z18parallel_taskgroupv..omp_par to void (i32*, i32*, ...)*))
210 // CHECK2-NEXT:    br label %omp.par.outlined.exit
211 
212 // CHECK2:       omp.par.outlined.exit:
213 // CHECK2-NEXT:    br label %omp.par.exit.split
214 
215 // CHECK2:       omp.par.exit.split:
216 // CHECK2-NEXT:    ret void
217 
218 // CHECK2-LABEL: define internal void @_Z18parallel_taskgroupv..omp_par(i32* noalias %{{.+}}, i32* noalias %{{.+}}) #{{.+}} {
219 // CHECK2:       omp.par.entry:
220 // CHECK2:         br label %omp.par.region
221 
222 // CHECK2:       omp.par.region:
223 // CHECK2-NEXT:    %[[OMP_THREAD_NUM:.+]] = call i32 @__kmpc_global_thread_num(%struct.ident_t* @{{.+}})
224 // CHECK2-NEXT:    call void @__kmpc_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM]])
225 // CHECK2-NEXT:    call void @_Z3foov()
226 // CHECK2-NEXT:    br label %taskgroup.exit
227 
228 // CHECK2:       taskgroup.exit:
229 // CHECK2-NEXT:    call void @__kmpc_end_taskgroup(%struct.ident_t* @{{.+}}, i32 %[[OMP_THREAD_NUM]])
230 // CHECK2-NEXT:    br label %omp.par.region.parallel.after
231 
232 // CHECK2:       omp.par.region.parallel.after:
233 // CHECK2-NEXT:    br label %omp.par.pre_finalize
234 
235 // CHECK2:       omp.par.pre_finalize:
236 // CHECK2-NEXT:    br label %omp.par.outlined.exit.exitStub
237 
238 // CHECK2:       omp.par.outlined.exit.exitStub:
239 // CHECK2-NEXT:    ret void
240