diff --git a/llvm/lib/Transforms/Scalar/SROA.cpp b/llvm/lib/Transforms/Scalar/SROA.cpp index 6454f1ea1eb1..627199a27e6c 100644 --- a/llvm/lib/Transforms/Scalar/SROA.cpp +++ b/llvm/lib/Transforms/Scalar/SROA.cpp @@ -1589,6 +1589,12 @@ static Value *getAdjustedPtr(IRBuilderTy &IRB, const DataLayout &DL, Value *Ptr, PointerType *TargetPtrTy = cast(PointerTy); Type *TargetTy = TargetPtrTy->getElementType(); + // As `addrspacecast` is , `Ptr` (the storage pointer) may have different + // address space from the expected `PointerTy` (the pointer to be used). + // Adjust the pointer type based the original storage pointer. + auto AS = cast(Ptr->getType())->getAddressSpace(); + PointerTy = PointerTy->getPointerTo(AS); + do { // First fold any existing GEPs into the offset. while (GEPOperator *GEP = dyn_cast(Ptr)) { diff --git a/llvm/test/Transforms/SROA/addrspacecast.ll b/llvm/test/Transforms/SROA/addrspacecast.ll index 5edef89e8cd6..d2a1cef81aef 100644 --- a/llvm/test/Transforms/SROA/addrspacecast.ll +++ b/llvm/test/Transforms/SROA/addrspacecast.ll @@ -299,6 +299,21 @@ define void @select_addrspacecast_gv(i1 %a, i1 %b) { ret void } +; CHECK-LABEL: @select_addrspacecast_i8( +; CHECK: [[SEL:%.*]] = select i1 undef, i8 undef, i8 undef +; CHECK-NEXT: ret i8 [[SEL]] +define i8 @select_addrspacecast_i8() { + %a = alloca i8 + %b = alloca i8 + + %a.ptr = addrspacecast i8* %a to i8 addrspace(1)* + %b.ptr = addrspacecast i8* %b to i8 addrspace(1)* + + %ptr = select i1 undef, i8 addrspace(1)* %a.ptr, i8 addrspace(1)* %b.ptr + %ret = load i8, i8 addrspace(1)* %ptr + ret i8 %ret +} + !0 = !{!1, !1, i64 0, i64 1} !1 = !{!2, i64 1, !"type_0"} !2 = !{!"root"}