RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity

[InstSimplify] Deduce correct type for vector GEP.

Browse Source 
InstSimplify returned the wrong type when simplifying a vector GEP
and we ended up crashing when trying to replace all uses with the
new value. Fixes PR32697.

Differential Revision: https://reviews.llvm.org/D32180

llvm-svn: 300693
This commit is contained in:
Davide Italiano 2017-04-19 14:23:42 +00:00
parent 1d3ee2d9ca
commit 8f26902aec
2 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Analysis/InstructionSimplify.cpp
View File

@ -3796,6 +3796,8 @@ static Value *SimplifyGEPInst(Type *SrcTy, ArrayRef<Value *> Ops,
Type *GEPTy = PointerType::get(LastType, AS);
if (VectorType *VT = dyn_cast<VectorType>(Ops[0]->getType()))
GEPTy = VectorType::get(GEPTy, VT->getNumElements());
else if (VectorType *VT = dyn_cast<VectorType>(Ops[1]->getType()))
GEPTy = VectorType::get(GEPTy, VT->getNumElements());
if (isa<UndefValue>(Ops[0]))
return UndefValue::get(GEPTy);

26
test/Transforms/InstSimplify/vector_gep.ll
View File

@ -61,4 +61,28 @@ define <16 x i32*> @test6() {
; CHECK-NEXT: ret <16 x i32*> getelementptr ([24 x [42 x [3 x i32]]], [24 x [42 x [3 x i32]]]* @v, <16 x i64> zeroinitializer, <16 x i64> zeroinitializer, <16 x i64> <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15>, <16 x i64> zeroinitializer)
%VectorGep = getelementptr [24 x [42 x [3 x i32]]], [24 x [42 x [3 x i32]]]* @v, i64 0, i64 0, <16 x i64> <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15>, i64 0
ret <16 x i32*> %VectorGep
}
}
; PR32697
; CHECK-LABEL: tinkywinky(
; CHECK-NEXT: ret <4 x i8*> undef
define <4 x i8*> @tinkywinky() {
%patatino = getelementptr i8, i8* undef, <4 x i64> undef
ret <4 x i8*> %patatino
}
; PR32697
; CHECK-LABEL: dipsy(
; CHECK-NEXT: ret <4 x i8*> undef
define <4 x i8*> @dipsy() {
%patatino = getelementptr i8, <4 x i8 *> undef, <4 x i64> undef
ret <4 x i8*> %patatino
}
; PR32697
; CHECK-LABEL: laalaa(
; CHECK-NEXT: ret <4 x i8*> undef
define <4 x i8*> @laalaa() {
%patatino = getelementptr i8, <4 x i8 *> undef, i64 undef
ret <4 x i8*> %patatino
}