the two non-mask arguments to a shufflevector must be the same width, but they do not have to be the same

width as the result value.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64335 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nate Begeman 2009-02-11 22:36:25 +00:00
parent bd5e5a8669
commit 7b25467d06

View File

@ -1538,11 +1538,12 @@ Value *InstCombiner::SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
}
}
APInt UndefElts4(LHSVWidth, 0);
TmpV = SimplifyDemandedVectorElts(I->getOperand(0), LeftDemanded,
UndefElts2, Depth+1);
UndefElts4, Depth+1);
if (TmpV) { I->setOperand(0, TmpV); MadeChange = true; }
APInt UndefElts3(VWidth, 0);
APInt UndefElts3(LHSVWidth, 0);
TmpV = SimplifyDemandedVectorElts(I->getOperand(1), RightDemanded,
UndefElts3, Depth+1);
if (TmpV) { I->setOperand(1, TmpV); MadeChange = true; }
@ -1553,7 +1554,7 @@ Value *InstCombiner::SimplifyDemandedVectorElts(Value *V, APInt DemandedElts,
if (MaskVal == -1u) {
UndefElts.set(i);
} else if (MaskVal < LHSVWidth) {
if (UndefElts2[MaskVal]) {
if (UndefElts4[MaskVal]) {
NewUndefElts = true;
UndefElts.set(i);
}