Instrcombine should not change load(cast p) to cast(load p) if the cast

changes the address space of the pointer.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64035 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Mon P Wang 2009-02-07 22:19:29 +00:00
parent 6f38cb61a9
commit 6753f959d2
2 changed files with 26 additions and 1 deletions

View File

@ -11007,8 +11007,14 @@ static Instruction *InstCombineLoadCast(InstCombiner &IC, LoadInst &LI,
}
}
const Type *DestPTy = cast<PointerType>(CI->getType())->getElementType();
const PointerType *DestTy = cast<PointerType>(CI->getType());
const Type *DestPTy = DestTy->getElementType();
if (const PointerType *SrcTy = dyn_cast<PointerType>(CastOp->getType())) {
// If the address spaces don't match, don't eliminate the cast.
if (DestTy->getAddressSpace() != SrcTy->getAddressSpace())
return 0;
const Type *SrcPTy = SrcTy->getElementType();
if (DestPTy->isInteger() || isa<PointerType>(DestPTy) ||

View File

@ -0,0 +1,19 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep bitcast | count 1
; InstCombine can not 'load (cast P)' -> cast (load P)' if the cast changes
; the address space.
define void @test2(i8 addrspace(1)* %source, <2 x i8> addrspace(1)* %dest) {
entry:
%arrayidx1 = bitcast <2 x i8> addrspace(1)* %dest to <2 x i8> addrspace(1)*
%conv = bitcast i8 addrspace(1)* %source to <16 x i8>*
%arrayidx22 = bitcast <16 x i8>* %conv to <16 x i8>*
%tmp3 = load <16 x i8>* %arrayidx22
%arrayidx223 = bitcast i8 addrspace(1)* %source to i8*
%tmp4 = load i8* %arrayidx223
%tmp5 = insertelement <2 x i8> undef, i8 %tmp4, i32 0
%splat = shufflevector <2 x i8> %tmp5, <2 x i8> undef, <2 x i32> zeroinitializer
store <2 x i8> %splat, <2 x i8> addrspace(1)* %arrayidx1
ret void
}