RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity

Update InstCombine to use undef matcher instead

Browse Source 
This is a patch to use m_Undef() matcher instead of isa<UndefValue>().

As suggested in D100122, this update is separately committed.
This commit is contained in:
Juneyoung Lee 2021-04-18 11:05:34 +09:00
parent e279a5783d
commit 49d8db7466
9 changed files with 32 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/InstCombine/InstCombineCasts.cpp
View File

@ -675,7 +675,7 @@ Instruction *InstCombinerImpl::narrowBinOp(TruncInst &Trunc) {
static Instruction *shrinkSplatShuffle(TruncInst &Trunc, static Instruction *shrinkSplatShuffle(TruncInst &Trunc,
InstCombiner::BuilderTy &Builder) { InstCombiner::BuilderTy &Builder) {
auto *Shuf = dyn_cast<ShuffleVectorInst>(Trunc.getOperand(0)); auto *Shuf = dyn_cast<ShuffleVectorInst>(Trunc.getOperand(0));
if (Shuf && Shuf->hasOneUse() && isa<UndefValue>(Shuf->getOperand(1)) && if (Shuf && Shuf->hasOneUse() && match(Shuf->getOperand(1), m_Undef()) &&
is_splat(Shuf->getShuffleMask()) && is_splat(Shuf->getShuffleMask()) &&
Shuf->getType() == Shuf->getOperand(0)->getType()) { Shuf->getType() == Shuf->getOperand(0)->getType()) {
// trunc (shuf X, Undef, SplatMask) --> shuf (trunc X), Undef, SplatMask // trunc (shuf X, Undef, SplatMask) --> shuf (trunc X), Undef, SplatMask
@ -708,7 +708,7 @@ static Instruction *shrinkInsertElt(CastInst &Trunc,
Value *ScalarOp = InsElt->getOperand(1); Value *ScalarOp = InsElt->getOperand(1);
Value *Index = InsElt->getOperand(2); Value *Index = InsElt->getOperand(2);
if (isa<UndefValue>(VecOp)) { if (match(VecOp, m_Undef())) {
// trunc (inselt undef, X, Index) --> inselt undef, (trunc X), Index // trunc (inselt undef, X, Index) --> inselt undef, (trunc X), Index
// fptrunc (inselt undef, X, Index) --> inselt undef, (fptrunc X), Index // fptrunc (inselt undef, X, Index) --> inselt undef, (fptrunc X), Index
UndefValue *NarrowUndef = UndefValue::get(DestTy); UndefValue *NarrowUndef = UndefValue::get(DestTy);
@ -2698,7 +2698,7 @@ Instruction *InstCombinerImpl::visitBitCast(BitCastInst &CI) {
ShufElts.getKnownMinValue() % 2 == 0 && Shuf->hasOneUse() && ShufElts.getKnownMinValue() % 2 == 0 && Shuf->hasOneUse() &&
Shuf->isReverse()) { Shuf->isReverse()) {
assert(ShufOp0->getType() == SrcTy && "Unexpected shuffle mask"); assert(ShufOp0->getType() == SrcTy && "Unexpected shuffle mask");
assert(isa<UndefValue>(ShufOp1) && "Unexpected shuffle op"); assert(match(ShufOp1, m_Undef()) && "Unexpected shuffle op");
Function *Bswap = Function *Bswap =
Intrinsic::getDeclaration(CI.getModule(), Intrinsic::bswap, DestTy); Intrinsic::getDeclaration(CI.getModule(), Intrinsic::bswap, DestTy);
Value *ScalarX = Builder.CreateBitCast(ShufOp0, DestTy); Value *ScalarX = Builder.CreateBitCast(ShufOp0, DestTy);

2
lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
View File

@ -1065,7 +1065,7 @@ static Value *likeBitCastFromVector(InstCombinerImpl &IC, Value *V) {
return nullptr; return nullptr;
V = IV->getAggregateOperand(); V = IV->getAggregateOperand();
} }
if (!isa<UndefValue>(V) ||!U) if (!match(V, m_Undef()) || !U)
return nullptr; return nullptr;
auto *UT = cast<VectorType>(U->getType()); auto *UT = cast<VectorType>(U->getType());

2
lib/Transforms/InstCombine/InstCombineSelect.cpp
View File

@ -2596,7 +2596,7 @@ Instruction *InstCombinerImpl::visitSelectInst(SelectInst &SI) {
// don't simplify it so loop unswitch can know the equality comparison // don't simplify it so loop unswitch can know the equality comparison
// may have an undef operand. This is a workaround for PR31652 caused by // may have an undef operand. This is a workaround for PR31652 caused by
// descrepancy about branch on undef between LoopUnswitch and GVN. // descrepancy about branch on undef between LoopUnswitch and GVN.
if (isa<UndefValue>(TrueVal) || isa<UndefValue>(FalseVal)) { if (match(TrueVal, m_Undef()) || match(FalseVal, m_Undef())) {
if (llvm::any_of(SI.users(), [&](User *U) { if (llvm::any_of(SI.users(), [&](User *U) {
ICmpInst *CI = dyn_cast<ICmpInst>(U); ICmpInst *CI = dyn_cast<ICmpInst>(U);
if (CI && CI->isEquality()) if (CI && CI->isEquality())

6
lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
View File

@ -1056,7 +1056,7 @@ Value *InstCombinerImpl::SimplifyDemandedVectorElts(Value *V,
APInt EltMask(APInt::getAllOnesValue(VWidth)); APInt EltMask(APInt::getAllOnesValue(VWidth));
assert((DemandedElts & ~EltMask) == 0 && "Invalid DemandedElts!"); assert((DemandedElts & ~EltMask) == 0 && "Invalid DemandedElts!");
if (isa<UndefValue>(V)) { if (match(V, m_Undef())) {
// If the entire vector is undef or poison, just return this info. // If the entire vector is undef or poison, just return this info.
UndefElts = EltMask; UndefElts = EltMask;
return nullptr; return nullptr;
@ -1157,7 +1157,7 @@ Value *InstCombinerImpl::SimplifyDemandedVectorElts(Value *V,
// merge the undef bits here since gepping with either an undef base or // merge the undef bits here since gepping with either an undef base or
// index results in undef. // index results in undef.
for (unsigned i = 0; i < I->getNumOperands(); i++) { for (unsigned i = 0; i < I->getNumOperands(); i++) {
if (isa<UndefValue>(I->getOperand(i))) { if (match(I->getOperand(i), m_Undef())) {
// If the entire vector is undefined, just return this info. // If the entire vector is undefined, just return this info.
UndefElts = EltMask; UndefElts = EltMask;
return nullptr; return nullptr;
@ -1226,7 +1226,7 @@ Value *InstCombinerImpl::SimplifyDemandedVectorElts(Value *V,
// operand. // operand.
if (all_of(Shuffle->getShuffleMask(), [](int Elt) { return Elt == 0; }) && if (all_of(Shuffle->getShuffleMask(), [](int Elt) { return Elt == 0; }) &&
DemandedElts.isAllOnesValue()) { DemandedElts.isAllOnesValue()) {
if (!isa<UndefValue>(I->getOperand(1))) { if (!match(I->getOperand(1), m_Undef())) {
I->setOperand(1, UndefValue::get(I->getOperand(1)->getType())); I->setOperand(1, UndefValue::get(I->getOperand(1)->getType()));
MadeChange = true; MadeChange = true;
} }

39
lib/Transforms/InstCombine/InstCombineVectorOps.cpp
View File

@ -474,7 +474,7 @@ static bool collectSingleShuffleElements(Value *V, Value *LHS, Value *RHS,
"Invalid CollectSingleShuffleElements"); "Invalid CollectSingleShuffleElements");
unsigned NumElts = cast<FixedVectorType>(V->getType())->getNumElements(); unsigned NumElts = cast<FixedVectorType>(V->getType())->getNumElements();
if (isa<UndefValue>(V)) { if (match(V, m_Undef())) {
Mask.assign(NumElts, -1); Mask.assign(NumElts, -1);
return true; return true;
} }
@ -630,7 +630,7 @@ static ShuffleOps collectShuffleElements(Value *V, SmallVectorImpl<int> &Mask,
assert(V->getType()->isVectorTy() && "Invalid shuffle!"); assert(V->getType()->isVectorTy() && "Invalid shuffle!");
unsigned NumElts = cast<FixedVectorType>(V->getType())->getNumElements(); unsigned NumElts = cast<FixedVectorType>(V->getType())->getNumElements();
if (isa<UndefValue>(V)) { if (match(V, m_Undef())) {
Mask.assign(NumElts, -1); Mask.assign(NumElts, -1);
return std::make_pair( return std::make_pair(
PermittedRHS ? UndefValue::get(PermittedRHS->getType()) : V, nullptr); PermittedRHS ? UndefValue::get(PermittedRHS->getType()) : V, nullptr);
@ -1102,7 +1102,7 @@ static Instruction *foldInsSequenceIntoSplat(InsertElementInst &InsElt) {
// insert into every element. // insert into every element.
// TODO: If the base vector is not undef, it might be better to create a splat // TODO: If the base vector is not undef, it might be better to create a splat
// and then a select-shuffle (blend) with the base vector. // and then a select-shuffle (blend) with the base vector.
if (!isa<UndefValue>(FirstIE->getOperand(0))) if (!match(FirstIE->getOperand(0), m_Undef()))
if (!ElementPresent.all()) if (!ElementPresent.all())
return nullptr; return nullptr;
@ -1164,7 +1164,7 @@ static Instruction *foldInsEltIntoSplat(InsertElementInst &InsElt) {
static Instruction *foldInsEltIntoIdentityShuffle(InsertElementInst &InsElt) { static Instruction *foldInsEltIntoIdentityShuffle(InsertElementInst &InsElt) {
// Check if the vector operand of this insert is an identity shuffle. // Check if the vector operand of this insert is an identity shuffle.
auto *Shuf = dyn_cast<ShuffleVectorInst>(InsElt.getOperand(0)); auto *Shuf = dyn_cast<ShuffleVectorInst>(InsElt.getOperand(0));
if (!Shuf || !isa<UndefValue>(Shuf->getOperand(1)) || if (!Shuf || !match(Shuf->getOperand(1), m_Undef()) ||
!(Shuf->isIdentityWithExtract() || Shuf->isIdentityWithPadding())) !(Shuf->isIdentityWithExtract() || Shuf->isIdentityWithPadding()))
return nullptr; return nullptr;
@ -1633,7 +1633,7 @@ static Value *evaluateInDifferentElementOrder(Value *V, ArrayRef<int> Mask) {
assert(V->getType()->isVectorTy() && "can't reorder non-vector elements"); assert(V->getType()->isVectorTy() && "can't reorder non-vector elements");
Type *EltTy = V->getType()->getScalarType(); Type *EltTy = V->getType()->getScalarType();
Type *I32Ty = IntegerType::getInt32Ty(V->getContext()); Type *I32Ty = IntegerType::getInt32Ty(V->getContext());
if (isa<UndefValue>(V)) if (match(V, m_Undef()))
return UndefValue::get(FixedVectorType::get(EltTy, Mask.size())); return UndefValue::get(FixedVectorType::get(EltTy, Mask.size()));
if (isa<ConstantAggregateZero>(V)) if (isa<ConstantAggregateZero>(V))
@ -1886,7 +1886,7 @@ static Instruction *foldSelectShuffle(ShuffleVectorInst &Shuf,
// Canonicalize to choose from operand 0 first unless operand 1 is undefined. // Canonicalize to choose from operand 0 first unless operand 1 is undefined.
// Commuting undef to operand 0 conflicts with another canonicalization. // Commuting undef to operand 0 conflicts with another canonicalization.
unsigned NumElts = cast<FixedVectorType>(Shuf.getType())->getNumElements(); unsigned NumElts = cast<FixedVectorType>(Shuf.getType())->getNumElements();
if (!isa<UndefValue>(Shuf.getOperand(1)) && if (!match(Shuf.getOperand(1), m_Undef()) &&
Shuf.getMaskValue(0) >= (int)NumElts) { Shuf.getMaskValue(0) >= (int)NumElts) {
// TODO: Can we assert that both operands of a shuffle-select are not undef // TODO: Can we assert that both operands of a shuffle-select are not undef
// (otherwise, it would have been folded by instsimplify? // (otherwise, it would have been folded by instsimplify?
@ -2083,7 +2083,7 @@ static Instruction *narrowVectorSelect(ShuffleVectorInst &Shuf,
/// Try to combine 2 shuffles into 1 shuffle by concatenating a shuffle mask. /// Try to combine 2 shuffles into 1 shuffle by concatenating a shuffle mask.
static Instruction *foldIdentityExtractShuffle(ShuffleVectorInst &Shuf) { static Instruction *foldIdentityExtractShuffle(ShuffleVectorInst &Shuf) {
Value *Op0 = Shuf.getOperand(0), *Op1 = Shuf.getOperand(1); Value *Op0 = Shuf.getOperand(0), *Op1 = Shuf.getOperand(1);
if (!Shuf.isIdentityWithExtract() || !isa<UndefValue>(Op1)) if (!Shuf.isIdentityWithExtract() || !match(Op1, m_Undef()))
return nullptr; return nullptr;
Value *X, *Y; Value *X, *Y;
@ -2231,10 +2231,10 @@ static Instruction *foldIdentityPaddedShuffles(ShuffleVectorInst &Shuf) {
!isPowerOf2_32( !isPowerOf2_32(
cast<FixedVectorType>(Shuffle0->getType())->getNumElements()) || cast<FixedVectorType>(Shuffle0->getType())->getNumElements()) ||
!isPowerOf2_32(cast<FixedVectorType>(X->getType())->getNumElements()) || !isPowerOf2_32(cast<FixedVectorType>(X->getType())->getNumElements()) ||
isa<UndefValue>(X) || isa<UndefValue>(Y)) match(X, m_Undef()) || match(Y, m_Undef()))
return nullptr; return nullptr;
assert(isa<UndefValue>(Shuffle0->getOperand(1)) && assert(match(Shuffle0->getOperand(1), m_Undef()) &&
isa<UndefValue>(Shuffle1->getOperand(1)) && match(Shuffle1->getOperand(1), m_Undef()) &&
"Unexpected operand for identity shuffle"); "Unexpected operand for identity shuffle");
// This is a shuffle of 2 widening shuffles. We can shuffle the narrow source // This is a shuffle of 2 widening shuffles. We can shuffle the narrow source
@ -2342,7 +2342,8 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
// shuffle x, x, mask --> shuffle x, undef, mask' // shuffle x, x, mask --> shuffle x, undef, mask'
if (LHS == RHS) { if (LHS == RHS) {
assert(!isa<UndefValue>(RHS) && "Shuffle with 2 undef ops not simplified?"); assert(!match(RHS, m_Undef()) &&
"Shuffle with 2 undef ops not simplified?");
// Remap any references to RHS to use LHS. // Remap any references to RHS to use LHS.
SmallVector<int, 16> Elts; SmallVector<int, 16> Elts;
for (unsigned i = 0; i != VWidth; ++i) { for (unsigned i = 0; i != VWidth; ++i) {
@ -2356,7 +2357,7 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
} }
// shuffle undef, x, mask --> shuffle x, undef, mask' // shuffle undef, x, mask --> shuffle x, undef, mask'
if (isa<UndefValue>(LHS)) { if (match(LHS, m_Undef())) {
SVI.commute(); SVI.commute();
return &SVI; return &SVI;
} }
@ -2391,7 +2392,7 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
if (Instruction *I = foldIdentityPaddedShuffles(SVI)) if (Instruction *I = foldIdentityPaddedShuffles(SVI))
return I; return I;
if (isa<UndefValue>(RHS) && canEvaluateShuffled(LHS, Mask)) { if (match(RHS, m_Undef()) && canEvaluateShuffled(LHS, Mask)) {
Value *V = evaluateInDifferentElementOrder(LHS, Mask); Value *V = evaluateInDifferentElementOrder(LHS, Mask);
return replaceInstUsesWith(SVI, V); return replaceInstUsesWith(SVI, V);
} }
@ -2530,10 +2531,10 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
ShuffleVectorInst* LHSShuffle = dyn_cast<ShuffleVectorInst>(LHS); ShuffleVectorInst* LHSShuffle = dyn_cast<ShuffleVectorInst>(LHS);
ShuffleVectorInst* RHSShuffle = dyn_cast<ShuffleVectorInst>(RHS); ShuffleVectorInst* RHSShuffle = dyn_cast<ShuffleVectorInst>(RHS);
if (LHSShuffle) if (LHSShuffle)
if (!isa<UndefValue>(LHSShuffle->getOperand(1)) && !isa<UndefValue>(RHS)) if (!match(LHSShuffle->getOperand(1), m_Undef()) && !match(RHS, m_Undef()))
LHSShuffle = nullptr; LHSShuffle = nullptr;
if (RHSShuffle) if (RHSShuffle)
if (!isa<UndefValue>(RHSShuffle->getOperand(1))) if (!match(RHSShuffle->getOperand(1), m_Undef()))
RHSShuffle = nullptr; RHSShuffle = nullptr;
if (!LHSShuffle && !RHSShuffle) if (!LHSShuffle && !RHSShuffle)
return MadeChange ? &SVI : nullptr; return MadeChange ? &SVI : nullptr;
@ -2556,7 +2557,7 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
Value* newRHS = RHS; Value* newRHS = RHS;
if (LHSShuffle) { if (LHSShuffle) {
// case 1 // case 1
if (isa<UndefValue>(RHS)) { if (match(RHS, m_Undef())) {
newLHS = LHSOp0; newLHS = LHSOp0;
newRHS = LHSOp1; newRHS = LHSOp1;
} }
@ -2614,7 +2615,7 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
// //
// If the value selected is an undef value, explicitly specify it // If the value selected is an undef value, explicitly specify it
// with a -1 mask value. (case 1) // with a -1 mask value. (case 1)
if (isa<UndefValue>(RHS)) if (match(RHS, m_Undef()))
eltMask = -1; eltMask = -1;
// If RHS is going to be replaced (case 3 or 4), calculate the // If RHS is going to be replaced (case 3 or 4), calculate the
// new mask value for the element. // new mask value for the element.
@ -2623,8 +2624,8 @@ Instruction *InstCombinerImpl::visitShuffleVectorInst(ShuffleVectorInst &SVI) {
// If the value selected is an undef value, explicitly specify it // If the value selected is an undef value, explicitly specify it
// with a -1 mask value. // with a -1 mask value.
if (eltMask >= (int)RHSOp0Width) { if (eltMask >= (int)RHSOp0Width) {
assert(isa<UndefValue>(RHSShuffle->getOperand(1)) assert(match(RHSShuffle->getOperand(1), m_Undef()) &&
&& "should have been check above"); "should have been check above");
eltMask = -1; eltMask = -1;
} }
} else } else

2
lib/Transforms/InstCombine/InstructionCombining.cpp
View File

@ -1682,7 +1682,7 @@ Instruction *InstCombinerImpl::foldVectorBinop(BinaryOperator &Inst) {
Constant *MaybeUndef = Constant *MaybeUndef =
ConstOp1 ? ConstantExpr::get(Opcode, UndefScalar, CElt) ConstOp1 ? ConstantExpr::get(Opcode, UndefScalar, CElt)
: ConstantExpr::get(Opcode, CElt, UndefScalar); : ConstantExpr::get(Opcode, CElt, UndefScalar);
if (!isa<UndefValue>(MaybeUndef)) { if (!match(MaybeUndef, m_Undef())) {
MayChange = false; MayChange = false;
break; break;
} }

3
test/Transforms/InstCombine/vec_shuffle-inseltpoison.ll
View File

@ -85,8 +85,7 @@ define <4 x float> @test7(<4 x float> %x) {
; This should turn into a single shuffle. ; This should turn into a single shuffle.
define <4 x float> @test8(<4 x float> %x, <4 x float> %y) { define <4 x float> @test8(<4 x float> %x, <4 x float> %y) {
; CHECK-LABEL: @test8( ; CHECK-LABEL: @test8(
; CHECK-NEXT: [[T132:%.*]] = shufflevector <4 x float> [[X:%.*]], <4 x float> poison, <4 x i32> <i32 1, i32 undef, i32 3, i32 undef> ; CHECK-NEXT: [[T134:%.*]] = shufflevector <4 x float> [[X:%.*]], <4 x float> [[Y:%.*]], <4 x i32> <i32 1, i32 undef, i32 3, i32 4>
; CHECK-NEXT: [[T134:%.*]] = shufflevector <4 x float> [[T132]], <4 x float> [[Y:%.*]], <4 x i32> <i32 0, i32 undef, i32 2, i32 4>
; CHECK-NEXT: ret <4 x float> [[T134]] ; CHECK-NEXT: ret <4 x float> [[T134]]
; ;
%t4 = extractelement <4 x float> %x, i32 1 %t4 = extractelement <4 x float> %x, i32 1

2
test/Transforms/PhaseOrdering/X86/scalarization.ll
View File

@ -27,7 +27,7 @@ define <4 x i32> @square(<4 x i32> %num, i32 %y, i32 %x, i32 %h, i32 %k, i32 %w,
; CHECK-NEXT: [[DOTSCALAR6:%.*]] = add i32 [[DOTSCALAR5]], [[DIV9]] ; CHECK-NEXT: [[DOTSCALAR6:%.*]] = add i32 [[DOTSCALAR5]], [[DIV9]]
; CHECK-NEXT: [[DOTSCALAR7:%.*]] = add i32 [[DOTSCALAR6]], [[MUL21]] ; CHECK-NEXT: [[DOTSCALAR7:%.*]] = add i32 [[DOTSCALAR6]], [[MUL21]]
; CHECK-NEXT: [[DOTSCALAR8:%.*]] = add i32 [[DOTSCALAR7]], 317425 ; CHECK-NEXT: [[DOTSCALAR8:%.*]] = add i32 [[DOTSCALAR7]], 317425
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> poison, i32 [[DOTSCALAR8]], i64 0 ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> <i32 undef, i32 poison, i32 poison, i32 poison>, i32 [[DOTSCALAR8]], i64 0
; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x i32> [[TMP1]], <4 x i32> poison, <4 x i32> zeroinitializer ; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x i32> [[TMP1]], <4 x i32> poison, <4 x i32> zeroinitializer
; CHECK-NEXT: [[ADD29:%.*]] = add <4 x i32> [[TMP2]], [[NUM:%.*]] ; CHECK-NEXT: [[ADD29:%.*]] = add <4 x i32> [[TMP2]], [[NUM:%.*]]
; CHECK-NEXT: ret <4 x i32> [[ADD29]] ; CHECK-NEXT: ret <4 x i32> [[ADD29]]

2
test/Transforms/SLPVectorizer/X86/alternate-int.ll
View File

@ -425,7 +425,7 @@ define <8 x i32> @sdiv_v8i32_undefs(<8 x i32> %a) {
; CHECK-NEXT: [[AB5:%.*]] = sdiv i32 [[A5]], 4 ; CHECK-NEXT: [[AB5:%.*]] = sdiv i32 [[A5]], 4
; CHECK-NEXT: [[AB6:%.*]] = sdiv i32 [[A6]], 8 ; CHECK-NEXT: [[AB6:%.*]] = sdiv i32 [[A6]], 8
; CHECK-NEXT: [[AB7:%.*]] = sdiv i32 [[A7]], 16 ; CHECK-NEXT: [[AB7:%.*]] = sdiv i32 [[A7]], 16
; CHECK-NEXT: [[R1:%.*]] = insertelement <8 x i32> <i32 poison, i32 poison, i32 poison, i32 poison, i32 undef, i32 poison, i32 poison, i32 poison>, i32 [[AB1]], i32 1 ; CHECK-NEXT: [[R1:%.*]] = insertelement <8 x i32> <i32 poison, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef, i32 undef>, i32 [[AB1]], i32 1
; CHECK-NEXT: [[R2:%.*]] = insertelement <8 x i32> [[R1]], i32 [[AB2]], i32 2 ; CHECK-NEXT: [[R2:%.*]] = insertelement <8 x i32> [[R1]], i32 [[AB2]], i32 2
; CHECK-NEXT: [[R3:%.*]] = insertelement <8 x i32> [[R2]], i32 [[AB3]], i32 3 ; CHECK-NEXT: [[R3:%.*]] = insertelement <8 x i32> [[R2]], i32 [[AB3]], i32 3
; CHECK-NEXT: [[R5:%.*]] = insertelement <8 x i32> [[R3]], i32 [[AB5]], i32 5 ; CHECK-NEXT: [[R5:%.*]] = insertelement <8 x i32> [[R3]], i32 [[AB5]], i32 5