107 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -passes=globalopt < %s | FileCheck %s3 4; Test behavior of trying to fold access of global variables5; initialized one time through addrspacecast.6 7@as0_ptr = internal global ptr null8@as1_ptr = internal global ptr addrspace(1) null9@as2_ptr = internal global ptr addrspace(2) null10@as1_null_valid_ptr = internal global ptr addrspace(1) null11@as0_null_valid_ptr = internal global ptr null12 13@Actual.as0 = internal global i32 123414@Actual.as1 = internal addrspace(1) global i32 567815@Actual.as2 = internal addrspace(2) global i32 9101116@Actual.as1.null.valid = internal addrspace(1) global i32 9101117@Actual.as0.null.valid = internal global i32 999918 19; Initialize each global once.20define void @init() {21; CHECK-LABEL: define void @init() local_unnamed_addr {22; CHECK-NEXT: store ptr addrspace(1) @Actual.as1, ptr @as1_ptr, align 823; CHECK-NEXT: store ptr addrspace(2) @Actual.as2, ptr @as2_ptr, align 824; CHECK-NEXT: store ptr addrspace(1) @Actual.as1.null.valid, ptr @as1_null_valid_ptr, align 825; CHECK-NEXT: store ptr @Actual.as0.null.valid, ptr @as0_null_valid_ptr, align 826; CHECK-NEXT: ret void27;28 store ptr @Actual.as0, ptr @as0_ptr29 store ptr addrspace(1) @Actual.as1, ptr @as1_ptr30 store ptr addrspace(2) @Actual.as2, ptr @as2_ptr31 store ptr addrspace(1) @Actual.as1.null.valid, ptr @as1_null_valid_ptr32 store ptr @Actual.as0.null.valid, ptr @as0_null_valid_ptr33 ret void34}35 36; Access stored value is null in the default address space, which we37; can assume cannot alias a valid object in another address space.38define i32 @load_from_as0_ptr_in_as1() {39; CHECK-LABEL: define i32 @load_from_as0_ptr_in_as1() local_unnamed_addr {40; CHECK-NEXT: ret i32 123441;42 %ptr = load ptr, ptr @as0_ptr43 %cast = addrspacecast ptr %ptr to ptr addrspace(1)44 %load = load i32, ptr addrspace(1) %cast45 ret i32 %load46}47 48; Cast is to default address space and access is done through default49; address space in a function where null is valid.50define i32 @load_from_as0_ptr_in_as1_null_is_valid() null_pointer_is_valid {51; CHECK-LABEL: define i32 @load_from_as0_ptr_in_as1_null_is_valid52; CHECK-SAME: () local_unnamed_addr #[[ATTR0:[0-9]+]] {53; CHECK-NEXT: [[PTR:%.*]] = load ptr addrspace(1), ptr @as1_null_valid_ptr, align 854; CHECK-NEXT: [[CAST:%.*]] = addrspacecast ptr addrspace(1) [[PTR]] to ptr55; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[CAST]], align 456; CHECK-NEXT: ret i32 [[LOAD]]57;58 %ptr = load ptr addrspace(1), ptr @as1_null_valid_ptr59 %cast = addrspacecast ptr addrspace(1) %ptr to ptr60 %load = load i32, ptr %cast61 ret i32 %load62}63 64; Original addrspace(0) null was valid, and we also have to assume the65; access is valid in addrspace(1)66define i32 @load_from_as1_ptr_in_as0_null_is_valid() null_pointer_is_valid {67; CHECK-LABEL: define i32 @load_from_as1_ptr_in_as0_null_is_valid68; CHECK-SAME: () local_unnamed_addr #[[ATTR0]] {69; CHECK-NEXT: [[PTR:%.*]] = load ptr, ptr @as0_null_valid_ptr, align 870; CHECK-NEXT: [[CAST:%.*]] = addrspacecast ptr [[PTR]] to ptr addrspace(1)71; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(1) [[CAST]], align 472; CHECK-NEXT: ret i32 [[LOAD]]73;74 %ptr = load ptr, ptr @as0_null_valid_ptr75 %cast = addrspacecast ptr %ptr to ptr addrspace(1)76 %load = load i32, ptr addrspace(1) %cast77 ret i32 %load78}79 80; Underlying pointer could be valid, can't fold this out.81define i32 @load_from_as1_ptr_in_as0() {82; CHECK-LABEL: define i32 @load_from_as1_ptr_in_as0() local_unnamed_addr {83; CHECK-NEXT: [[PTR:%.*]] = load ptr addrspace(1), ptr @as1_ptr, align 884; CHECK-NEXT: [[CAST:%.*]] = addrspacecast ptr addrspace(1) [[PTR]] to ptr85; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[CAST]], align 486; CHECK-NEXT: ret i32 [[LOAD]]87;88 %ptr = load ptr addrspace(1), ptr @as1_ptr89 %cast = addrspacecast ptr addrspace(1) %ptr to ptr90 %load = load i32, ptr %cast91 ret i32 %load92}93 94; Two non-default address spaces, can't fold.95define i32 @load_from_as2_ptr_in_as1() {96; CHECK-LABEL: define i32 @load_from_as2_ptr_in_as1() local_unnamed_addr {97; CHECK-NEXT: [[PTR:%.*]] = load ptr addrspace(2), ptr @as2_ptr, align 898; CHECK-NEXT: [[CAST:%.*]] = addrspacecast ptr addrspace(2) [[PTR]] to ptr addrspace(1)99; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(1) [[CAST]], align 4100; CHECK-NEXT: ret i32 [[LOAD]]101;102 %ptr = load ptr addrspace(2), ptr @as2_ptr103 %cast = addrspacecast ptr addrspace(2) %ptr to ptr addrspace(1)104 %load = load i32, ptr addrspace(1) %cast105 ret i32 %load106}107