101 lines · cpp
1// RUN: %clang_cc1 -verify -fopenmp -fopenmp-targets=powerpc64le-ibm-linux-gnu -x c++ -triple powerpc64le-unknown-unknown -emit-llvm %s -o - | FileCheck %s2// RUN: %clang_cc1 -fopenmp -fopenmp-targets=powerpc64le-ibm-linux-gnu -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -emit-pch -o %t %s3// 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 %s4// expected-no-diagnostics5#ifndef HEADER6#define HEADER7 8// CHECK: [[SIZE_ENTER:@.+]] = private unnamed_addr constant [2 x i64] [i64 0, i64 24]9// 0 = OMP_MAP_NONE10// 281474976710656 = 0x1000000000000 = OMP_MAP_MEMBER_OF of 1-st element11// CHECK: [[MAP_ENTER:@.+]] = private unnamed_addr constant [2 x i64] [i64 0, i64 281474976710656]12// CHECK: [[SIZE_EXIT:@.+]] = private unnamed_addr constant [2 x i64] [i64 0, i64 24]13// 281474976710664 = 0x1000000000008 = OMP_MAP_MEMBER_OF of 1-st element | OMP_MAP_DELETE14// CHECK: [[MAP_EXIT:@.+]] = private unnamed_addr constant [2 x i64] [i64 0, i64 281474976710664]15template <typename T>16struct S {17 constexpr static int size = 6;18 T data[size];19};20 21template <typename T>22struct maptest {23 S<T> s;24 maptest() {25 // CHECK: [[BPTRS:%.+]] = alloca [2 x ptr],26 // CHECK: [[PTRS:%.+]] = alloca [2 x ptr],27 // CHECK: [[SIZES:%.+]] = alloca [2 x i64],28 // CHECK: getelementptr inbounds29 // CHECK: [[S_ADDR:%.+]] = getelementptr inbounds nuw %struct.maptest, ptr [[THIS:%.+]], i32 0, i32 030 // CHECK: [[S_DATA_ADDR:%.+]] = getelementptr inbounds nuw %struct.S, ptr [[S_ADDR]], i32 0, i32 031 // CHECK: [[S_DATA_0_ADDR:%.+]] = getelementptr inbounds nuw [6 x float], ptr [[S_DATA_ADDR]], i64 0, i64 032 33 // SZ = &this->s.data[6]-&this->s.data[0]34 // CHECK: [[S_ADDR:%.+]] = getelementptr inbounds nuw %struct.maptest, ptr [[THIS]], i32 0, i32 035 // CHECK: [[S_DATA_ADDR:%.+]] = getelementptr inbounds nuw %struct.S, ptr [[S_ADDR]], i32 0, i32 036 // CHECK: [[S_DATA_5_ADDR:%.+]] = getelementptr inbounds nuw [6 x float], ptr [[S_DATA_ADDR]], i64 0, i64 537 // CHECK: [[S_DATA_6_ADDR:%.+]] = getelementptr float, ptr [[S_DATA_5_ADDR]], i32 138 // CHECK: [[END_BC:%.+]] = ptrtoint ptr [[S_DATA_6_ADDR]] to i6439 // CHECK: [[BEG_BC:%.+]] = ptrtoint ptr [[S_DATA_0_ADDR]] to i6440 // CHECK: [[DIFF:%.+]] = sub i64 [[END_BC]], [[BEG_BC]]41 // CHECK: [[SZ:%.+]] = sdiv exact i64 [[DIFF]], ptrtoint (ptr getelementptr (i8, ptr null, i32 1) to i64)42 43 // Fill mapping arrays44 // CHECK: [[BPTR0:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 045 // CHECK: store ptr [[THIS]], ptr [[BPTR0]],46 // CHECK: [[PTR0:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 047 // CHECK: store ptr [[S_DATA_0_ADDR]], ptr [[PTR0]],48 // CHECK: [[SIZE0:%.+]] = getelementptr inbounds [2 x i64], ptr [[SIZES]], i32 0, i32 049 // CHECK: store i64 [[SZ]], ptr [[SIZE0]],50 // CHECK: [[BPTR1:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 151 // CHECK: store ptr [[THIS]], ptr [[BPTR1]],52 // CHECK: [[PTR1:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 153 // CHECK: store ptr [[S_DATA_0_ADDR]], ptr [[PTR1]],54 // CHECK: [[BPTR:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 055 // CHECK: [[PTR:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 056 // CHECK: [[SIZE:%.+]] = getelementptr inbounds [2 x i64], ptr [[SIZES]], i32 0, i32 057 // CHECK: call void @__tgt_target_data_begin_mapper(ptr @{{.+}}, i64 -1, i32 2, ptr [[BPTR]], ptr [[PTR]], ptr [[SIZE]], ptr [[MAP_ENTER]], ptr null, ptr null)58#pragma omp target enter data map(alloc : s.data[:6])59 }60 61 ~maptest() {62 // CHECK: [[BPTRS:%.+]] = alloca [2 x ptr],63 // CHECK: [[PTRS:%.+]] = alloca [2 x ptr],64 // CHECK: [[SIZE:%.+]] = alloca [2 x i64],65 // CHECK: [[S_ADDR:%.+]] = getelementptr inbounds nuw %struct.maptest, ptr [[THIS:%.+]], i32 0, i32 066 // CHECK: [[S_DATA_ADDR:%.+]] = getelementptr inbounds nuw %struct.S, ptr [[S_ADDR]], i32 0, i32 067 // CHECK: [[S_DATA_0_ADDR:%.+]] = getelementptr inbounds nuw [6 x float], ptr [[S_DATA_ADDR]], i64 0, i64 068 69 // SZ = &this->s.data[6]-&this->s.data[0]70 // CHECK: [[S_ADDR:%.+]] = getelementptr inbounds nuw %struct.maptest, ptr [[THIS]], i32 0, i32 071 // CHECK: [[S_DATA_ADDR:%.+]] = getelementptr inbounds nuw %struct.S, ptr [[S_ADDR]], i32 0, i32 072 // CHECK: [[S_DATA_5_ADDR:%.+]] = getelementptr inbounds nuw [6 x float], ptr [[S_DATA_ADDR]], i64 0, i64 573 // CHECK: [[S_DATA_6_ADDR:%.+]] = getelementptr float, ptr [[S_DATA_5_ADDR]], i32 174 // CHECK: [[END_BC:%.+]] = ptrtoint ptr [[S_DATA_6_ADDR]] to i6475 // CHECK: [[BEG_BC:%.+]] = ptrtoint ptr [[S_DATA_0_ADDR]] to i6476 // CHECK: [[DIFF:%.+]] = sub i64 [[END_BC]], [[BEG_BC]]77 // CHECK: [[SZ:%.+]] = sdiv exact i64 [[DIFF]], ptrtoint (ptr getelementptr (i8, ptr null, i32 1) to i64)78 79 // Fill mapping arrays80 // CHECK: [[BPTR0:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 081 // CHECK: store ptr [[THIS]], ptr [[BPTR0]],82 // CHECK: [[PTR0:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 083 // CHECK: store ptr [[S_DATA_0_ADDR]], ptr [[PTR0]],84 // CHECK: [[SIZE0:%.+]] = getelementptr inbounds [2 x i64], ptr [[SIZES]], i32 0, i32 085 // CHECK: store i64 [[SZ]], ptr [[SIZE0]],86 // CHECK: [[BPTR1:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 187 // CHECK: store ptr [[THIS]], ptr [[BPTR1]],88 // CHECK: [[PTR1:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 189 // CHECK: store ptr [[S_DATA_0_ADDR]], ptr [[PTR1]],90 // CHECK: [[BPTR:%.+]] = getelementptr inbounds [2 x ptr], ptr [[BPTRS]], i32 0, i32 091 // CHECK: [[PTR:%.+]] = getelementptr inbounds [2 x ptr], ptr [[PTRS]], i32 0, i32 092 // CHECK: [[SIZE:%.+]] = getelementptr inbounds [2 x i64], ptr [[SIZES]], i32 0, i32 093 // CHECK: call void @__tgt_target_data_end_mapper(ptr @{{.+}}, i64 -1, i32 2, ptr [[BPTR]], ptr [[PTR]], ptr [[SIZE]], ptr [[MAP_EXIT]], ptr null, ptr null)94#pragma omp target exit data map(delete : s.data[:6])95 }96};97 98maptest<float> a;99 100#endif101