121 lines · cpp
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --include-generated-funcs --replace-value-regex "__omp_offloading_[0-9a-z]+_[0-9a-z]+" "reduction_size[.].+[.]" "pl_cond[.].+[.|,]" --prefix-filecheck-ir-name _ --version 32// REQUIRES: amdgpu-registered-target3 4// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fopenmp-targets=amdgcn-amd-amdhsa -emit-llvm %s -o - \5// RUN: | FileCheck %s6 7// Check same results after serialization round-trip8// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fopenmp-targets=amdgcn-amd-amdhsa -emit-pch -o %t %s9// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fopenmp-targets=amdgcn-amd-amdhsa -include-pch %t -emit-llvm %s -o - \10// RUN: | FileCheck %s11 12// expected-no-diagnostics13#ifndef HEADER14#define HEADER15 16extern bool foo(bool);17 18int if_logical() {19 bool a = foo(true);20 bool b = foo(true);21 int pp = 42;22 int *p = &pp;23 #pragma omp target data if(a && b) map(to: p[0])24 {25 p[0]++;26 }27 if (p[0])28 return 1;29 return 0;30}31 32int main() {33 return if_logical();34}35 36#endif37// CHECK-LABEL: define dso_local noundef i32 @_Z10if_logicalv(38// CHECK-SAME: ) #[[ATTR0:[0-9]+]] {39// CHECK-NEXT: entry:40// CHECK-NEXT: [[RETVAL:%.*]] = alloca i32, align 441// CHECK-NEXT: [[A:%.*]] = alloca i8, align 142// CHECK-NEXT: [[B:%.*]] = alloca i8, align 143// CHECK-NEXT: [[PP:%.*]] = alloca i32, align 444// CHECK-NEXT: [[P:%.*]] = alloca ptr, align 845// CHECK-NEXT: [[DOTOFFLOAD_BASEPTRS:%.*]] = alloca [1 x ptr], align 846// CHECK-NEXT: [[DOTOFFLOAD_PTRS:%.*]] = alloca [1 x ptr], align 847// CHECK-NEXT: [[DOTOFFLOAD_MAPPERS:%.*]] = alloca [1 x ptr], align 848// CHECK-NEXT: [[CALL:%.*]] = call noundef zeroext i1 @_Z3foob(i1 noundef zeroext true)49// CHECK-NEXT: [[FROMBOOL:%.*]] = zext i1 [[CALL]] to i850// CHECK-NEXT: store i8 [[FROMBOOL]], ptr [[A]], align 151// CHECK-NEXT: [[CALL1:%.*]] = call noundef zeroext i1 @_Z3foob(i1 noundef zeroext true)52// CHECK-NEXT: [[FROMBOOL2:%.*]] = zext i1 [[CALL1]] to i853// CHECK-NEXT: store i8 [[FROMBOOL2]], ptr [[B]], align 154// CHECK-NEXT: store i32 42, ptr [[PP]], align 455// CHECK-NEXT: store ptr [[PP]], ptr [[P]], align 856// CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr [[A]], align 157// CHECK-NEXT: [[TOBOOL:%.*]] = trunc i8 [[TMP0]] to i158// CHECK-NEXT: br i1 [[TOBOOL]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]59// CHECK: land.rhs:60// CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[B]], align 161// CHECK-NEXT: [[TOBOOL3:%.*]] = trunc i8 [[TMP1]] to i162// CHECK-NEXT: br label [[LAND_END]]63// CHECK: land.end:64// CHECK-NEXT: [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[TOBOOL3]], [[LAND_RHS]] ]65// CHECK-NEXT: br i1 [[TMP2]], label [[OMP_IF_THEN:%.*]], label [[OMP_IF_ELSE:%.*]]66// CHECK: omp_if.then:67// CHECK-NEXT: [[TMP3:%.*]] = load ptr, ptr [[P]], align 868// CHECK-NEXT: [[TMP4:%.*]] = load ptr, ptr [[P]], align 869// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP4]], i64 070// CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 071// CHECK-NEXT: store ptr [[TMP3]], ptr [[TMP5]], align 872// CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 073// CHECK-NEXT: store ptr [[ARRAYIDX]], ptr [[TMP6]], align 874// CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_MAPPERS]], i64 0, i64 075// CHECK-NEXT: store ptr null, ptr [[TMP7]], align 876// CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 077// CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 078// CHECK-NEXT: call void @__tgt_target_data_begin_mapper(ptr @[[GLOB1:[0-9]+]], i64 -1, i32 1, ptr [[TMP8]], ptr [[TMP9]], ptr @.offload_sizes, ptr @.offload_maptypes, ptr null, ptr null)79// CHECK-NEXT: br label [[OMP_IF_END:%.*]]80// CHECK: omp_if.else:81// CHECK-NEXT: br label [[OMP_IF_END]]82// CHECK: omp_if.end:83// CHECK-NEXT: [[TMP10:%.*]] = load ptr, ptr [[P]], align 884// CHECK-NEXT: [[ARRAYIDX4:%.*]] = getelementptr inbounds i32, ptr [[TMP10]], i64 085// CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[ARRAYIDX4]], align 486// CHECK-NEXT: [[INC:%.*]] = add nsw i32 [[TMP11]], 187// CHECK-NEXT: store i32 [[INC]], ptr [[ARRAYIDX4]], align 488// CHECK-NEXT: br i1 [[TMP2]], label [[OMP_IF_THEN5:%.*]], label [[OMP_IF_ELSE6:%.*]]89// CHECK: omp_if.then5:90// CHECK-NEXT: [[TMP12:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_BASEPTRS]], i32 0, i32 091// CHECK-NEXT: [[TMP13:%.*]] = getelementptr inbounds [1 x ptr], ptr [[DOTOFFLOAD_PTRS]], i32 0, i32 092// CHECK-NEXT: call void @__tgt_target_data_end_mapper(ptr @[[GLOB1]], i64 -1, i32 1, ptr [[TMP12]], ptr [[TMP13]], ptr @.offload_sizes, ptr @.offload_maptypes, ptr null, ptr null)93// CHECK-NEXT: br label [[OMP_IF_END7:%.*]]94// CHECK: omp_if.else6:95// CHECK-NEXT: br label [[OMP_IF_END7]]96// CHECK: omp_if.end7:97// CHECK-NEXT: [[TMP14:%.*]] = load ptr, ptr [[P]], align 898// CHECK-NEXT: [[ARRAYIDX8:%.*]] = getelementptr inbounds i32, ptr [[TMP14]], i64 099// CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[ARRAYIDX8]], align 4100// CHECK-NEXT: [[TOBOOL9:%.*]] = icmp ne i32 [[TMP15]], 0101// CHECK-NEXT: br i1 [[TOBOOL9]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]102// CHECK: if.then:103// CHECK-NEXT: store i32 1, ptr [[RETVAL]], align 4104// CHECK-NEXT: br label [[RETURN:%.*]]105// CHECK: if.end:106// CHECK-NEXT: store i32 0, ptr [[RETVAL]], align 4107// CHECK-NEXT: br label [[RETURN]]108// CHECK: return:109// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[RETVAL]], align 4110// CHECK-NEXT: ret i32 [[TMP16]]111//112//113// CHECK-LABEL: define dso_local noundef i32 @main(114// CHECK-SAME: ) #[[ATTR3:[0-9]+]] {115// CHECK-NEXT: entry:116// CHECK-NEXT: [[RETVAL:%.*]] = alloca i32, align 4117// CHECK-NEXT: store i32 0, ptr [[RETVAL]], align 4118// CHECK-NEXT: [[CALL:%.*]] = call noundef i32 @_Z10if_logicalv()119// CHECK-NEXT: ret i32 [[CALL]]120//121