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