1f22ef01cSRoman Divacky //===- InstCombineVectorOps.cpp -------------------------------------------===// 2f22ef01cSRoman Divacky // 3f22ef01cSRoman Divacky // The LLVM Compiler Infrastructure 4f22ef01cSRoman Divacky // 5f22ef01cSRoman Divacky // This file is distributed under the University of Illinois Open Source 6f22ef01cSRoman Divacky // License. See LICENSE.TXT for details. 7f22ef01cSRoman Divacky // 8f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 9f22ef01cSRoman Divacky // 10f22ef01cSRoman Divacky // This file implements instcombine for ExtractElement, InsertElement and 11f22ef01cSRoman Divacky // ShuffleVector. 12f22ef01cSRoman Divacky // 13f22ef01cSRoman Divacky //===----------------------------------------------------------------------===// 14f22ef01cSRoman Divacky 15f22ef01cSRoman Divacky #include "InstCombine.h" 16139f7f9bSDimitry Andric #include "llvm/Support/PatternMatch.h" 17f22ef01cSRoman Divacky using namespace llvm; 18139f7f9bSDimitry Andric using namespace PatternMatch; 19f22ef01cSRoman Divacky 20f22ef01cSRoman Divacky /// CheapToScalarize - Return true if the value is cheaper to scalarize than it 21dff0c46cSDimitry Andric /// is to leave as a vector operation. isConstant indicates whether we're 22dff0c46cSDimitry Andric /// extracting one known element. If false we're extracting a variable index. 23f22ef01cSRoman Divacky static bool CheapToScalarize(Value *V, bool isConstant) { 24dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) { 25f22ef01cSRoman Divacky if (isConstant) return true; 26dff0c46cSDimitry Andric 27dff0c46cSDimitry Andric // If all elts are the same, we can extract it and use any of the values. 28dff0c46cSDimitry Andric Constant *Op0 = C->getAggregateElement(0U); 29dff0c46cSDimitry Andric for (unsigned i = 1, e = V->getType()->getVectorNumElements(); i != e; ++i) 30dff0c46cSDimitry Andric if (C->getAggregateElement(i) != Op0) 31f22ef01cSRoman Divacky return false; 32f22ef01cSRoman Divacky return true; 33f22ef01cSRoman Divacky } 34f22ef01cSRoman Divacky Instruction *I = dyn_cast<Instruction>(V); 35f22ef01cSRoman Divacky if (!I) return false; 36f22ef01cSRoman Divacky 37f22ef01cSRoman Divacky // Insert element gets simplified to the inserted element or is deleted if 38f22ef01cSRoman Divacky // this is constant idx extract element and its a constant idx insertelt. 39f22ef01cSRoman Divacky if (I->getOpcode() == Instruction::InsertElement && isConstant && 40f22ef01cSRoman Divacky isa<ConstantInt>(I->getOperand(2))) 41f22ef01cSRoman Divacky return true; 42f22ef01cSRoman Divacky if (I->getOpcode() == Instruction::Load && I->hasOneUse()) 43f22ef01cSRoman Divacky return true; 44f22ef01cSRoman Divacky if (BinaryOperator *BO = dyn_cast<BinaryOperator>(I)) 45f22ef01cSRoman Divacky if (BO->hasOneUse() && 46f22ef01cSRoman Divacky (CheapToScalarize(BO->getOperand(0), isConstant) || 47f22ef01cSRoman Divacky CheapToScalarize(BO->getOperand(1), isConstant))) 48f22ef01cSRoman Divacky return true; 49f22ef01cSRoman Divacky if (CmpInst *CI = dyn_cast<CmpInst>(I)) 50f22ef01cSRoman Divacky if (CI->hasOneUse() && 51f22ef01cSRoman Divacky (CheapToScalarize(CI->getOperand(0), isConstant) || 52f22ef01cSRoman Divacky CheapToScalarize(CI->getOperand(1), isConstant))) 53f22ef01cSRoman Divacky return true; 54f22ef01cSRoman Divacky 55f22ef01cSRoman Divacky return false; 56f22ef01cSRoman Divacky } 57f22ef01cSRoman Divacky 58f22ef01cSRoman Divacky /// FindScalarElement - Given a vector and an element number, see if the scalar 59f22ef01cSRoman Divacky /// value is already around as a register, for example if it were inserted then 60f22ef01cSRoman Divacky /// extracted from the vector. 61f22ef01cSRoman Divacky static Value *FindScalarElement(Value *V, unsigned EltNo) { 62f22ef01cSRoman Divacky assert(V->getType()->isVectorTy() && "Not looking at a vector?"); 63dff0c46cSDimitry Andric VectorType *VTy = cast<VectorType>(V->getType()); 64dff0c46cSDimitry Andric unsigned Width = VTy->getNumElements(); 65f22ef01cSRoman Divacky if (EltNo >= Width) // Out of range access. 66dff0c46cSDimitry Andric return UndefValue::get(VTy->getElementType()); 67f22ef01cSRoman Divacky 68dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) 69dff0c46cSDimitry Andric return C->getAggregateElement(EltNo); 70f22ef01cSRoman Divacky 71f22ef01cSRoman Divacky if (InsertElementInst *III = dyn_cast<InsertElementInst>(V)) { 72f22ef01cSRoman Divacky // If this is an insert to a variable element, we don't know what it is. 73f22ef01cSRoman Divacky if (!isa<ConstantInt>(III->getOperand(2))) 74f22ef01cSRoman Divacky return 0; 75f22ef01cSRoman Divacky unsigned IIElt = cast<ConstantInt>(III->getOperand(2))->getZExtValue(); 76f22ef01cSRoman Divacky 77f22ef01cSRoman Divacky // If this is an insert to the element we are looking for, return the 78f22ef01cSRoman Divacky // inserted value. 79f22ef01cSRoman Divacky if (EltNo == IIElt) 80f22ef01cSRoman Divacky return III->getOperand(1); 81f22ef01cSRoman Divacky 82f22ef01cSRoman Divacky // Otherwise, the insertelement doesn't modify the value, recurse on its 83f22ef01cSRoman Divacky // vector input. 84f22ef01cSRoman Divacky return FindScalarElement(III->getOperand(0), EltNo); 85f22ef01cSRoman Divacky } 86f22ef01cSRoman Divacky 87f22ef01cSRoman Divacky if (ShuffleVectorInst *SVI = dyn_cast<ShuffleVectorInst>(V)) { 88dff0c46cSDimitry Andric unsigned LHSWidth = SVI->getOperand(0)->getType()->getVectorNumElements(); 89dff0c46cSDimitry Andric int InEl = SVI->getMaskValue(EltNo); 902754fe60SDimitry Andric if (InEl < 0) 91dff0c46cSDimitry Andric return UndefValue::get(VTy->getElementType()); 922754fe60SDimitry Andric if (InEl < (int)LHSWidth) 932754fe60SDimitry Andric return FindScalarElement(SVI->getOperand(0), InEl); 942754fe60SDimitry Andric return FindScalarElement(SVI->getOperand(1), InEl - LHSWidth); 95f22ef01cSRoman Divacky } 96f22ef01cSRoman Divacky 97139f7f9bSDimitry Andric // Extract a value from a vector add operation with a constant zero. 98139f7f9bSDimitry Andric Value *Val = 0; Constant *Con = 0; 99139f7f9bSDimitry Andric if (match(V, m_Add(m_Value(Val), m_Constant(Con)))) { 100139f7f9bSDimitry Andric if (Con->getAggregateElement(EltNo)->isNullValue()) 101139f7f9bSDimitry Andric return FindScalarElement(Val, EltNo); 102139f7f9bSDimitry Andric } 103139f7f9bSDimitry Andric 104f22ef01cSRoman Divacky // Otherwise, we don't know. 105f22ef01cSRoman Divacky return 0; 106f22ef01cSRoman Divacky } 107f22ef01cSRoman Divacky 108284c1978SDimitry Andric // If we have a PHI node with a vector type that has only 2 uses: feed 109f785676fSDimitry Andric // itself and be an operand of extractelement at a constant location, 110f785676fSDimitry Andric // try to replace the PHI of the vector type with a PHI of a scalar type. 111284c1978SDimitry Andric Instruction *InstCombiner::scalarizePHI(ExtractElementInst &EI, PHINode *PN) { 112284c1978SDimitry Andric // Verify that the PHI node has exactly 2 uses. Otherwise return NULL. 113284c1978SDimitry Andric if (!PN->hasNUses(2)) 114284c1978SDimitry Andric return NULL; 115284c1978SDimitry Andric 116284c1978SDimitry Andric // If so, it's known at this point that one operand is PHI and the other is 117284c1978SDimitry Andric // an extractelement node. Find the PHI user that is not the extractelement 118284c1978SDimitry Andric // node. 119284c1978SDimitry Andric Value::use_iterator iu = PN->use_begin(); 120284c1978SDimitry Andric Instruction *PHIUser = dyn_cast<Instruction>(*iu); 121284c1978SDimitry Andric if (PHIUser == cast<Instruction>(&EI)) 122284c1978SDimitry Andric PHIUser = cast<Instruction>(*(++iu)); 123284c1978SDimitry Andric 124284c1978SDimitry Andric // Verify that this PHI user has one use, which is the PHI itself, 125284c1978SDimitry Andric // and that it is a binary operation which is cheap to scalarize. 126284c1978SDimitry Andric // otherwise return NULL. 127284c1978SDimitry Andric if (!PHIUser->hasOneUse() || !(PHIUser->use_back() == PN) || 128f785676fSDimitry Andric !(isa<BinaryOperator>(PHIUser)) || !CheapToScalarize(PHIUser, true)) 129284c1978SDimitry Andric return NULL; 130284c1978SDimitry Andric 131284c1978SDimitry Andric // Create a scalar PHI node that will replace the vector PHI node 132284c1978SDimitry Andric // just before the current PHI node. 133f785676fSDimitry Andric PHINode *scalarPHI = cast<PHINode>(InsertNewInstWith( 134f785676fSDimitry Andric PHINode::Create(EI.getType(), PN->getNumIncomingValues(), ""), *PN)); 135284c1978SDimitry Andric // Scalarize each PHI operand. 136284c1978SDimitry Andric for (unsigned i = 0; i < PN->getNumIncomingValues(); i++) { 137284c1978SDimitry Andric Value *PHIInVal = PN->getIncomingValue(i); 138284c1978SDimitry Andric BasicBlock *inBB = PN->getIncomingBlock(i); 139284c1978SDimitry Andric Value *Elt = EI.getIndexOperand(); 140284c1978SDimitry Andric // If the operand is the PHI induction variable: 141284c1978SDimitry Andric if (PHIInVal == PHIUser) { 142284c1978SDimitry Andric // Scalarize the binary operation. Its first operand is the 143284c1978SDimitry Andric // scalar PHI and the second operand is extracted from the other 144284c1978SDimitry Andric // vector operand. 145284c1978SDimitry Andric BinaryOperator *B0 = cast<BinaryOperator>(PHIUser); 146284c1978SDimitry Andric unsigned opId = (B0->getOperand(0) == PN) ? 1 : 0; 147f785676fSDimitry Andric Value *Op = InsertNewInstWith( 148f785676fSDimitry Andric ExtractElementInst::Create(B0->getOperand(opId), Elt, 149f785676fSDimitry Andric B0->getOperand(opId)->getName() + ".Elt"), 150284c1978SDimitry Andric *B0); 151f785676fSDimitry Andric Value *newPHIUser = InsertNewInstWith( 152f785676fSDimitry Andric BinaryOperator::Create(B0->getOpcode(), scalarPHI, Op), *B0); 153284c1978SDimitry Andric scalarPHI->addIncoming(newPHIUser, inBB); 154284c1978SDimitry Andric } else { 155284c1978SDimitry Andric // Scalarize PHI input: 156f785676fSDimitry Andric Instruction *newEI = ExtractElementInst::Create(PHIInVal, Elt, ""); 157284c1978SDimitry Andric // Insert the new instruction into the predecessor basic block. 158284c1978SDimitry Andric Instruction *pos = dyn_cast<Instruction>(PHIInVal); 159284c1978SDimitry Andric BasicBlock::iterator InsertPos; 160284c1978SDimitry Andric if (pos && !isa<PHINode>(pos)) { 161284c1978SDimitry Andric InsertPos = pos; 162284c1978SDimitry Andric ++InsertPos; 163284c1978SDimitry Andric } else { 164284c1978SDimitry Andric InsertPos = inBB->getFirstInsertionPt(); 165284c1978SDimitry Andric } 166284c1978SDimitry Andric 167284c1978SDimitry Andric InsertNewInstWith(newEI, *InsertPos); 168284c1978SDimitry Andric 169284c1978SDimitry Andric scalarPHI->addIncoming(newEI, inBB); 170284c1978SDimitry Andric } 171284c1978SDimitry Andric } 172284c1978SDimitry Andric return ReplaceInstUsesWith(EI, scalarPHI); 173284c1978SDimitry Andric } 174284c1978SDimitry Andric 175f22ef01cSRoman Divacky Instruction *InstCombiner::visitExtractElementInst(ExtractElementInst &EI) { 176f22ef01cSRoman Divacky // If vector val is constant with all elements the same, replace EI with 177dff0c46cSDimitry Andric // that element. We handle a known element # below. 178dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(EI.getOperand(0))) 179dff0c46cSDimitry Andric if (CheapToScalarize(C, false)) 180dff0c46cSDimitry Andric return ReplaceInstUsesWith(EI, C->getAggregateElement(0U)); 181f22ef01cSRoman Divacky 182f22ef01cSRoman Divacky // If extracting a specified index from the vector, see if we can recursively 183f22ef01cSRoman Divacky // find a previously computed scalar that was inserted into the vector. 184f22ef01cSRoman Divacky if (ConstantInt *IdxC = dyn_cast<ConstantInt>(EI.getOperand(1))) { 185f22ef01cSRoman Divacky unsigned IndexVal = IdxC->getZExtValue(); 186f22ef01cSRoman Divacky unsigned VectorWidth = EI.getVectorOperandType()->getNumElements(); 187f22ef01cSRoman Divacky 188f22ef01cSRoman Divacky // If this is extracting an invalid index, turn this into undef, to avoid 189f22ef01cSRoman Divacky // crashing the code below. 190f22ef01cSRoman Divacky if (IndexVal >= VectorWidth) 191f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, UndefValue::get(EI.getType())); 192f22ef01cSRoman Divacky 193f22ef01cSRoman Divacky // This instruction only demands the single element from the input vector. 194f22ef01cSRoman Divacky // If the input vector has a single use, simplify it based on this use 195f22ef01cSRoman Divacky // property. 196f22ef01cSRoman Divacky if (EI.getOperand(0)->hasOneUse() && VectorWidth != 1) { 197f22ef01cSRoman Divacky APInt UndefElts(VectorWidth, 0); 198f22ef01cSRoman Divacky APInt DemandedMask(VectorWidth, 0); 1992754fe60SDimitry Andric DemandedMask.setBit(IndexVal); 200f22ef01cSRoman Divacky if (Value *V = SimplifyDemandedVectorElts(EI.getOperand(0), 201f22ef01cSRoman Divacky DemandedMask, UndefElts)) { 202f22ef01cSRoman Divacky EI.setOperand(0, V); 203f22ef01cSRoman Divacky return &EI; 204f22ef01cSRoman Divacky } 205f22ef01cSRoman Divacky } 206f22ef01cSRoman Divacky 207f22ef01cSRoman Divacky if (Value *Elt = FindScalarElement(EI.getOperand(0), IndexVal)) 208f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, Elt); 209f22ef01cSRoman Divacky 210f22ef01cSRoman Divacky // If the this extractelement is directly using a bitcast from a vector of 211f22ef01cSRoman Divacky // the same number of elements, see if we can find the source element from 212f22ef01cSRoman Divacky // it. In this case, we will end up needing to bitcast the scalars. 213f22ef01cSRoman Divacky if (BitCastInst *BCI = dyn_cast<BitCastInst>(EI.getOperand(0))) { 214dff0c46cSDimitry Andric if (VectorType *VT = dyn_cast<VectorType>(BCI->getOperand(0)->getType())) 215f22ef01cSRoman Divacky if (VT->getNumElements() == VectorWidth) 216f22ef01cSRoman Divacky if (Value *Elt = FindScalarElement(BCI->getOperand(0), IndexVal)) 217f22ef01cSRoman Divacky return new BitCastInst(Elt, EI.getType()); 218f22ef01cSRoman Divacky } 219284c1978SDimitry Andric 220284c1978SDimitry Andric // If there's a vector PHI feeding a scalar use through this extractelement 221284c1978SDimitry Andric // instruction, try to scalarize the PHI. 222284c1978SDimitry Andric if (PHINode *PN = dyn_cast<PHINode>(EI.getOperand(0))) { 223284c1978SDimitry Andric Instruction *scalarPHI = scalarizePHI(EI, PN); 224284c1978SDimitry Andric if (scalarPHI) 225f785676fSDimitry Andric return scalarPHI; 226284c1978SDimitry Andric } 227f22ef01cSRoman Divacky } 228f22ef01cSRoman Divacky 229f22ef01cSRoman Divacky if (Instruction *I = dyn_cast<Instruction>(EI.getOperand(0))) { 230f22ef01cSRoman Divacky // Push extractelement into predecessor operation if legal and 231f22ef01cSRoman Divacky // profitable to do so 232f22ef01cSRoman Divacky if (BinaryOperator *BO = dyn_cast<BinaryOperator>(I)) { 233f22ef01cSRoman Divacky if (I->hasOneUse() && 234f22ef01cSRoman Divacky CheapToScalarize(BO, isa<ConstantInt>(EI.getOperand(1)))) { 235f22ef01cSRoman Divacky Value *newEI0 = 236f22ef01cSRoman Divacky Builder->CreateExtractElement(BO->getOperand(0), EI.getOperand(1), 237f22ef01cSRoman Divacky EI.getName()+".lhs"); 238f22ef01cSRoman Divacky Value *newEI1 = 239f22ef01cSRoman Divacky Builder->CreateExtractElement(BO->getOperand(1), EI.getOperand(1), 240f22ef01cSRoman Divacky EI.getName()+".rhs"); 241f22ef01cSRoman Divacky return BinaryOperator::Create(BO->getOpcode(), newEI0, newEI1); 242f22ef01cSRoman Divacky } 243f22ef01cSRoman Divacky } else if (InsertElementInst *IE = dyn_cast<InsertElementInst>(I)) { 244f22ef01cSRoman Divacky // Extracting the inserted element? 245f22ef01cSRoman Divacky if (IE->getOperand(2) == EI.getOperand(1)) 246f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, IE->getOperand(1)); 247f22ef01cSRoman Divacky // If the inserted and extracted elements are constants, they must not 248f22ef01cSRoman Divacky // be the same value, extract from the pre-inserted value instead. 249f22ef01cSRoman Divacky if (isa<Constant>(IE->getOperand(2)) && isa<Constant>(EI.getOperand(1))) { 250f22ef01cSRoman Divacky Worklist.AddValue(EI.getOperand(0)); 251f22ef01cSRoman Divacky EI.setOperand(0, IE->getOperand(0)); 252f22ef01cSRoman Divacky return &EI; 253f22ef01cSRoman Divacky } 254f22ef01cSRoman Divacky } else if (ShuffleVectorInst *SVI = dyn_cast<ShuffleVectorInst>(I)) { 255f22ef01cSRoman Divacky // If this is extracting an element from a shufflevector, figure out where 256f22ef01cSRoman Divacky // it came from and extract from the appropriate input element instead. 257f22ef01cSRoman Divacky if (ConstantInt *Elt = dyn_cast<ConstantInt>(EI.getOperand(1))) { 258dff0c46cSDimitry Andric int SrcIdx = SVI->getMaskValue(Elt->getZExtValue()); 259f22ef01cSRoman Divacky Value *Src; 260f22ef01cSRoman Divacky unsigned LHSWidth = 261dff0c46cSDimitry Andric SVI->getOperand(0)->getType()->getVectorNumElements(); 262f22ef01cSRoman Divacky 2632754fe60SDimitry Andric if (SrcIdx < 0) 2642754fe60SDimitry Andric return ReplaceInstUsesWith(EI, UndefValue::get(EI.getType())); 2652754fe60SDimitry Andric if (SrcIdx < (int)LHSWidth) 266f22ef01cSRoman Divacky Src = SVI->getOperand(0); 2672754fe60SDimitry Andric else { 268f22ef01cSRoman Divacky SrcIdx -= LHSWidth; 269f22ef01cSRoman Divacky Src = SVI->getOperand(1); 270f22ef01cSRoman Divacky } 2716122f3e6SDimitry Andric Type *Int32Ty = Type::getInt32Ty(EI.getContext()); 272f22ef01cSRoman Divacky return ExtractElementInst::Create(Src, 2732754fe60SDimitry Andric ConstantInt::get(Int32Ty, 274f22ef01cSRoman Divacky SrcIdx, false)); 275f22ef01cSRoman Divacky } 2763b0f4066SDimitry Andric } else if (CastInst *CI = dyn_cast<CastInst>(I)) { 2773b0f4066SDimitry Andric // Canonicalize extractelement(cast) -> cast(extractelement) 2783b0f4066SDimitry Andric // bitcasts can change the number of vector elements and they cost nothing 279284c1978SDimitry Andric if (CI->hasOneUse() && (CI->getOpcode() != Instruction::BitCast)) { 2803b0f4066SDimitry Andric Value *EE = Builder->CreateExtractElement(CI->getOperand(0), 2813b0f4066SDimitry Andric EI.getIndexOperand()); 282284c1978SDimitry Andric Worklist.AddValue(EE); 2833b0f4066SDimitry Andric return CastInst::Create(CI->getOpcode(), EE, EI.getType()); 284f22ef01cSRoman Divacky } 285f785676fSDimitry Andric } else if (SelectInst *SI = dyn_cast<SelectInst>(I)) { 286f785676fSDimitry Andric if (SI->hasOneUse()) { 287f785676fSDimitry Andric // TODO: For a select on vectors, it might be useful to do this if it 288f785676fSDimitry Andric // has multiple extractelement uses. For vector select, that seems to 289f785676fSDimitry Andric // fight the vectorizer. 290f785676fSDimitry Andric 291f785676fSDimitry Andric // If we are extracting an element from a vector select or a select on 292f785676fSDimitry Andric // vectors, a select on the scalars extracted from the vector arguments. 293f785676fSDimitry Andric Value *TrueVal = SI->getTrueValue(); 294f785676fSDimitry Andric Value *FalseVal = SI->getFalseValue(); 295f785676fSDimitry Andric 296f785676fSDimitry Andric Value *Cond = SI->getCondition(); 297f785676fSDimitry Andric if (Cond->getType()->isVectorTy()) { 298f785676fSDimitry Andric Cond = Builder->CreateExtractElement(Cond, 299f785676fSDimitry Andric EI.getIndexOperand(), 300f785676fSDimitry Andric Cond->getName() + ".elt"); 301f785676fSDimitry Andric } 302f785676fSDimitry Andric 303f785676fSDimitry Andric Value *V1Elem 304f785676fSDimitry Andric = Builder->CreateExtractElement(TrueVal, 305f785676fSDimitry Andric EI.getIndexOperand(), 306f785676fSDimitry Andric TrueVal->getName() + ".elt"); 307f785676fSDimitry Andric 308f785676fSDimitry Andric Value *V2Elem 309f785676fSDimitry Andric = Builder->CreateExtractElement(FalseVal, 310f785676fSDimitry Andric EI.getIndexOperand(), 311f785676fSDimitry Andric FalseVal->getName() + ".elt"); 312f785676fSDimitry Andric return SelectInst::Create(Cond, 313f785676fSDimitry Andric V1Elem, 314f785676fSDimitry Andric V2Elem, 315f785676fSDimitry Andric SI->getName() + ".elt"); 316f785676fSDimitry Andric } 3173b0f4066SDimitry Andric } 318f22ef01cSRoman Divacky } 319f22ef01cSRoman Divacky return 0; 320f22ef01cSRoman Divacky } 321f22ef01cSRoman Divacky 322f22ef01cSRoman Divacky /// CollectSingleShuffleElements - If V is a shuffle of values that ONLY returns 323f22ef01cSRoman Divacky /// elements from either LHS or RHS, return the shuffle mask and true. 324f22ef01cSRoman Divacky /// Otherwise, return false. 325f22ef01cSRoman Divacky static bool CollectSingleShuffleElements(Value *V, Value *LHS, Value *RHS, 326dff0c46cSDimitry Andric SmallVectorImpl<Constant*> &Mask) { 327f22ef01cSRoman Divacky assert(V->getType() == LHS->getType() && V->getType() == RHS->getType() && 328f22ef01cSRoman Divacky "Invalid CollectSingleShuffleElements"); 329f785676fSDimitry Andric unsigned NumElts = V->getType()->getVectorNumElements(); 330f22ef01cSRoman Divacky 331f22ef01cSRoman Divacky if (isa<UndefValue>(V)) { 332f22ef01cSRoman Divacky Mask.assign(NumElts, UndefValue::get(Type::getInt32Ty(V->getContext()))); 333f22ef01cSRoman Divacky return true; 334f22ef01cSRoman Divacky } 335f22ef01cSRoman Divacky 336f22ef01cSRoman Divacky if (V == LHS) { 337f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 338f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), i)); 339f22ef01cSRoman Divacky return true; 340f22ef01cSRoman Divacky } 341f22ef01cSRoman Divacky 342f22ef01cSRoman Divacky if (V == RHS) { 343f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 344f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), 345f22ef01cSRoman Divacky i+NumElts)); 346f22ef01cSRoman Divacky return true; 347f22ef01cSRoman Divacky } 348f22ef01cSRoman Divacky 349f22ef01cSRoman Divacky if (InsertElementInst *IEI = dyn_cast<InsertElementInst>(V)) { 350f22ef01cSRoman Divacky // If this is an insert of an extract from some other vector, include it. 351f22ef01cSRoman Divacky Value *VecOp = IEI->getOperand(0); 352f22ef01cSRoman Divacky Value *ScalarOp = IEI->getOperand(1); 353f22ef01cSRoman Divacky Value *IdxOp = IEI->getOperand(2); 354f22ef01cSRoman Divacky 355f22ef01cSRoman Divacky if (!isa<ConstantInt>(IdxOp)) 356f22ef01cSRoman Divacky return false; 357f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 358f22ef01cSRoman Divacky 359f22ef01cSRoman Divacky if (isa<UndefValue>(ScalarOp)) { // inserting undef into vector. 360f22ef01cSRoman Divacky // Okay, we can handle this if the vector we are insertinting into is 361f22ef01cSRoman Divacky // transitively ok. 362f22ef01cSRoman Divacky if (CollectSingleShuffleElements(VecOp, LHS, RHS, Mask)) { 363f22ef01cSRoman Divacky // If so, update the mask to reflect the inserted undef. 364f22ef01cSRoman Divacky Mask[InsertedIdx] = UndefValue::get(Type::getInt32Ty(V->getContext())); 365f22ef01cSRoman Divacky return true; 366f22ef01cSRoman Divacky } 367f22ef01cSRoman Divacky } else if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)){ 368f22ef01cSRoman Divacky if (isa<ConstantInt>(EI->getOperand(1)) && 369f22ef01cSRoman Divacky EI->getOperand(0)->getType() == V->getType()) { 370f22ef01cSRoman Divacky unsigned ExtractedIdx = 371f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 372f22ef01cSRoman Divacky 373f22ef01cSRoman Divacky // This must be extracting from either LHS or RHS. 374f22ef01cSRoman Divacky if (EI->getOperand(0) == LHS || EI->getOperand(0) == RHS) { 375f22ef01cSRoman Divacky // Okay, we can handle this if the vector we are insertinting into is 376f22ef01cSRoman Divacky // transitively ok. 377f22ef01cSRoman Divacky if (CollectSingleShuffleElements(VecOp, LHS, RHS, Mask)) { 378f22ef01cSRoman Divacky // If so, update the mask to reflect the inserted value. 379f22ef01cSRoman Divacky if (EI->getOperand(0) == LHS) { 380f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 381f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 382f22ef01cSRoman Divacky ExtractedIdx); 383f22ef01cSRoman Divacky } else { 384f22ef01cSRoman Divacky assert(EI->getOperand(0) == RHS); 385f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 386f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 387f22ef01cSRoman Divacky ExtractedIdx+NumElts); 388f22ef01cSRoman Divacky } 389f22ef01cSRoman Divacky return true; 390f22ef01cSRoman Divacky } 391f22ef01cSRoman Divacky } 392f22ef01cSRoman Divacky } 393f22ef01cSRoman Divacky } 394f22ef01cSRoman Divacky } 395f22ef01cSRoman Divacky // TODO: Handle shufflevector here! 396f22ef01cSRoman Divacky 397f22ef01cSRoman Divacky return false; 398f22ef01cSRoman Divacky } 399f22ef01cSRoman Divacky 400f22ef01cSRoman Divacky /// CollectShuffleElements - We are building a shuffle of V, using RHS as the 401f22ef01cSRoman Divacky /// RHS of the shuffle instruction, if it is not null. Return a shuffle mask 402f22ef01cSRoman Divacky /// that computes V and the LHS value of the shuffle. 403dff0c46cSDimitry Andric static Value *CollectShuffleElements(Value *V, SmallVectorImpl<Constant*> &Mask, 404f22ef01cSRoman Divacky Value *&RHS) { 405f22ef01cSRoman Divacky assert(V->getType()->isVectorTy() && 406f22ef01cSRoman Divacky (RHS == 0 || V->getType() == RHS->getType()) && 407f22ef01cSRoman Divacky "Invalid shuffle!"); 408f22ef01cSRoman Divacky unsigned NumElts = cast<VectorType>(V->getType())->getNumElements(); 409f22ef01cSRoman Divacky 410f22ef01cSRoman Divacky if (isa<UndefValue>(V)) { 411f22ef01cSRoman Divacky Mask.assign(NumElts, UndefValue::get(Type::getInt32Ty(V->getContext()))); 412f22ef01cSRoman Divacky return V; 413dff0c46cSDimitry Andric } 414dff0c46cSDimitry Andric 415dff0c46cSDimitry Andric if (isa<ConstantAggregateZero>(V)) { 416f22ef01cSRoman Divacky Mask.assign(NumElts, ConstantInt::get(Type::getInt32Ty(V->getContext()),0)); 417f22ef01cSRoman Divacky return V; 418dff0c46cSDimitry Andric } 419dff0c46cSDimitry Andric 420dff0c46cSDimitry Andric if (InsertElementInst *IEI = dyn_cast<InsertElementInst>(V)) { 421f22ef01cSRoman Divacky // If this is an insert of an extract from some other vector, include it. 422f22ef01cSRoman Divacky Value *VecOp = IEI->getOperand(0); 423f22ef01cSRoman Divacky Value *ScalarOp = IEI->getOperand(1); 424f22ef01cSRoman Divacky Value *IdxOp = IEI->getOperand(2); 425f22ef01cSRoman Divacky 426f22ef01cSRoman Divacky if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)) { 427f22ef01cSRoman Divacky if (isa<ConstantInt>(EI->getOperand(1)) && isa<ConstantInt>(IdxOp) && 428f22ef01cSRoman Divacky EI->getOperand(0)->getType() == V->getType()) { 429f22ef01cSRoman Divacky unsigned ExtractedIdx = 430f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 431f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 432f22ef01cSRoman Divacky 433f22ef01cSRoman Divacky // Either the extracted from or inserted into vector must be RHSVec, 434f22ef01cSRoman Divacky // otherwise we'd end up with a shuffle of three inputs. 435f22ef01cSRoman Divacky if (EI->getOperand(0) == RHS || RHS == 0) { 436f22ef01cSRoman Divacky RHS = EI->getOperand(0); 437f22ef01cSRoman Divacky Value *V = CollectShuffleElements(VecOp, Mask, RHS); 438f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 439f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 440f22ef01cSRoman Divacky NumElts+ExtractedIdx); 441f22ef01cSRoman Divacky return V; 442f22ef01cSRoman Divacky } 443f22ef01cSRoman Divacky 444f22ef01cSRoman Divacky if (VecOp == RHS) { 445f22ef01cSRoman Divacky Value *V = CollectShuffleElements(EI->getOperand(0), Mask, RHS); 446284c1978SDimitry Andric // Update Mask to reflect that `ScalarOp' has been inserted at 447284c1978SDimitry Andric // position `InsertedIdx' within the vector returned by IEI. 448284c1978SDimitry Andric Mask[InsertedIdx % NumElts] = Mask[ExtractedIdx]; 449284c1978SDimitry Andric 450f22ef01cSRoman Divacky // Everything but the extracted element is replaced with the RHS. 451f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) { 452f22ef01cSRoman Divacky if (i != InsertedIdx) 453f22ef01cSRoman Divacky Mask[i] = ConstantInt::get(Type::getInt32Ty(V->getContext()), 454f22ef01cSRoman Divacky NumElts+i); 455f22ef01cSRoman Divacky } 456f22ef01cSRoman Divacky return V; 457f22ef01cSRoman Divacky } 458f22ef01cSRoman Divacky 459f22ef01cSRoman Divacky // If this insertelement is a chain that comes from exactly these two 460f22ef01cSRoman Divacky // vectors, return the vector and the effective shuffle. 461f22ef01cSRoman Divacky if (CollectSingleShuffleElements(IEI, EI->getOperand(0), RHS, Mask)) 462f22ef01cSRoman Divacky return EI->getOperand(0); 463f22ef01cSRoman Divacky } 464f22ef01cSRoman Divacky } 465f22ef01cSRoman Divacky } 466f22ef01cSRoman Divacky // TODO: Handle shufflevector here! 467f22ef01cSRoman Divacky 468f22ef01cSRoman Divacky // Otherwise, can't do anything fancy. Return an identity vector. 469f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 470f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), i)); 471f22ef01cSRoman Divacky return V; 472f22ef01cSRoman Divacky } 473f22ef01cSRoman Divacky 474f22ef01cSRoman Divacky Instruction *InstCombiner::visitInsertElementInst(InsertElementInst &IE) { 475f22ef01cSRoman Divacky Value *VecOp = IE.getOperand(0); 476f22ef01cSRoman Divacky Value *ScalarOp = IE.getOperand(1); 477f22ef01cSRoman Divacky Value *IdxOp = IE.getOperand(2); 478f22ef01cSRoman Divacky 479f22ef01cSRoman Divacky // Inserting an undef or into an undefined place, remove this. 480f22ef01cSRoman Divacky if (isa<UndefValue>(ScalarOp) || isa<UndefValue>(IdxOp)) 481f22ef01cSRoman Divacky ReplaceInstUsesWith(IE, VecOp); 482f22ef01cSRoman Divacky 483f22ef01cSRoman Divacky // If the inserted element was extracted from some other vector, and if the 484f22ef01cSRoman Divacky // indexes are constant, try to turn this into a shufflevector operation. 485f22ef01cSRoman Divacky if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)) { 486f22ef01cSRoman Divacky if (isa<ConstantInt>(EI->getOperand(1)) && isa<ConstantInt>(IdxOp) && 487f22ef01cSRoman Divacky EI->getOperand(0)->getType() == IE.getType()) { 488f22ef01cSRoman Divacky unsigned NumVectorElts = IE.getType()->getNumElements(); 489f22ef01cSRoman Divacky unsigned ExtractedIdx = 490f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 491f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 492f22ef01cSRoman Divacky 493f22ef01cSRoman Divacky if (ExtractedIdx >= NumVectorElts) // Out of range extract. 494f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, VecOp); 495f22ef01cSRoman Divacky 496f22ef01cSRoman Divacky if (InsertedIdx >= NumVectorElts) // Out of range insert. 497f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, UndefValue::get(IE.getType())); 498f22ef01cSRoman Divacky 499f22ef01cSRoman Divacky // If we are extracting a value from a vector, then inserting it right 500f22ef01cSRoman Divacky // back into the same place, just use the input vector. 501f22ef01cSRoman Divacky if (EI->getOperand(0) == VecOp && ExtractedIdx == InsertedIdx) 502f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, VecOp); 503f22ef01cSRoman Divacky 504f22ef01cSRoman Divacky // If this insertelement isn't used by some other insertelement, turn it 505f22ef01cSRoman Divacky // (and any insertelements it points to), into one big shuffle. 506f22ef01cSRoman Divacky if (!IE.hasOneUse() || !isa<InsertElementInst>(IE.use_back())) { 507dff0c46cSDimitry Andric SmallVector<Constant*, 16> Mask; 508f22ef01cSRoman Divacky Value *RHS = 0; 509f22ef01cSRoman Divacky Value *LHS = CollectShuffleElements(&IE, Mask, RHS); 510f22ef01cSRoman Divacky if (RHS == 0) RHS = UndefValue::get(LHS->getType()); 511f22ef01cSRoman Divacky // We now have a shuffle of LHS, RHS, Mask. 5122754fe60SDimitry Andric return new ShuffleVectorInst(LHS, RHS, ConstantVector::get(Mask)); 513f22ef01cSRoman Divacky } 514f22ef01cSRoman Divacky } 515f22ef01cSRoman Divacky } 516f22ef01cSRoman Divacky 517f22ef01cSRoman Divacky unsigned VWidth = cast<VectorType>(VecOp->getType())->getNumElements(); 518f22ef01cSRoman Divacky APInt UndefElts(VWidth, 0); 519f22ef01cSRoman Divacky APInt AllOnesEltMask(APInt::getAllOnesValue(VWidth)); 5202754fe60SDimitry Andric if (Value *V = SimplifyDemandedVectorElts(&IE, AllOnesEltMask, UndefElts)) { 5212754fe60SDimitry Andric if (V != &IE) 5222754fe60SDimitry Andric return ReplaceInstUsesWith(IE, V); 523f22ef01cSRoman Divacky return &IE; 5242754fe60SDimitry Andric } 525f22ef01cSRoman Divacky 526f22ef01cSRoman Divacky return 0; 527f22ef01cSRoman Divacky } 528f22ef01cSRoman Divacky 529f785676fSDimitry Andric /// Return true if we can evaluate the specified expression tree if the vector 530f785676fSDimitry Andric /// elements were shuffled in a different order. 531f785676fSDimitry Andric static bool CanEvaluateShuffled(Value *V, ArrayRef<int> Mask, 532f785676fSDimitry Andric unsigned Depth = 5) { 533f785676fSDimitry Andric // We can always reorder the elements of a constant. 534f785676fSDimitry Andric if (isa<Constant>(V)) 535f785676fSDimitry Andric return true; 536f785676fSDimitry Andric 537f785676fSDimitry Andric // We won't reorder vector arguments. No IPO here. 538f785676fSDimitry Andric Instruction *I = dyn_cast<Instruction>(V); 539f785676fSDimitry Andric if (!I) return false; 540f785676fSDimitry Andric 541f785676fSDimitry Andric // Two users may expect different orders of the elements. Don't try it. 542f785676fSDimitry Andric if (!I->hasOneUse()) 543f785676fSDimitry Andric return false; 544f785676fSDimitry Andric 545f785676fSDimitry Andric if (Depth == 0) return false; 546f785676fSDimitry Andric 547f785676fSDimitry Andric switch (I->getOpcode()) { 548f785676fSDimitry Andric case Instruction::Add: 549f785676fSDimitry Andric case Instruction::FAdd: 550f785676fSDimitry Andric case Instruction::Sub: 551f785676fSDimitry Andric case Instruction::FSub: 552f785676fSDimitry Andric case Instruction::Mul: 553f785676fSDimitry Andric case Instruction::FMul: 554f785676fSDimitry Andric case Instruction::UDiv: 555f785676fSDimitry Andric case Instruction::SDiv: 556f785676fSDimitry Andric case Instruction::FDiv: 557f785676fSDimitry Andric case Instruction::URem: 558f785676fSDimitry Andric case Instruction::SRem: 559f785676fSDimitry Andric case Instruction::FRem: 560f785676fSDimitry Andric case Instruction::Shl: 561f785676fSDimitry Andric case Instruction::LShr: 562f785676fSDimitry Andric case Instruction::AShr: 563f785676fSDimitry Andric case Instruction::And: 564f785676fSDimitry Andric case Instruction::Or: 565f785676fSDimitry Andric case Instruction::Xor: 566f785676fSDimitry Andric case Instruction::ICmp: 567f785676fSDimitry Andric case Instruction::FCmp: 568f785676fSDimitry Andric case Instruction::Trunc: 569f785676fSDimitry Andric case Instruction::ZExt: 570f785676fSDimitry Andric case Instruction::SExt: 571f785676fSDimitry Andric case Instruction::FPToUI: 572f785676fSDimitry Andric case Instruction::FPToSI: 573f785676fSDimitry Andric case Instruction::UIToFP: 574f785676fSDimitry Andric case Instruction::SIToFP: 575f785676fSDimitry Andric case Instruction::FPTrunc: 576f785676fSDimitry Andric case Instruction::FPExt: 577f785676fSDimitry Andric case Instruction::GetElementPtr: { 578f785676fSDimitry Andric for (int i = 0, e = I->getNumOperands(); i != e; ++i) { 579f785676fSDimitry Andric if (!CanEvaluateShuffled(I->getOperand(i), Mask, Depth-1)) 580f785676fSDimitry Andric return false; 581f785676fSDimitry Andric } 582f785676fSDimitry Andric return true; 583f785676fSDimitry Andric } 584f785676fSDimitry Andric case Instruction::InsertElement: { 585f785676fSDimitry Andric ConstantInt *CI = dyn_cast<ConstantInt>(I->getOperand(2)); 586f785676fSDimitry Andric if (!CI) return false; 587f785676fSDimitry Andric int ElementNumber = CI->getLimitedValue(); 588f785676fSDimitry Andric 589f785676fSDimitry Andric // Verify that 'CI' does not occur twice in Mask. A single 'insertelement' 590f785676fSDimitry Andric // can't put an element into multiple indices. 591f785676fSDimitry Andric bool SeenOnce = false; 592f785676fSDimitry Andric for (int i = 0, e = Mask.size(); i != e; ++i) { 593f785676fSDimitry Andric if (Mask[i] == ElementNumber) { 594f785676fSDimitry Andric if (SeenOnce) 595f785676fSDimitry Andric return false; 596f785676fSDimitry Andric SeenOnce = true; 597f785676fSDimitry Andric } 598f785676fSDimitry Andric } 599f785676fSDimitry Andric return CanEvaluateShuffled(I->getOperand(0), Mask, Depth-1); 600f785676fSDimitry Andric } 601f785676fSDimitry Andric } 602f785676fSDimitry Andric return false; 603f785676fSDimitry Andric } 604f785676fSDimitry Andric 605f785676fSDimitry Andric /// Rebuild a new instruction just like 'I' but with the new operands given. 606f785676fSDimitry Andric /// In the event of type mismatch, the type of the operands is correct. 607f785676fSDimitry Andric static Value *BuildNew(Instruction *I, ArrayRef<Value*> NewOps) { 608f785676fSDimitry Andric // We don't want to use the IRBuilder here because we want the replacement 609f785676fSDimitry Andric // instructions to appear next to 'I', not the builder's insertion point. 610f785676fSDimitry Andric switch (I->getOpcode()) { 611f785676fSDimitry Andric case Instruction::Add: 612f785676fSDimitry Andric case Instruction::FAdd: 613f785676fSDimitry Andric case Instruction::Sub: 614f785676fSDimitry Andric case Instruction::FSub: 615f785676fSDimitry Andric case Instruction::Mul: 616f785676fSDimitry Andric case Instruction::FMul: 617f785676fSDimitry Andric case Instruction::UDiv: 618f785676fSDimitry Andric case Instruction::SDiv: 619f785676fSDimitry Andric case Instruction::FDiv: 620f785676fSDimitry Andric case Instruction::URem: 621f785676fSDimitry Andric case Instruction::SRem: 622f785676fSDimitry Andric case Instruction::FRem: 623f785676fSDimitry Andric case Instruction::Shl: 624f785676fSDimitry Andric case Instruction::LShr: 625f785676fSDimitry Andric case Instruction::AShr: 626f785676fSDimitry Andric case Instruction::And: 627f785676fSDimitry Andric case Instruction::Or: 628f785676fSDimitry Andric case Instruction::Xor: { 629f785676fSDimitry Andric BinaryOperator *BO = cast<BinaryOperator>(I); 630f785676fSDimitry Andric assert(NewOps.size() == 2 && "binary operator with #ops != 2"); 631f785676fSDimitry Andric BinaryOperator *New = 632f785676fSDimitry Andric BinaryOperator::Create(cast<BinaryOperator>(I)->getOpcode(), 633f785676fSDimitry Andric NewOps[0], NewOps[1], "", BO); 634f785676fSDimitry Andric if (isa<OverflowingBinaryOperator>(BO)) { 635f785676fSDimitry Andric New->setHasNoUnsignedWrap(BO->hasNoUnsignedWrap()); 636f785676fSDimitry Andric New->setHasNoSignedWrap(BO->hasNoSignedWrap()); 637f785676fSDimitry Andric } 638f785676fSDimitry Andric if (isa<PossiblyExactOperator>(BO)) { 639f785676fSDimitry Andric New->setIsExact(BO->isExact()); 640f785676fSDimitry Andric } 641f785676fSDimitry Andric return New; 642f785676fSDimitry Andric } 643f785676fSDimitry Andric case Instruction::ICmp: 644f785676fSDimitry Andric assert(NewOps.size() == 2 && "icmp with #ops != 2"); 645f785676fSDimitry Andric return new ICmpInst(I, cast<ICmpInst>(I)->getPredicate(), 646f785676fSDimitry Andric NewOps[0], NewOps[1]); 647f785676fSDimitry Andric case Instruction::FCmp: 648f785676fSDimitry Andric assert(NewOps.size() == 2 && "fcmp with #ops != 2"); 649f785676fSDimitry Andric return new FCmpInst(I, cast<FCmpInst>(I)->getPredicate(), 650f785676fSDimitry Andric NewOps[0], NewOps[1]); 651f785676fSDimitry Andric case Instruction::Trunc: 652f785676fSDimitry Andric case Instruction::ZExt: 653f785676fSDimitry Andric case Instruction::SExt: 654f785676fSDimitry Andric case Instruction::FPToUI: 655f785676fSDimitry Andric case Instruction::FPToSI: 656f785676fSDimitry Andric case Instruction::UIToFP: 657f785676fSDimitry Andric case Instruction::SIToFP: 658f785676fSDimitry Andric case Instruction::FPTrunc: 659f785676fSDimitry Andric case Instruction::FPExt: { 660f785676fSDimitry Andric // It's possible that the mask has a different number of elements from 661f785676fSDimitry Andric // the original cast. We recompute the destination type to match the mask. 662f785676fSDimitry Andric Type *DestTy = 663f785676fSDimitry Andric VectorType::get(I->getType()->getScalarType(), 664f785676fSDimitry Andric NewOps[0]->getType()->getVectorNumElements()); 665f785676fSDimitry Andric assert(NewOps.size() == 1 && "cast with #ops != 1"); 666f785676fSDimitry Andric return CastInst::Create(cast<CastInst>(I)->getOpcode(), NewOps[0], DestTy, 667f785676fSDimitry Andric "", I); 668f785676fSDimitry Andric } 669f785676fSDimitry Andric case Instruction::GetElementPtr: { 670f785676fSDimitry Andric Value *Ptr = NewOps[0]; 671f785676fSDimitry Andric ArrayRef<Value*> Idx = NewOps.slice(1); 672f785676fSDimitry Andric GetElementPtrInst *GEP = GetElementPtrInst::Create(Ptr, Idx, "", I); 673f785676fSDimitry Andric GEP->setIsInBounds(cast<GetElementPtrInst>(I)->isInBounds()); 674f785676fSDimitry Andric return GEP; 675f785676fSDimitry Andric } 676f785676fSDimitry Andric } 677f785676fSDimitry Andric llvm_unreachable("failed to rebuild vector instructions"); 678f785676fSDimitry Andric } 679f785676fSDimitry Andric 680f785676fSDimitry Andric Value * 681f785676fSDimitry Andric InstCombiner::EvaluateInDifferentElementOrder(Value *V, ArrayRef<int> Mask) { 682f785676fSDimitry Andric // Mask.size() does not need to be equal to the number of vector elements. 683f785676fSDimitry Andric 684f785676fSDimitry Andric assert(V->getType()->isVectorTy() && "can't reorder non-vector elements"); 685f785676fSDimitry Andric if (isa<UndefValue>(V)) { 686f785676fSDimitry Andric return UndefValue::get(VectorType::get(V->getType()->getScalarType(), 687f785676fSDimitry Andric Mask.size())); 688f785676fSDimitry Andric } 689f785676fSDimitry Andric if (isa<ConstantAggregateZero>(V)) { 690f785676fSDimitry Andric return ConstantAggregateZero::get( 691f785676fSDimitry Andric VectorType::get(V->getType()->getScalarType(), 692f785676fSDimitry Andric Mask.size())); 693f785676fSDimitry Andric } 694f785676fSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) { 695f785676fSDimitry Andric SmallVector<Constant *, 16> MaskValues; 696f785676fSDimitry Andric for (int i = 0, e = Mask.size(); i != e; ++i) { 697f785676fSDimitry Andric if (Mask[i] == -1) 698f785676fSDimitry Andric MaskValues.push_back(UndefValue::get(Builder->getInt32Ty())); 699f785676fSDimitry Andric else 700f785676fSDimitry Andric MaskValues.push_back(Builder->getInt32(Mask[i])); 701f785676fSDimitry Andric } 702f785676fSDimitry Andric return ConstantExpr::getShuffleVector(C, UndefValue::get(C->getType()), 703f785676fSDimitry Andric ConstantVector::get(MaskValues)); 704f785676fSDimitry Andric } 705f785676fSDimitry Andric 706f785676fSDimitry Andric Instruction *I = cast<Instruction>(V); 707f785676fSDimitry Andric switch (I->getOpcode()) { 708f785676fSDimitry Andric case Instruction::Add: 709f785676fSDimitry Andric case Instruction::FAdd: 710f785676fSDimitry Andric case Instruction::Sub: 711f785676fSDimitry Andric case Instruction::FSub: 712f785676fSDimitry Andric case Instruction::Mul: 713f785676fSDimitry Andric case Instruction::FMul: 714f785676fSDimitry Andric case Instruction::UDiv: 715f785676fSDimitry Andric case Instruction::SDiv: 716f785676fSDimitry Andric case Instruction::FDiv: 717f785676fSDimitry Andric case Instruction::URem: 718f785676fSDimitry Andric case Instruction::SRem: 719f785676fSDimitry Andric case Instruction::FRem: 720f785676fSDimitry Andric case Instruction::Shl: 721f785676fSDimitry Andric case Instruction::LShr: 722f785676fSDimitry Andric case Instruction::AShr: 723f785676fSDimitry Andric case Instruction::And: 724f785676fSDimitry Andric case Instruction::Or: 725f785676fSDimitry Andric case Instruction::Xor: 726f785676fSDimitry Andric case Instruction::ICmp: 727f785676fSDimitry Andric case Instruction::FCmp: 728f785676fSDimitry Andric case Instruction::Trunc: 729f785676fSDimitry Andric case Instruction::ZExt: 730f785676fSDimitry Andric case Instruction::SExt: 731f785676fSDimitry Andric case Instruction::FPToUI: 732f785676fSDimitry Andric case Instruction::FPToSI: 733f785676fSDimitry Andric case Instruction::UIToFP: 734f785676fSDimitry Andric case Instruction::SIToFP: 735f785676fSDimitry Andric case Instruction::FPTrunc: 736f785676fSDimitry Andric case Instruction::FPExt: 737f785676fSDimitry Andric case Instruction::Select: 738f785676fSDimitry Andric case Instruction::GetElementPtr: { 739f785676fSDimitry Andric SmallVector<Value*, 8> NewOps; 740f785676fSDimitry Andric bool NeedsRebuild = (Mask.size() != I->getType()->getVectorNumElements()); 741f785676fSDimitry Andric for (int i = 0, e = I->getNumOperands(); i != e; ++i) { 742f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(I->getOperand(i), Mask); 743f785676fSDimitry Andric NewOps.push_back(V); 744f785676fSDimitry Andric NeedsRebuild |= (V != I->getOperand(i)); 745f785676fSDimitry Andric } 746f785676fSDimitry Andric if (NeedsRebuild) { 747f785676fSDimitry Andric return BuildNew(I, NewOps); 748f785676fSDimitry Andric } 749f785676fSDimitry Andric return I; 750f785676fSDimitry Andric } 751f785676fSDimitry Andric case Instruction::InsertElement: { 752f785676fSDimitry Andric int Element = cast<ConstantInt>(I->getOperand(2))->getLimitedValue(); 753f785676fSDimitry Andric 754f785676fSDimitry Andric // The insertelement was inserting at Element. Figure out which element 755f785676fSDimitry Andric // that becomes after shuffling. The answer is guaranteed to be unique 756f785676fSDimitry Andric // by CanEvaluateShuffled. 757f785676fSDimitry Andric bool Found = false; 758f785676fSDimitry Andric int Index = 0; 759f785676fSDimitry Andric for (int e = Mask.size(); Index != e; ++Index) { 760f785676fSDimitry Andric if (Mask[Index] == Element) { 761f785676fSDimitry Andric Found = true; 762f785676fSDimitry Andric break; 763f785676fSDimitry Andric } 764f785676fSDimitry Andric } 765f785676fSDimitry Andric 766f785676fSDimitry Andric if (!Found) 767f785676fSDimitry Andric return UndefValue::get( 768f785676fSDimitry Andric VectorType::get(V->getType()->getScalarType(), Mask.size())); 769f785676fSDimitry Andric 770f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(I->getOperand(0), Mask); 771f785676fSDimitry Andric return InsertElementInst::Create(V, I->getOperand(1), 772f785676fSDimitry Andric Builder->getInt32(Index), "", I); 773f785676fSDimitry Andric } 774f785676fSDimitry Andric } 775f785676fSDimitry Andric llvm_unreachable("failed to reorder elements of vector instruction!"); 776f785676fSDimitry Andric } 777f22ef01cSRoman Divacky 778f22ef01cSRoman Divacky Instruction *InstCombiner::visitShuffleVectorInst(ShuffleVectorInst &SVI) { 779f22ef01cSRoman Divacky Value *LHS = SVI.getOperand(0); 780f22ef01cSRoman Divacky Value *RHS = SVI.getOperand(1); 781dff0c46cSDimitry Andric SmallVector<int, 16> Mask = SVI.getShuffleMask(); 782f22ef01cSRoman Divacky 783f22ef01cSRoman Divacky bool MadeChange = false; 784f22ef01cSRoman Divacky 785f22ef01cSRoman Divacky // Undefined shuffle mask -> undefined value. 786f22ef01cSRoman Divacky if (isa<UndefValue>(SVI.getOperand(2))) 787f22ef01cSRoman Divacky return ReplaceInstUsesWith(SVI, UndefValue::get(SVI.getType())); 788f22ef01cSRoman Divacky 789f22ef01cSRoman Divacky unsigned VWidth = cast<VectorType>(SVI.getType())->getNumElements(); 790f22ef01cSRoman Divacky 791f22ef01cSRoman Divacky APInt UndefElts(VWidth, 0); 792f22ef01cSRoman Divacky APInt AllOnesEltMask(APInt::getAllOnesValue(VWidth)); 7932754fe60SDimitry Andric if (Value *V = SimplifyDemandedVectorElts(&SVI, AllOnesEltMask, UndefElts)) { 7942754fe60SDimitry Andric if (V != &SVI) 7952754fe60SDimitry Andric return ReplaceInstUsesWith(SVI, V); 796f22ef01cSRoman Divacky LHS = SVI.getOperand(0); 797f22ef01cSRoman Divacky RHS = SVI.getOperand(1); 798f22ef01cSRoman Divacky MadeChange = true; 799f22ef01cSRoman Divacky } 800f22ef01cSRoman Divacky 801dff0c46cSDimitry Andric unsigned LHSWidth = cast<VectorType>(LHS->getType())->getNumElements(); 802dff0c46cSDimitry Andric 803f22ef01cSRoman Divacky // Canonicalize shuffle(x ,x,mask) -> shuffle(x, undef,mask') 804f22ef01cSRoman Divacky // Canonicalize shuffle(undef,x,mask) -> shuffle(x, undef,mask'). 805f22ef01cSRoman Divacky if (LHS == RHS || isa<UndefValue>(LHS)) { 806f22ef01cSRoman Divacky if (isa<UndefValue>(LHS) && LHS == RHS) { 807f22ef01cSRoman Divacky // shuffle(undef,undef,mask) -> undef. 808f785676fSDimitry Andric Value *Result = (VWidth == LHSWidth) 809dff0c46cSDimitry Andric ? LHS : UndefValue::get(SVI.getType()); 810f785676fSDimitry Andric return ReplaceInstUsesWith(SVI, Result); 811f22ef01cSRoman Divacky } 812f22ef01cSRoman Divacky 813f22ef01cSRoman Divacky // Remap any references to RHS to use LHS. 814dff0c46cSDimitry Andric SmallVector<Constant*, 16> Elts; 815dff0c46cSDimitry Andric for (unsigned i = 0, e = LHSWidth; i != VWidth; ++i) { 816dff0c46cSDimitry Andric if (Mask[i] < 0) { 817f22ef01cSRoman Divacky Elts.push_back(UndefValue::get(Type::getInt32Ty(SVI.getContext()))); 818dff0c46cSDimitry Andric continue; 819dff0c46cSDimitry Andric } 820dff0c46cSDimitry Andric 8212754fe60SDimitry Andric if ((Mask[i] >= (int)e && isa<UndefValue>(RHS)) || 8222754fe60SDimitry Andric (Mask[i] < (int)e && isa<UndefValue>(LHS))) { 8232754fe60SDimitry Andric Mask[i] = -1; // Turn into undef. 824f22ef01cSRoman Divacky Elts.push_back(UndefValue::get(Type::getInt32Ty(SVI.getContext()))); 825f22ef01cSRoman Divacky } else { 826f22ef01cSRoman Divacky Mask[i] = Mask[i] % e; // Force to LHS. 827f22ef01cSRoman Divacky Elts.push_back(ConstantInt::get(Type::getInt32Ty(SVI.getContext()), 828f22ef01cSRoman Divacky Mask[i])); 829f22ef01cSRoman Divacky } 830f22ef01cSRoman Divacky } 831f22ef01cSRoman Divacky SVI.setOperand(0, SVI.getOperand(1)); 832f22ef01cSRoman Divacky SVI.setOperand(1, UndefValue::get(RHS->getType())); 833f22ef01cSRoman Divacky SVI.setOperand(2, ConstantVector::get(Elts)); 834f22ef01cSRoman Divacky LHS = SVI.getOperand(0); 835f22ef01cSRoman Divacky RHS = SVI.getOperand(1); 836f22ef01cSRoman Divacky MadeChange = true; 837f22ef01cSRoman Divacky } 838f22ef01cSRoman Divacky 839dff0c46cSDimitry Andric if (VWidth == LHSWidth) { 840f22ef01cSRoman Divacky // Analyze the shuffle, are the LHS or RHS and identity shuffles? 841f22ef01cSRoman Divacky bool isLHSID = true, isRHSID = true; 842f22ef01cSRoman Divacky 843f22ef01cSRoman Divacky for (unsigned i = 0, e = Mask.size(); i != e; ++i) { 8442754fe60SDimitry Andric if (Mask[i] < 0) continue; // Ignore undef values. 845f22ef01cSRoman Divacky // Is this an identity shuffle of the LHS value? 8462754fe60SDimitry Andric isLHSID &= (Mask[i] == (int)i); 847f22ef01cSRoman Divacky 848f22ef01cSRoman Divacky // Is this an identity shuffle of the RHS value? 849f22ef01cSRoman Divacky isRHSID &= (Mask[i]-e == i); 850f22ef01cSRoman Divacky } 851f22ef01cSRoman Divacky 852f22ef01cSRoman Divacky // Eliminate identity shuffles. 853f22ef01cSRoman Divacky if (isLHSID) return ReplaceInstUsesWith(SVI, LHS); 854f22ef01cSRoman Divacky if (isRHSID) return ReplaceInstUsesWith(SVI, RHS); 855dff0c46cSDimitry Andric } 856f22ef01cSRoman Divacky 857f785676fSDimitry Andric if (isa<UndefValue>(RHS) && CanEvaluateShuffled(LHS, Mask)) { 858f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(LHS, Mask); 859f785676fSDimitry Andric return ReplaceInstUsesWith(SVI, V); 860f785676fSDimitry Andric } 861f785676fSDimitry Andric 862f22ef01cSRoman Divacky // If the LHS is a shufflevector itself, see if we can combine it with this 863dff0c46cSDimitry Andric // one without producing an unusual shuffle. 864dff0c46cSDimitry Andric // Cases that might be simplified: 865dff0c46cSDimitry Andric // 1. 866dff0c46cSDimitry Andric // x1=shuffle(v1,v2,mask1) 867dff0c46cSDimitry Andric // x=shuffle(x1,undef,mask) 868dff0c46cSDimitry Andric // ==> 869dff0c46cSDimitry Andric // x=shuffle(v1,undef,newMask) 870dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) ? mask1[mask[i]] : -1 871dff0c46cSDimitry Andric // 2. 872dff0c46cSDimitry Andric // x1=shuffle(v1,undef,mask1) 873dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 874dff0c46cSDimitry Andric // where v1.size() == mask1.size() 875dff0c46cSDimitry Andric // ==> 876dff0c46cSDimitry Andric // x=shuffle(v1,x2,newMask) 877dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) ? mask1[mask[i]] : mask[i] 878dff0c46cSDimitry Andric // 3. 879dff0c46cSDimitry Andric // x2=shuffle(v2,undef,mask2) 880dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 881dff0c46cSDimitry Andric // where v2.size() == mask2.size() 882dff0c46cSDimitry Andric // ==> 883dff0c46cSDimitry Andric // x=shuffle(x1,v2,newMask) 884dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) 885dff0c46cSDimitry Andric // ? mask[i] : mask2[mask[i]-x1.size()]+x1.size() 886dff0c46cSDimitry Andric // 4. 887dff0c46cSDimitry Andric // x1=shuffle(v1,undef,mask1) 888dff0c46cSDimitry Andric // x2=shuffle(v2,undef,mask2) 889dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 890dff0c46cSDimitry Andric // where v1.size() == v2.size() 891dff0c46cSDimitry Andric // ==> 892dff0c46cSDimitry Andric // x=shuffle(v1,v2,newMask) 893dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) 894dff0c46cSDimitry Andric // ? mask1[mask[i]] : mask2[mask[i]-x1.size()]+v1.size() 895dff0c46cSDimitry Andric // 896dff0c46cSDimitry Andric // Here we are really conservative: 897f22ef01cSRoman Divacky // we are absolutely afraid of producing a shuffle mask not in the input 898f22ef01cSRoman Divacky // program, because the code gen may not be smart enough to turn a merged 899f22ef01cSRoman Divacky // shuffle into two specific shuffles: it may produce worse code. As such, 9002754fe60SDimitry Andric // we only merge two shuffles if the result is either a splat or one of the 901dff0c46cSDimitry Andric // input shuffle masks. In this case, merging the shuffles just removes 9022754fe60SDimitry Andric // one instruction, which we know is safe. This is good for things like 903dff0c46cSDimitry Andric // turning: (splat(splat)) -> splat, or 904dff0c46cSDimitry Andric // merge(V[0..n], V[n+1..2n]) -> V[0..2n] 905dff0c46cSDimitry Andric ShuffleVectorInst* LHSShuffle = dyn_cast<ShuffleVectorInst>(LHS); 906dff0c46cSDimitry Andric ShuffleVectorInst* RHSShuffle = dyn_cast<ShuffleVectorInst>(RHS); 907dff0c46cSDimitry Andric if (LHSShuffle) 908dff0c46cSDimitry Andric if (!isa<UndefValue>(LHSShuffle->getOperand(1)) && !isa<UndefValue>(RHS)) 909dff0c46cSDimitry Andric LHSShuffle = NULL; 910dff0c46cSDimitry Andric if (RHSShuffle) 911dff0c46cSDimitry Andric if (!isa<UndefValue>(RHSShuffle->getOperand(1))) 912dff0c46cSDimitry Andric RHSShuffle = NULL; 913dff0c46cSDimitry Andric if (!LHSShuffle && !RHSShuffle) 914dff0c46cSDimitry Andric return MadeChange ? &SVI : 0; 915dff0c46cSDimitry Andric 916dff0c46cSDimitry Andric Value* LHSOp0 = NULL; 917dff0c46cSDimitry Andric Value* LHSOp1 = NULL; 918dff0c46cSDimitry Andric Value* RHSOp0 = NULL; 919dff0c46cSDimitry Andric unsigned LHSOp0Width = 0; 920dff0c46cSDimitry Andric unsigned RHSOp0Width = 0; 921dff0c46cSDimitry Andric if (LHSShuffle) { 922dff0c46cSDimitry Andric LHSOp0 = LHSShuffle->getOperand(0); 923dff0c46cSDimitry Andric LHSOp1 = LHSShuffle->getOperand(1); 924dff0c46cSDimitry Andric LHSOp0Width = cast<VectorType>(LHSOp0->getType())->getNumElements(); 925dff0c46cSDimitry Andric } 926dff0c46cSDimitry Andric if (RHSShuffle) { 927dff0c46cSDimitry Andric RHSOp0 = RHSShuffle->getOperand(0); 928dff0c46cSDimitry Andric RHSOp0Width = cast<VectorType>(RHSOp0->getType())->getNumElements(); 929dff0c46cSDimitry Andric } 930dff0c46cSDimitry Andric Value* newLHS = LHS; 931dff0c46cSDimitry Andric Value* newRHS = RHS; 932dff0c46cSDimitry Andric if (LHSShuffle) { 933dff0c46cSDimitry Andric // case 1 934f22ef01cSRoman Divacky if (isa<UndefValue>(RHS)) { 935dff0c46cSDimitry Andric newLHS = LHSOp0; 936dff0c46cSDimitry Andric newRHS = LHSOp1; 937dff0c46cSDimitry Andric } 938dff0c46cSDimitry Andric // case 2 or 4 939dff0c46cSDimitry Andric else if (LHSOp0Width == LHSWidth) { 940dff0c46cSDimitry Andric newLHS = LHSOp0; 941dff0c46cSDimitry Andric } 942dff0c46cSDimitry Andric } 943dff0c46cSDimitry Andric // case 3 or 4 944dff0c46cSDimitry Andric if (RHSShuffle && RHSOp0Width == LHSWidth) { 945dff0c46cSDimitry Andric newRHS = RHSOp0; 946dff0c46cSDimitry Andric } 947dff0c46cSDimitry Andric // case 4 948dff0c46cSDimitry Andric if (LHSOp0 == RHSOp0) { 949dff0c46cSDimitry Andric newLHS = LHSOp0; 950dff0c46cSDimitry Andric newRHS = NULL; 951dff0c46cSDimitry Andric } 952f22ef01cSRoman Divacky 953dff0c46cSDimitry Andric if (newLHS == LHS && newRHS == RHS) 954dff0c46cSDimitry Andric return MadeChange ? &SVI : 0; 955dff0c46cSDimitry Andric 956dff0c46cSDimitry Andric SmallVector<int, 16> LHSMask; 957dff0c46cSDimitry Andric SmallVector<int, 16> RHSMask; 958dff0c46cSDimitry Andric if (newLHS != LHS) 959dff0c46cSDimitry Andric LHSMask = LHSShuffle->getShuffleMask(); 960dff0c46cSDimitry Andric if (RHSShuffle && newRHS != RHS) 961dff0c46cSDimitry Andric RHSMask = RHSShuffle->getShuffleMask(); 962dff0c46cSDimitry Andric 963dff0c46cSDimitry Andric unsigned newLHSWidth = (newLHS != LHS) ? LHSOp0Width : LHSWidth; 964dff0c46cSDimitry Andric SmallVector<int, 16> newMask; 9652754fe60SDimitry Andric bool isSplat = true; 966dff0c46cSDimitry Andric int SplatElt = -1; 967dff0c46cSDimitry Andric // Create a new mask for the new ShuffleVectorInst so that the new 968dff0c46cSDimitry Andric // ShuffleVectorInst is equivalent to the original one. 969dff0c46cSDimitry Andric for (unsigned i = 0; i < VWidth; ++i) { 970dff0c46cSDimitry Andric int eltMask; 971139f7f9bSDimitry Andric if (Mask[i] < 0) { 972dff0c46cSDimitry Andric // This element is an undef value. 973dff0c46cSDimitry Andric eltMask = -1; 974dff0c46cSDimitry Andric } else if (Mask[i] < (int)LHSWidth) { 975dff0c46cSDimitry Andric // This element is from left hand side vector operand. 976dff0c46cSDimitry Andric // 977dff0c46cSDimitry Andric // If LHS is going to be replaced (case 1, 2, or 4), calculate the 978dff0c46cSDimitry Andric // new mask value for the element. 979dff0c46cSDimitry Andric if (newLHS != LHS) { 980dff0c46cSDimitry Andric eltMask = LHSMask[Mask[i]]; 981dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 982dff0c46cSDimitry Andric // with a -1 mask value. 983dff0c46cSDimitry Andric if (eltMask >= (int)LHSOp0Width && isa<UndefValue>(LHSOp1)) 984dff0c46cSDimitry Andric eltMask = -1; 985139f7f9bSDimitry Andric } else 986dff0c46cSDimitry Andric eltMask = Mask[i]; 987dff0c46cSDimitry Andric } else { 988dff0c46cSDimitry Andric // This element is from right hand side vector operand 989dff0c46cSDimitry Andric // 990dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 991dff0c46cSDimitry Andric // with a -1 mask value. (case 1) 992dff0c46cSDimitry Andric if (isa<UndefValue>(RHS)) 993dff0c46cSDimitry Andric eltMask = -1; 994dff0c46cSDimitry Andric // If RHS is going to be replaced (case 3 or 4), calculate the 995dff0c46cSDimitry Andric // new mask value for the element. 996dff0c46cSDimitry Andric else if (newRHS != RHS) { 997dff0c46cSDimitry Andric eltMask = RHSMask[Mask[i]-LHSWidth]; 998dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 999dff0c46cSDimitry Andric // with a -1 mask value. 1000dff0c46cSDimitry Andric if (eltMask >= (int)RHSOp0Width) { 1001dff0c46cSDimitry Andric assert(isa<UndefValue>(RHSShuffle->getOperand(1)) 1002dff0c46cSDimitry Andric && "should have been check above"); 1003dff0c46cSDimitry Andric eltMask = -1; 1004dff0c46cSDimitry Andric } 1005139f7f9bSDimitry Andric } else 1006dff0c46cSDimitry Andric eltMask = Mask[i]-LHSWidth; 1007dff0c46cSDimitry Andric 1008dff0c46cSDimitry Andric // If LHS's width is changed, shift the mask value accordingly. 1009dff0c46cSDimitry Andric // If newRHS == NULL, i.e. LHSOp0 == RHSOp0, we want to remap any 10103861d79fSDimitry Andric // references from RHSOp0 to LHSOp0, so we don't need to shift the mask. 10113861d79fSDimitry Andric // If newRHS == newLHS, we want to remap any references from newRHS to 10123861d79fSDimitry Andric // newLHS so that we can properly identify splats that may occur due to 10133861d79fSDimitry Andric // obfuscation accross the two vectors. 10143861d79fSDimitry Andric if (eltMask >= 0 && newRHS != NULL && newLHS != newRHS) 1015dff0c46cSDimitry Andric eltMask += newLHSWidth; 10162754fe60SDimitry Andric } 1017f22ef01cSRoman Divacky 1018dff0c46cSDimitry Andric // Check if this could still be a splat. 1019dff0c46cSDimitry Andric if (eltMask >= 0) { 1020dff0c46cSDimitry Andric if (SplatElt >= 0 && SplatElt != eltMask) 1021dff0c46cSDimitry Andric isSplat = false; 1022dff0c46cSDimitry Andric SplatElt = eltMask; 1023dff0c46cSDimitry Andric } 1024dff0c46cSDimitry Andric 1025dff0c46cSDimitry Andric newMask.push_back(eltMask); 1026dff0c46cSDimitry Andric } 1027dff0c46cSDimitry Andric 1028dff0c46cSDimitry Andric // If the result mask is equal to one of the original shuffle masks, 1029dff0c46cSDimitry Andric // or is a splat, do the replacement. 1030dff0c46cSDimitry Andric if (isSplat || newMask == LHSMask || newMask == RHSMask || newMask == Mask) { 1031dff0c46cSDimitry Andric SmallVector<Constant*, 16> Elts; 10326122f3e6SDimitry Andric Type *Int32Ty = Type::getInt32Ty(SVI.getContext()); 1033dff0c46cSDimitry Andric for (unsigned i = 0, e = newMask.size(); i != e; ++i) { 1034dff0c46cSDimitry Andric if (newMask[i] < 0) { 10352754fe60SDimitry Andric Elts.push_back(UndefValue::get(Int32Ty)); 1036f22ef01cSRoman Divacky } else { 1037dff0c46cSDimitry Andric Elts.push_back(ConstantInt::get(Int32Ty, newMask[i])); 1038f22ef01cSRoman Divacky } 1039f22ef01cSRoman Divacky } 1040dff0c46cSDimitry Andric if (newRHS == NULL) 1041dff0c46cSDimitry Andric newRHS = UndefValue::get(newLHS->getType()); 1042dff0c46cSDimitry Andric return new ShuffleVectorInst(newLHS, newRHS, ConstantVector::get(Elts)); 1043f22ef01cSRoman Divacky } 1044f22ef01cSRoman Divacky 1045f22ef01cSRoman Divacky return MadeChange ? &SVI : 0; 1046f22ef01cSRoman Divacky } 1047