12b97b16fSJoseph Huber // 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]+"
2532dc62bSNikita Popov // RUN: %clang_cc1 -no-opaque-pointers -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=nvptx64-nvidia-cuda -fopenmp-offload-mandatory -emit-llvm %s -o - | FileCheck %s --check-prefix=MANDATORY
32b97b16fSJoseph Huber // expected-no-diagnostics
42b97b16fSJoseph Huber 
foo()52b97b16fSJoseph Huber void foo() {}
62b97b16fSJoseph Huber #pragma omp declare target(foo)
72b97b16fSJoseph Huber 
bar()82b97b16fSJoseph Huber void bar() {}
92b97b16fSJoseph Huber #pragma omp declare target device_type(nohost) to(bar)
102b97b16fSJoseph Huber 
host()112b97b16fSJoseph Huber void host() {
122b97b16fSJoseph Huber #pragma omp target
132b97b16fSJoseph Huber   { bar(); }
142b97b16fSJoseph Huber }
152b97b16fSJoseph Huber 
host_if(bool cond)162b97b16fSJoseph Huber void host_if(bool cond) {
172b97b16fSJoseph Huber #pragma omp target if(cond)
182b97b16fSJoseph Huber   { bar(); }
192b97b16fSJoseph Huber }
202b97b16fSJoseph Huber 
host_dev(int device)212b97b16fSJoseph Huber void host_dev(int device) {
222b97b16fSJoseph Huber #pragma omp target device(device)
232b97b16fSJoseph Huber   { bar(); }
242b97b16fSJoseph Huber }
252b97b16fSJoseph Huber // MANDATORY-LABEL: define {{[^@]+}}@_Z3foov
262b97b16fSJoseph Huber // MANDATORY-SAME: () #[[ATTR0:[0-9]+]] {
272b97b16fSJoseph Huber // MANDATORY-NEXT:  entry:
282b97b16fSJoseph Huber // MANDATORY-NEXT:    ret void
292b97b16fSJoseph Huber //
302b97b16fSJoseph Huber //
312b97b16fSJoseph Huber // MANDATORY-LABEL: define {{[^@]+}}@_Z4hostv
322b97b16fSJoseph Huber // MANDATORY-SAME: () #[[ATTR0]] {
332b97b16fSJoseph Huber // MANDATORY-NEXT:  entry:
341fff1166SJoseph Huber // MANDATORY-NEXT:    [[KERNEL_ARGS:%.*]] = alloca [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], align 8
351fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP0:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 0
361fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 1, i32* [[TMP0]], align 4
371fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP1:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 1
381fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 0, i32* [[TMP1]], align 4
391fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP2:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 2
401fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP2]], align 8
411fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 3
421fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP3]], align 8
431fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP4:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 4
441fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP4]], align 8
451fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP5:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 5
461fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP5]], align 8
471fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP6:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 6
481fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP6]], align 8
491fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP7:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 7
501fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP7]], align 8
51*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP8:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 8
52*5300263cSJoseph Huber // MANDATORY-NEXT:    store i64 0, i64* [[TMP8]], align 8
53*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP9:%.*]] = call i32 @__tgt_target_kernel(%struct.ident_t* @[[GLOB1:[0-9]+]], i64 -1, i32 -1, i32 0, i8* @.{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z4hostv_l12.region_id, %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]])
54*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP10:%.*]] = icmp ne i32 [[TMP9]], 0
55*5300263cSJoseph Huber // MANDATORY-NEXT:    br i1 [[TMP10]], label [[OMP_OFFLOAD_FAILED:%.*]], label [[OMP_OFFLOAD_CONT:%.*]]
562b97b16fSJoseph Huber // MANDATORY:       omp_offload.failed:
572b97b16fSJoseph Huber // MANDATORY-NEXT:    unreachable
582b97b16fSJoseph Huber // MANDATORY:       omp_offload.cont:
592b97b16fSJoseph Huber // MANDATORY-NEXT:    ret void
602b97b16fSJoseph Huber //
612b97b16fSJoseph Huber //
622b97b16fSJoseph Huber // MANDATORY-LABEL: define {{[^@]+}}@_Z7host_ifb
632b97b16fSJoseph Huber // MANDATORY-SAME: (i1 noundef zeroext [[COND:%.*]]) #[[ATTR0]] {
642b97b16fSJoseph Huber // MANDATORY-NEXT:  entry:
652b97b16fSJoseph Huber // MANDATORY-NEXT:    [[COND_ADDR:%.*]] = alloca i8, align 1
662b97b16fSJoseph Huber // MANDATORY-NEXT:    [[FROMBOOL:%.*]] = zext i1 [[COND]] to i8
672b97b16fSJoseph Huber // MANDATORY-NEXT:    store i8 [[FROMBOOL]], i8* [[COND_ADDR]], align 1
682b97b16fSJoseph Huber // MANDATORY-NEXT:    [[TMP0:%.*]] = load i8, i8* [[COND_ADDR]], align 1
692b97b16fSJoseph Huber // MANDATORY-NEXT:    [[TOBOOL:%.*]] = trunc i8 [[TMP0]] to i1
702b97b16fSJoseph Huber // MANDATORY-NEXT:    br i1 [[TOBOOL]], label [[OMP_IF_THEN:%.*]], label [[OMP_IF_ELSE:%.*]]
712b97b16fSJoseph Huber // MANDATORY:       omp_if.then:
721fff1166SJoseph Huber // MANDATORY-NEXT:    [[KERNEL_ARGS:%.*]] = alloca [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], align 8
731fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP1:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 0
741fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 1, i32* [[TMP1]], align 4
751fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP2:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 1
761fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 0, i32* [[TMP2]], align 4
771fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 2
781fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP3]], align 8
791fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP4:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 3
801fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP4]], align 8
811fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP5:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 4
821fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP5]], align 8
831fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP6:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 5
841fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP6]], align 8
851fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP7:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 6
861fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP7]], align 8
871fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP8:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 7
881fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP8]], align 8
89*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP9:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 8
90*5300263cSJoseph Huber // MANDATORY-NEXT:    store i64 0, i64* [[TMP9]], align 8
91*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP10:%.*]] = call i32 @__tgt_target_kernel(%struct.ident_t* @[[GLOB1]], i64 -1, i32 -1, i32 0, i8* @.{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z7host_ifb_l17.region_id, %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]])
92*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP11:%.*]] = icmp ne i32 [[TMP10]], 0
93*5300263cSJoseph Huber // MANDATORY-NEXT:    br i1 [[TMP11]], label [[OMP_OFFLOAD_FAILED:%.*]], label [[OMP_OFFLOAD_CONT:%.*]]
942b97b16fSJoseph Huber // MANDATORY:       omp_offload.failed:
952b97b16fSJoseph Huber // MANDATORY-NEXT:    unreachable
962b97b16fSJoseph Huber // MANDATORY:       omp_offload.cont:
972b97b16fSJoseph Huber // MANDATORY-NEXT:    br label [[OMP_IF_END:%.*]]
982b97b16fSJoseph Huber // MANDATORY:       omp_if.else:
992b97b16fSJoseph Huber // MANDATORY-NEXT:    unreachable
1002b97b16fSJoseph Huber // MANDATORY:       omp_if.end:
1012b97b16fSJoseph Huber // MANDATORY-NEXT:    ret void
1022b97b16fSJoseph Huber //
1032b97b16fSJoseph Huber //
1042b97b16fSJoseph Huber // MANDATORY-LABEL: define {{[^@]+}}@_Z8host_devi
1052b97b16fSJoseph Huber // MANDATORY-SAME: (i32 noundef signext [[DEVICE:%.*]]) #[[ATTR0]] {
1062b97b16fSJoseph Huber // MANDATORY-NEXT:  entry:
1072b97b16fSJoseph Huber // MANDATORY-NEXT:    [[DEVICE_ADDR:%.*]] = alloca i32, align 4
1082b97b16fSJoseph Huber // MANDATORY-NEXT:    [[DOTCAPTURE_EXPR_:%.*]] = alloca i32, align 4
1092b97b16fSJoseph Huber // MANDATORY-NEXT:    store i32 [[DEVICE]], i32* [[DEVICE_ADDR]], align 4
1102b97b16fSJoseph Huber // MANDATORY-NEXT:    [[TMP0:%.*]] = load i32, i32* [[DEVICE_ADDR]], align 4
1112b97b16fSJoseph Huber // MANDATORY-NEXT:    store i32 [[TMP0]], i32* [[DOTCAPTURE_EXPR_]], align 4
1122b97b16fSJoseph Huber // MANDATORY-NEXT:    [[TMP1:%.*]] = load i32, i32* [[DOTCAPTURE_EXPR_]], align 4
1132b97b16fSJoseph Huber // MANDATORY-NEXT:    [[TMP2:%.*]] = sext i32 [[TMP1]] to i64
1141fff1166SJoseph Huber // MANDATORY-NEXT:    [[KERNEL_ARGS:%.*]] = alloca [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], align 8
1151fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 0
1161fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 1, i32* [[TMP3]], align 4
1171fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP4:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 1
1181fff1166SJoseph Huber // MANDATORY-NEXT:    store i32 0, i32* [[TMP4]], align 4
1191fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP5:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 2
1201fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP5]], align 8
1211fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP6:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 3
1221fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP6]], align 8
1231fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP7:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 4
1241fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP7]], align 8
1251fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP8:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 5
1261fff1166SJoseph Huber // MANDATORY-NEXT:    store i64* null, i64** [[TMP8]], align 8
1271fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP9:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 6
1281fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP9]], align 8
1291fff1166SJoseph Huber // MANDATORY-NEXT:    [[TMP10:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 7
1301fff1166SJoseph Huber // MANDATORY-NEXT:    store i8** null, i8*** [[TMP10]], align 8
131*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP11:%.*]] = getelementptr inbounds [[STRUCT___TGT_KERNEL_ARGUMENTS]], %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]], i32 0, i32 8
132*5300263cSJoseph Huber // MANDATORY-NEXT:    store i64 0, i64* [[TMP11]], align 8
133*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP12:%.*]] = call i32 @__tgt_target_kernel(%struct.ident_t* @[[GLOB1]], i64 [[TMP2]], i32 -1, i32 0, i8* @.{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z8host_devi_l22.region_id, %struct.__tgt_kernel_arguments* [[KERNEL_ARGS]])
134*5300263cSJoseph Huber // MANDATORY-NEXT:    [[TMP13:%.*]] = icmp ne i32 [[TMP12]], 0
135*5300263cSJoseph Huber // MANDATORY-NEXT:    br i1 [[TMP13]], label [[OMP_OFFLOAD_FAILED:%.*]], label [[OMP_OFFLOAD_CONT:%.*]]
1362b97b16fSJoseph Huber // MANDATORY:       omp_offload.failed:
1372b97b16fSJoseph Huber // MANDATORY-NEXT:    unreachable
1382b97b16fSJoseph Huber // MANDATORY:       omp_offload.cont:
1392b97b16fSJoseph Huber // MANDATORY-NEXT:    ret void
1402b97b16fSJoseph Huber //
1412b97b16fSJoseph Huber //
1422b97b16fSJoseph Huber // MANDATORY-LABEL: define {{[^@]+}}@.omp_offloading.requires_reg
1432b97b16fSJoseph Huber // MANDATORY-SAME: () #[[ATTR3:[0-9]+]] {
1442b97b16fSJoseph Huber // MANDATORY-NEXT:  entry:
1452b97b16fSJoseph Huber // MANDATORY-NEXT:    call void @__tgt_register_requires(i64 1)
1462b97b16fSJoseph Huber // MANDATORY-NEXT:    ret void
1472b97b16fSJoseph Huber //
148