diff options
| -rw-r--r-- | lib/Transforms/InstCombine/InstCombineVectorOps.cpp | 6 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/vec_phi_extract.ll | 25 |
2 files changed, 29 insertions, 2 deletions
diff --git a/lib/Transforms/InstCombine/InstCombineVectorOps.cpp b/lib/Transforms/InstCombine/InstCombineVectorOps.cpp index 4301ddb..527ddbc 100644 --- a/lib/Transforms/InstCombine/InstCombineVectorOps.cpp +++ b/lib/Transforms/InstCombine/InstCombineVectorOps.cpp @@ -146,8 +146,10 @@ Instruction *InstCombiner::scalarizePHI(ExtractElementInst &EI, PHINode *PN) { // vector operand. BinaryOperator *B0 = cast<BinaryOperator>(PHIUser); unsigned opId = (B0->getOperand(0) == PN) ? 1: 0; - Value *Op = Builder->CreateExtractElement( - B0->getOperand(opId), Elt, B0->getOperand(opId)->getName()+".Elt"); + Value *Op = InsertNewInstWith( + ExtractElementInst::Create(B0->getOperand(opId), Elt, + B0->getOperand(opId)->getName() + ".Elt"), + *B0); Value *newPHIUser = InsertNewInstWith( BinaryOperator::Create(B0->getOpcode(), scalarPHI,Op), *B0); diff --git a/test/Transforms/InstCombine/vec_phi_extract.ll b/test/Transforms/InstCombine/vec_phi_extract.ll index 2f10fc2..73ec1f1 100644 --- a/test/Transforms/InstCombine/vec_phi_extract.ll +++ b/test/Transforms/InstCombine/vec_phi_extract.ll @@ -25,3 +25,28 @@ ret: ret void } +define i1 @g(<3 x i32> %input_2) { +; CHECK: extractelement +entry: + br label %for.cond + +for.cond: +; CHECK: phi i32 + %input_2.addr.0 = phi <3 x i32> [ %input_2, %entry ], [ %div45, %for.body ] + %input_1.addr.1 = phi <3 x i32> [ undef, %entry ], [ %dec43, %for.body ] + br i1 undef, label %for.end, label %for.body + +; CHECK extractelement +for.body: + %dec43 = add <3 x i32> %input_1.addr.1, <i32 -1, i32 -1, i32 -1> + %sub44 = sub <3 x i32> zeroinitializer, %dec43 + %div45 = sdiv <3 x i32> %input_2.addr.0, %sub44 + br label %for.cond + +for.end: + %0 = extractelement <3 x i32> %input_2.addr.0, i32 0 + %.89 = select i1 false, i32 0, i32 %0 + %tobool313 = icmp eq i32 %.89, 0 + ret i1 %tobool313 +} + |