RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
changes the address space of the pointer.

llvm-svn: 64035
This commit is contained in:
Mon P Wang 2009-02-07 22:19:29 +00:00
parent b22cb23f6f
commit 028d995112
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Transforms/Scalar/InstructionCombining.cpp
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) ||

19
test/Transforms/InstCombine/cast_ld_addr_space.ll Normal file
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
}