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 18 void foo() { extern void mayThrow(); mayThrow(); } 19 20 int main() { 21 char a; 22 #pragma omp taskgroup 23 a = 2; 24 #pragma omp taskgroup 25 foo(); 26 return a; 27 } 28 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