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