mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
InstCombine: Harden code to work with vectors of pointers and simplify it a bit.
Found by running instcombine on a fabricated test case for the constant folder. llvm-svn: 174430
This commit is contained in:
parent
31124b1816
commit
e615fc610e
@ -1395,17 +1395,13 @@ Instruction *InstCombiner::visitPtrToInt(PtrToIntInst &CI) {
|
||||
// If the destination integer type is not the intptr_t type for this target,
|
||||
// do a ptrtoint to intptr_t then do a trunc or zext. This allows the cast
|
||||
// to be exposed to other transforms.
|
||||
if (TD) {
|
||||
if (CI.getType()->getScalarSizeInBits() < TD->getPointerSizeInBits()) {
|
||||
Value *P = Builder->CreatePtrToInt(CI.getOperand(0),
|
||||
TD->getIntPtrType(CI.getContext()));
|
||||
return new TruncInst(P, CI.getType());
|
||||
}
|
||||
if (CI.getType()->getScalarSizeInBits() > TD->getPointerSizeInBits()) {
|
||||
Value *P = Builder->CreatePtrToInt(CI.getOperand(0),
|
||||
TD->getIntPtrType(CI.getContext()));
|
||||
return new ZExtInst(P, CI.getType());
|
||||
}
|
||||
if (TD && CI.getType()->getScalarSizeInBits() != TD->getPointerSizeInBits()) {
|
||||
Type *Ty = TD->getIntPtrType(CI.getContext());
|
||||
if (CI.getType()->isVectorTy()) // Handle vectors of pointers.
|
||||
Ty = VectorType::get(Ty, CI.getType()->getVectorNumElements());
|
||||
|
||||
Value *P = Builder->CreatePtrToInt(CI.getOperand(0), Ty);
|
||||
return CastInst::CreateIntegerCast(P, CI.getType(), /*isSigned=*/false);
|
||||
}
|
||||
|
||||
return commonPointerCastTransforms(CI);
|
||||
|
@ -27,3 +27,18 @@ define i64 @f0(i32 %a0) nounwind {
|
||||
ret i64 %t1
|
||||
}
|
||||
|
||||
define <4 x i32> @test4(<4 x i8*> %arg) nounwind {
|
||||
; CHECK: @test4
|
||||
; CHECK: ptrtoint <4 x i8*> %arg to <4 x i64>
|
||||
; CHECK: trunc <4 x i64> %1 to <4 x i32>
|
||||
%p1 = ptrtoint <4 x i8*> %arg to <4 x i32>
|
||||
ret <4 x i32> %p1
|
||||
}
|
||||
|
||||
define <4 x i128> @test5(<4 x i8*> %arg) nounwind {
|
||||
; CHECK: @test5
|
||||
; CHECK: ptrtoint <4 x i8*> %arg to <4 x i64>
|
||||
; CHECK: zext <4 x i64> %1 to <4 x i128>
|
||||
%p1 = ptrtoint <4 x i8*> %arg to <4 x i128>
|
||||
ret <4 x i128> %p1
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user