256 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --function-signature --check-globals --filter-out-after "getelem.*kernel" --filter-out "= alloca.*" --include-generated-funcs --replace-value-regex "__omp_offloading_[0-9a-z]+_[0-9a-z]+" "reduction_size[.].+[.]" "pl_cond[.].+[.|,]" --prefix-filecheck-ir-name _ --global-value-regex "\.offload_.*" --global-hex-value-regex ".offload_maptypes.*"2// RUN: %clang_cc1 -verify -fopenmp -fopenmp-targets=powerpc64le-ibm-linux-gnu -x c++ -triple powerpc64le-unknown-unknown -emit-llvm %s -o - | FileCheck %s3// RUN: %clang_cc1 -fopenmp -fopenmp-targets=powerpc64le-ibm-linux-gnu -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -emit-pch -o %t %s4// RUN: %clang_cc1 -fopenmp -fopenmp-targets=powerpc64le-ibm-linux-gnu -x c++ -triple powerpc64le-unknown-unknown -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s5 6// expected-no-diagnostics7#ifndef HEADER8#define HEADER9 10void f1() {11 int *ptr;12 // &ptr, &ptr, sizeof(ptr), TO | PARAM13 #pragma omp target map(ptr)14 ptr[1] = 5;15}16 17void f2() {18 int *ptr;19 // &ptr[0], &ptr[2], sizeof(ptr[2]), TO | FROM | PARAM20 #pragma omp target map(ptr[2])21 ptr[1] = 6;22}23 24void f3() {25 int *ptr;26 // &ptr, &ptr[0], sizeof(ptr[0:2]), TO | FROM | PARAM | PTR_AND_OBJ27 #pragma omp target map(ptr, ptr[0:2])28 ptr[1] = 7;29}30 31void f4() {32 int *ptr;33 // &ptr, &ptr[2], sizeof(ptr[2]), TO | FROM | PARAM | PTR_AND_OBJ34 #pragma omp target map(ptr, ptr[2])35 ptr[2] = 8;36}37 38void f5() {39 int *ptr;40 // &ptr, &ptr[2], sizeof(ptr[2]), TO | FROM | PARAM | PTR_AND_OBJ41 #pragma omp target map(ptr[2], ptr)42 ptr[2] = 9;43}44 45void f6() {46 int *ptr;47 // &ptr, &ptr[2], sizeof(ptr[2]), TO | FROM | PARAM | PTR_AND_OBJ48 // TODO: PARAM should not be needed here.49 #pragma omp target data map(ptr, ptr[2])50 ptr[2] = 10;51}52 53void f7() {54 int *ptr;55 // &ptr, &ptr[2], sizeof(ptr[2]), TO | FROM | PARAM | PTR_AND_OBJ56 // TODO: PARAM should not be needed here.57 #pragma omp target data map(ptr[2], ptr)58 ptr[2] = 11;59}60#endif61//.62// CHECK: @.offload_sizes = private unnamed_addr constant [1 x i64] [i64 8]63// CHECK: @.offload_maptypes = private unnamed_addr constant [1 x i64] [i64 [[#0x23]]]64// CHECK: @.offload_sizes.1 = private unnamed_addr constant [1 x i64] [i64 4]65// CHECK: @.offload_maptypes.2 = private unnamed_addr constant [1 x i64] [i64 [[#0x23]]]66// CHECK: @.offload_sizes.3 = private unnamed_addr constant [1 x i64] [i64 8]67// CHECK: @.offload_maptypes.4 = private unnamed_addr constant [1 x i64] [i64 [[#0x33]]]68// CHECK: @.offload_sizes.5 = private unnamed_addr constant [1 x i64] [i64 4]69// CHECK: @.offload_maptypes.6 = private unnamed_addr constant [1 x i64] [i64 [[#0x33]]]70// CHECK: @.offload_sizes.7 = private unnamed_addr constant [1 x i64] [i64 4]71// CHECK: @.offload_maptypes.8 = private unnamed_addr constant [1 x i64] [i64 [[#0x33]]]72// CHECK: @.offload_sizes.9 = private unnamed_addr constant [1 x i64] [i64 4]73// CHECK: @.offload_maptypes.10 = private unnamed_addr constant [1 x i64] [i64 [[#0x33]]]74// CHECK: @.offload_sizes.11 = private unnamed_addr constant [1 x i64] [i64 4]75// CHECK: @.offload_maptypes.12 = private unnamed_addr constant [1 x i64] [i64 [[#0x33]]]76//.77// CHECK-LABEL: define {{[^@]+}}@_Z2f1v78// CHECK-SAME: () #[[ATTR0:[0-9]+]] {79// CHECK: entry:80// CHECK: [[TMP0:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 081// CHECK: store ptr [[PTR:%.*]], ptr [[TMP0]], align 882// CHECK: [[TMP1:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 083// CHECK: store ptr [[PTR]], ptr [[TMP1]], align 884// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 085// CHECK: store ptr null, ptr [[TMP2]], align 886// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 087// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 088// CHECK: [[TMP5:%.*]] = getelementptr inbounds nuw [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], ptr [[KERNEL_ARGS:%.*]], i32 0, i32 089//90//91// CHECK-LABEL: define {{[^@]+}}@{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z2f1v_l1392// CHECK-SAME: (ptr noundef nonnull align 8 dereferenceable(8) [[PTR:%.*]]) #[[ATTR1:[0-9]+]] {93// CHECK: entry:94// CHECK: store ptr [[PTR]], ptr [[PTR_ADDR:%.*]], align 895// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !nonnull [[META13:![0-9]+]], !align [[META14:![0-9]+]]96// CHECK: [[TMP1:%.*]] = load ptr, ptr [[TMP0]], align 897// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP1]], i64 198// CHECK: store i32 5, ptr [[ARRAYIDX]], align 499// CHECK: ret void100//101//102// CHECK-LABEL: define {{[^@]+}}@_Z2f2v103// CHECK-SAME: () #[[ATTR0]] {104// CHECK: entry:105// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8106// CHECK: [[TMP1:%.*]] = load ptr, ptr [[PTR]], align 8107// CHECK: [[TMP2:%.*]] = load ptr, ptr [[PTR]], align 8108// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP2]], i64 2109// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0110// CHECK: store ptr [[TMP1]], ptr [[TMP3]], align 8111// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0112// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP4]], align 8113// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0114// CHECK: store ptr null, ptr [[TMP5]], align 8115// CHECK: [[TMP6:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0116// CHECK: [[TMP7:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0117// CHECK: [[TMP8:%.*]] = getelementptr inbounds nuw [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], ptr [[KERNEL_ARGS:%.*]], i32 0, i32 0118//119//120// CHECK-LABEL: define {{[^@]+}}@{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z2f2v_l20121// CHECK-SAME: (ptr noundef [[PTR:%.*]]) #[[ATTR1]] {122// CHECK: entry:123// CHECK: store ptr [[PTR]], ptr [[PTR_ADDR:%.*]], align 8124// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8125// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 1126// CHECK: store i32 6, ptr [[ARRAYIDX]], align 4127// CHECK: ret void128//129//130// CHECK-LABEL: define {{[^@]+}}@_Z2f3v131// CHECK-SAME: () #[[ATTR0]] {132// CHECK: entry:133// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8134// CHECK: [[TMP1:%.*]] = load ptr, ptr [[PTR]], align 8135// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i32, ptr [[TMP1]], i64 0136// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0137// CHECK: store ptr [[PTR]], ptr [[TMP2]], align 8138// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0139// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP3]], align 8140// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0141// CHECK: store ptr null, ptr [[TMP4]], align 8142// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0143// CHECK: [[TMP6:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0144// CHECK: [[TMP7:%.*]] = getelementptr inbounds nuw [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], ptr [[KERNEL_ARGS:%.*]], i32 0, i32 0145//146//147// CHECK-LABEL: define {{[^@]+}}@{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z2f3v_l27148// CHECK-SAME: (ptr noundef [[PTR:%.*]]) #[[ATTR1]] {149// CHECK: entry:150// CHECK: store ptr [[PTR]], ptr [[PTR_ADDR:%.*]], align 8151// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8152// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 1153// CHECK: store i32 7, ptr [[ARRAYIDX]], align 4154// CHECK: ret void155//156//157// CHECK-LABEL: define {{[^@]+}}@_Z2f4v158// CHECK-SAME: () #[[ATTR0]] {159// CHECK: entry:160// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8161// CHECK: [[TMP1:%.*]] = load ptr, ptr [[PTR]], align 8162// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP1]], i64 2163// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0164// CHECK: store ptr [[PTR]], ptr [[TMP2]], align 8165// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0166// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP3]], align 8167// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0168// CHECK: store ptr null, ptr [[TMP4]], align 8169// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0170// CHECK: [[TMP6:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0171// CHECK: [[TMP7:%.*]] = getelementptr inbounds nuw [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], ptr [[KERNEL_ARGS:%.*]], i32 0, i32 0172//173//174// CHECK-LABEL: define {{[^@]+}}@{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z2f4v_l34175// CHECK-SAME: (ptr noundef [[PTR:%.*]]) #[[ATTR1]] {176// CHECK: entry:177// CHECK: store ptr [[PTR]], ptr [[PTR_ADDR:%.*]], align 8178// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8179// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 2180// CHECK: store i32 8, ptr [[ARRAYIDX]], align 4181// CHECK: ret void182//183//184// CHECK-LABEL: define {{[^@]+}}@_Z2f5v185// CHECK-SAME: () #[[ATTR0]] {186// CHECK: entry:187// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8188// CHECK: [[TMP1:%.*]] = load ptr, ptr [[PTR]], align 8189// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP1]], i64 2190// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0191// CHECK: store ptr [[PTR]], ptr [[TMP2]], align 8192// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0193// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP3]], align 8194// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0195// CHECK: store ptr null, ptr [[TMP4]], align 8196// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0197// CHECK: [[TMP6:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0198// CHECK: [[TMP7:%.*]] = getelementptr inbounds nuw [[STRUCT___TGT_KERNEL_ARGUMENTS:%.*]], ptr [[KERNEL_ARGS:%.*]], i32 0, i32 0199//200//201// CHECK-LABEL: define {{[^@]+}}@{{__omp_offloading_[0-9a-z]+_[0-9a-z]+}}__Z2f5v_l41202// CHECK-SAME: (ptr noundef [[PTR:%.*]]) #[[ATTR1]] {203// CHECK: entry:204// CHECK: store ptr [[PTR]], ptr [[PTR_ADDR:%.*]], align 8205// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8206// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 2207// CHECK: store i32 9, ptr [[ARRAYIDX]], align 4208// CHECK: ret void209//210//211// CHECK-LABEL: define {{[^@]+}}@_Z2f6v212// CHECK-SAME: () #[[ATTR0]] {213// CHECK: entry:214// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8215// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 2216// CHECK: [[TMP1:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0217// CHECK: store ptr [[PTR]], ptr [[TMP1]], align 8218// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0219// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP2]], align 8220// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0221// CHECK: store ptr null, ptr [[TMP3]], align 8222// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0223// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0224// CHECK: call void @__tgt_target_data_begin_mapper(ptr @[[GLOB1:[0-9]+]], i64 -1, i32 1, ptr [[TMP4]], ptr [[TMP5]], ptr @.offload_sizes.9, ptr @.offload_maptypes.10, ptr null, ptr null)225// CHECK: [[TMP6:%.*]] = load ptr, ptr [[PTR]], align 8226// CHECK: [[ARRAYIDX1:%.*]] = getelementptr inbounds i32, ptr [[TMP6]], i64 2227// CHECK: store i32 10, ptr [[ARRAYIDX1]], align 4228// CHECK: [[TMP7:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0229// CHECK: [[TMP8:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0230// CHECK: call void @__tgt_target_data_end_mapper(ptr @[[GLOB1]], i64 -1, i32 1, ptr [[TMP7]], ptr [[TMP8]], ptr @.offload_sizes.9, ptr @.offload_maptypes.10, ptr null, ptr null)231// CHECK: ret void232//233//234// CHECK-LABEL: define {{[^@]+}}@_Z2f7v235// CHECK-SAME: () #[[ATTR0]] {236// CHECK: entry:237// CHECK: [[TMP0:%.*]] = load ptr, ptr [[PTR:%.*]], align 8238// CHECK: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP0]], i64 2239// CHECK: [[TMP1:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS:%.*]], i32 0, i32 0240// CHECK: store ptr [[PTR]], ptr [[TMP1]], align 8241// CHECK: [[TMP2:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS:%.*]], i32 0, i32 0242// CHECK: store ptr [[ARRAYIDX]], ptr [[TMP2]], align 8243// CHECK: [[TMP3:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS:%.*]], i64 0, i64 0244// CHECK: store ptr null, ptr [[TMP3]], align 8245// CHECK: [[TMP4:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0246// CHECK: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0247// CHECK: call void @__tgt_target_data_begin_mapper(ptr @[[GLOB1]], i64 -1, i32 1, ptr [[TMP4]], ptr [[TMP5]], ptr @.offload_sizes.11, ptr @.offload_maptypes.12, ptr null, ptr null)248// CHECK: [[TMP6:%.*]] = load ptr, ptr [[PTR]], align 8249// CHECK: [[ARRAYIDX1:%.*]] = getelementptr inbounds i32, ptr [[TMP6]], i64 2250// CHECK: store i32 11, ptr [[ARRAYIDX1]], align 4251// CHECK: [[TMP7:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 0252// CHECK: [[TMP8:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 0253// CHECK: call void @__tgt_target_data_end_mapper(ptr @[[GLOB1]], i64 -1, i32 1, ptr [[TMP7]], ptr [[TMP8]], ptr @.offload_sizes.11, ptr @.offload_maptypes.12, ptr null, ptr null)254// CHECK: ret void255//256