replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[InstCombine] Some cleanup in optimization of redundant insertvalue instructions. 

And one more test added.

llvm-svn: 208355
This commit is contained in:
Michael Zolotukhin 2014-05-08 19:50:24 +00:00
parent 6f657c46e9
commit 292d3caa15
2 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp
View File

@ -506,13 +506,12 @@ Instruction *InstCombiner::visitInsertValueInst(InsertValueInst &I) {
// chain), check if any of the 'children' uses the same indices as the first
// instruction. In this case, the first one is redundant.
Value *V = &I;
unsigned int Depth = 0;
unsigned Depth = 0;
while (V->hasOneUse() && Depth < 10) {
User *U = V->user_back();
InsertValueInst *UserInsInst = dyn_cast<InsertValueInst>(U);
if (!UserInsInst || U->getType() != I.getType()) {
auto UserInsInst = dyn_cast<InsertValueInst>(U);
if (!UserInsInst || U->getOperand(0) != V)
break;
}
if (UserInsInst->getIndices() == FirstIndices) {
IsRedundant = true;
break;

11
llvm/test/Transforms/InstCombine/OverlappingInsertvalues.ll
View File

@ -23,3 +23,14 @@ entry:
%4 = insertvalue { i8*, i64, i32 } %3, i32 777, 2
ret { i8*, i64, i32 } %4
}
; Check that we propagate insertvalues only if they are use as the first
; operand (as initial value of aggregate)
; CHECK-LABEL: foo_use_as_second_operand
; CHECK: i16 %x, 0
; CHECK: %0, 1
define { i8, {i16, i32} } @foo_use_as_second_operand(i16 %x) nounwind {
entry:
%0 = insertvalue { i16, i32 } undef, i16 %x, 0
%1 = insertvalue { i8, {i16, i32} } undef, { i16, i32 } %0, 1
ret { i8, {i16, i32} } %1
}