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" 1691bc56edSDimitry Andric #include "llvm/IR/PatternMatch.h" 17f22ef01cSRoman Divacky using namespace llvm; 18139f7f9bSDimitry Andric using namespace PatternMatch; 19f22ef01cSRoman Divacky 2091bc56edSDimitry Andric #define DEBUG_TYPE "instcombine" 2191bc56edSDimitry Andric 22f22ef01cSRoman Divacky /// CheapToScalarize - Return true if the value is cheaper to scalarize than it 23dff0c46cSDimitry Andric /// is to leave as a vector operation. isConstant indicates whether we're 24dff0c46cSDimitry Andric /// extracting one known element. If false we're extracting a variable index. 25f22ef01cSRoman Divacky static bool CheapToScalarize(Value *V, bool isConstant) { 26dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) { 27f22ef01cSRoman Divacky if (isConstant) return true; 28dff0c46cSDimitry Andric 29dff0c46cSDimitry Andric // If all elts are the same, we can extract it and use any of the values. 3085d60e68SDimitry Andric if (Constant *Op0 = C->getAggregateElement(0U)) { 3185d60e68SDimitry Andric for (unsigned i = 1, e = V->getType()->getVectorNumElements(); i != e; 3285d60e68SDimitry Andric ++i) 33dff0c46cSDimitry Andric if (C->getAggregateElement(i) != Op0) 34f22ef01cSRoman Divacky return false; 35f22ef01cSRoman Divacky return true; 36f22ef01cSRoman Divacky } 3785d60e68SDimitry Andric } 38f22ef01cSRoman Divacky Instruction *I = dyn_cast<Instruction>(V); 39f22ef01cSRoman Divacky if (!I) return false; 40f22ef01cSRoman Divacky 41f22ef01cSRoman Divacky // Insert element gets simplified to the inserted element or is deleted if 42f22ef01cSRoman Divacky // this is constant idx extract element and its a constant idx insertelt. 43f22ef01cSRoman Divacky if (I->getOpcode() == Instruction::InsertElement && isConstant && 44f22ef01cSRoman Divacky isa<ConstantInt>(I->getOperand(2))) 45f22ef01cSRoman Divacky return true; 46f22ef01cSRoman Divacky if (I->getOpcode() == Instruction::Load && I->hasOneUse()) 47f22ef01cSRoman Divacky return true; 48f22ef01cSRoman Divacky if (BinaryOperator *BO = dyn_cast<BinaryOperator>(I)) 49f22ef01cSRoman Divacky if (BO->hasOneUse() && 50f22ef01cSRoman Divacky (CheapToScalarize(BO->getOperand(0), isConstant) || 51f22ef01cSRoman Divacky CheapToScalarize(BO->getOperand(1), isConstant))) 52f22ef01cSRoman Divacky return true; 53f22ef01cSRoman Divacky if (CmpInst *CI = dyn_cast<CmpInst>(I)) 54f22ef01cSRoman Divacky if (CI->hasOneUse() && 55f22ef01cSRoman Divacky (CheapToScalarize(CI->getOperand(0), isConstant) || 56f22ef01cSRoman Divacky CheapToScalarize(CI->getOperand(1), isConstant))) 57f22ef01cSRoman Divacky return true; 58f22ef01cSRoman Divacky 59f22ef01cSRoman Divacky return false; 60f22ef01cSRoman Divacky } 61f22ef01cSRoman Divacky 62f22ef01cSRoman Divacky /// FindScalarElement - Given a vector and an element number, see if the scalar 63f22ef01cSRoman Divacky /// value is already around as a register, for example if it were inserted then 64f22ef01cSRoman Divacky /// extracted from the vector. 65f22ef01cSRoman Divacky static Value *FindScalarElement(Value *V, unsigned EltNo) { 66f22ef01cSRoman Divacky assert(V->getType()->isVectorTy() && "Not looking at a vector?"); 67dff0c46cSDimitry Andric VectorType *VTy = cast<VectorType>(V->getType()); 68dff0c46cSDimitry Andric unsigned Width = VTy->getNumElements(); 69f22ef01cSRoman Divacky if (EltNo >= Width) // Out of range access. 70dff0c46cSDimitry Andric return UndefValue::get(VTy->getElementType()); 71f22ef01cSRoman Divacky 72dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) 73dff0c46cSDimitry Andric return C->getAggregateElement(EltNo); 74f22ef01cSRoman Divacky 75f22ef01cSRoman Divacky if (InsertElementInst *III = dyn_cast<InsertElementInst>(V)) { 76f22ef01cSRoman Divacky // If this is an insert to a variable element, we don't know what it is. 77f22ef01cSRoman Divacky if (!isa<ConstantInt>(III->getOperand(2))) 7891bc56edSDimitry Andric return nullptr; 79f22ef01cSRoman Divacky unsigned IIElt = cast<ConstantInt>(III->getOperand(2))->getZExtValue(); 80f22ef01cSRoman Divacky 81f22ef01cSRoman Divacky // If this is an insert to the element we are looking for, return the 82f22ef01cSRoman Divacky // inserted value. 83f22ef01cSRoman Divacky if (EltNo == IIElt) 84f22ef01cSRoman Divacky return III->getOperand(1); 85f22ef01cSRoman Divacky 86f22ef01cSRoman Divacky // Otherwise, the insertelement doesn't modify the value, recurse on its 87f22ef01cSRoman Divacky // vector input. 88f22ef01cSRoman Divacky return FindScalarElement(III->getOperand(0), EltNo); 89f22ef01cSRoman Divacky } 90f22ef01cSRoman Divacky 91f22ef01cSRoman Divacky if (ShuffleVectorInst *SVI = dyn_cast<ShuffleVectorInst>(V)) { 92dff0c46cSDimitry Andric unsigned LHSWidth = SVI->getOperand(0)->getType()->getVectorNumElements(); 93dff0c46cSDimitry Andric int InEl = SVI->getMaskValue(EltNo); 942754fe60SDimitry Andric if (InEl < 0) 95dff0c46cSDimitry Andric return UndefValue::get(VTy->getElementType()); 962754fe60SDimitry Andric if (InEl < (int)LHSWidth) 972754fe60SDimitry Andric return FindScalarElement(SVI->getOperand(0), InEl); 982754fe60SDimitry Andric return FindScalarElement(SVI->getOperand(1), InEl - LHSWidth); 99f22ef01cSRoman Divacky } 100f22ef01cSRoman Divacky 101139f7f9bSDimitry Andric // Extract a value from a vector add operation with a constant zero. 10291bc56edSDimitry Andric Value *Val = nullptr; Constant *Con = nullptr; 103139f7f9bSDimitry Andric if (match(V, m_Add(m_Value(Val), m_Constant(Con)))) { 104139f7f9bSDimitry Andric if (Con->getAggregateElement(EltNo)->isNullValue()) 105139f7f9bSDimitry Andric return FindScalarElement(Val, EltNo); 106139f7f9bSDimitry Andric } 107139f7f9bSDimitry Andric 108f22ef01cSRoman Divacky // Otherwise, we don't know. 10991bc56edSDimitry Andric return nullptr; 110f22ef01cSRoman Divacky } 111f22ef01cSRoman Divacky 112284c1978SDimitry Andric // If we have a PHI node with a vector type that has only 2 uses: feed 113f785676fSDimitry Andric // itself and be an operand of extractelement at a constant location, 114f785676fSDimitry Andric // try to replace the PHI of the vector type with a PHI of a scalar type. 115284c1978SDimitry Andric Instruction *InstCombiner::scalarizePHI(ExtractElementInst &EI, PHINode *PN) { 116284c1978SDimitry Andric // Verify that the PHI node has exactly 2 uses. Otherwise return NULL. 117284c1978SDimitry Andric if (!PN->hasNUses(2)) 11891bc56edSDimitry Andric return nullptr; 119284c1978SDimitry Andric 120284c1978SDimitry Andric // If so, it's known at this point that one operand is PHI and the other is 121284c1978SDimitry Andric // an extractelement node. Find the PHI user that is not the extractelement 122284c1978SDimitry Andric // node. 12391bc56edSDimitry Andric auto iu = PN->user_begin(); 124284c1978SDimitry Andric Instruction *PHIUser = dyn_cast<Instruction>(*iu); 125284c1978SDimitry Andric if (PHIUser == cast<Instruction>(&EI)) 126284c1978SDimitry Andric PHIUser = cast<Instruction>(*(++iu)); 127284c1978SDimitry Andric 128284c1978SDimitry Andric // Verify that this PHI user has one use, which is the PHI itself, 129284c1978SDimitry Andric // and that it is a binary operation which is cheap to scalarize. 130284c1978SDimitry Andric // otherwise return NULL. 13191bc56edSDimitry Andric if (!PHIUser->hasOneUse() || !(PHIUser->user_back() == PN) || 132f785676fSDimitry Andric !(isa<BinaryOperator>(PHIUser)) || !CheapToScalarize(PHIUser, true)) 13391bc56edSDimitry Andric return nullptr; 134284c1978SDimitry Andric 135284c1978SDimitry Andric // Create a scalar PHI node that will replace the vector PHI node 136284c1978SDimitry Andric // just before the current PHI node. 137f785676fSDimitry Andric PHINode *scalarPHI = cast<PHINode>(InsertNewInstWith( 138f785676fSDimitry Andric PHINode::Create(EI.getType(), PN->getNumIncomingValues(), ""), *PN)); 139284c1978SDimitry Andric // Scalarize each PHI operand. 140284c1978SDimitry Andric for (unsigned i = 0; i < PN->getNumIncomingValues(); i++) { 141284c1978SDimitry Andric Value *PHIInVal = PN->getIncomingValue(i); 142284c1978SDimitry Andric BasicBlock *inBB = PN->getIncomingBlock(i); 143284c1978SDimitry Andric Value *Elt = EI.getIndexOperand(); 144284c1978SDimitry Andric // If the operand is the PHI induction variable: 145284c1978SDimitry Andric if (PHIInVal == PHIUser) { 146284c1978SDimitry Andric // Scalarize the binary operation. Its first operand is the 14791bc56edSDimitry Andric // scalar PHI, and the second operand is extracted from the other 148284c1978SDimitry Andric // vector operand. 149284c1978SDimitry Andric BinaryOperator *B0 = cast<BinaryOperator>(PHIUser); 150284c1978SDimitry Andric unsigned opId = (B0->getOperand(0) == PN) ? 1 : 0; 151f785676fSDimitry Andric Value *Op = InsertNewInstWith( 152f785676fSDimitry Andric ExtractElementInst::Create(B0->getOperand(opId), Elt, 153f785676fSDimitry Andric B0->getOperand(opId)->getName() + ".Elt"), 154284c1978SDimitry Andric *B0); 155f785676fSDimitry Andric Value *newPHIUser = InsertNewInstWith( 156f785676fSDimitry Andric BinaryOperator::Create(B0->getOpcode(), scalarPHI, Op), *B0); 157284c1978SDimitry Andric scalarPHI->addIncoming(newPHIUser, inBB); 158284c1978SDimitry Andric } else { 159284c1978SDimitry Andric // Scalarize PHI input: 160f785676fSDimitry Andric Instruction *newEI = ExtractElementInst::Create(PHIInVal, Elt, ""); 161284c1978SDimitry Andric // Insert the new instruction into the predecessor basic block. 162284c1978SDimitry Andric Instruction *pos = dyn_cast<Instruction>(PHIInVal); 163284c1978SDimitry Andric BasicBlock::iterator InsertPos; 164284c1978SDimitry Andric if (pos && !isa<PHINode>(pos)) { 165284c1978SDimitry Andric InsertPos = pos; 166284c1978SDimitry Andric ++InsertPos; 167284c1978SDimitry Andric } else { 168284c1978SDimitry Andric InsertPos = inBB->getFirstInsertionPt(); 169284c1978SDimitry Andric } 170284c1978SDimitry Andric 171284c1978SDimitry Andric InsertNewInstWith(newEI, *InsertPos); 172284c1978SDimitry Andric 173284c1978SDimitry Andric scalarPHI->addIncoming(newEI, inBB); 174284c1978SDimitry Andric } 175284c1978SDimitry Andric } 176284c1978SDimitry Andric return ReplaceInstUsesWith(EI, scalarPHI); 177284c1978SDimitry Andric } 178284c1978SDimitry Andric 179f22ef01cSRoman Divacky Instruction *InstCombiner::visitExtractElementInst(ExtractElementInst &EI) { 180f22ef01cSRoman Divacky // If vector val is constant with all elements the same, replace EI with 181dff0c46cSDimitry Andric // that element. We handle a known element # below. 182dff0c46cSDimitry Andric if (Constant *C = dyn_cast<Constant>(EI.getOperand(0))) 183dff0c46cSDimitry Andric if (CheapToScalarize(C, false)) 184dff0c46cSDimitry Andric return ReplaceInstUsesWith(EI, C->getAggregateElement(0U)); 185f22ef01cSRoman Divacky 186f22ef01cSRoman Divacky // If extracting a specified index from the vector, see if we can recursively 187f22ef01cSRoman Divacky // find a previously computed scalar that was inserted into the vector. 188f22ef01cSRoman Divacky if (ConstantInt *IdxC = dyn_cast<ConstantInt>(EI.getOperand(1))) { 189f22ef01cSRoman Divacky unsigned IndexVal = IdxC->getZExtValue(); 190f22ef01cSRoman Divacky unsigned VectorWidth = EI.getVectorOperandType()->getNumElements(); 191f22ef01cSRoman Divacky 192f22ef01cSRoman Divacky // If this is extracting an invalid index, turn this into undef, to avoid 193f22ef01cSRoman Divacky // crashing the code below. 194f22ef01cSRoman Divacky if (IndexVal >= VectorWidth) 195f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, UndefValue::get(EI.getType())); 196f22ef01cSRoman Divacky 197f22ef01cSRoman Divacky // This instruction only demands the single element from the input vector. 198f22ef01cSRoman Divacky // If the input vector has a single use, simplify it based on this use 199f22ef01cSRoman Divacky // property. 200f22ef01cSRoman Divacky if (EI.getOperand(0)->hasOneUse() && VectorWidth != 1) { 201f22ef01cSRoman Divacky APInt UndefElts(VectorWidth, 0); 202f22ef01cSRoman Divacky APInt DemandedMask(VectorWidth, 0); 2032754fe60SDimitry Andric DemandedMask.setBit(IndexVal); 204f22ef01cSRoman Divacky if (Value *V = SimplifyDemandedVectorElts(EI.getOperand(0), 205f22ef01cSRoman Divacky DemandedMask, UndefElts)) { 206f22ef01cSRoman Divacky EI.setOperand(0, V); 207f22ef01cSRoman Divacky return &EI; 208f22ef01cSRoman Divacky } 209f22ef01cSRoman Divacky } 210f22ef01cSRoman Divacky 211f22ef01cSRoman Divacky if (Value *Elt = FindScalarElement(EI.getOperand(0), IndexVal)) 212f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, Elt); 213f22ef01cSRoman Divacky 214f22ef01cSRoman Divacky // If the this extractelement is directly using a bitcast from a vector of 215f22ef01cSRoman Divacky // the same number of elements, see if we can find the source element from 216f22ef01cSRoman Divacky // it. In this case, we will end up needing to bitcast the scalars. 217f22ef01cSRoman Divacky if (BitCastInst *BCI = dyn_cast<BitCastInst>(EI.getOperand(0))) { 218dff0c46cSDimitry Andric if (VectorType *VT = dyn_cast<VectorType>(BCI->getOperand(0)->getType())) 219f22ef01cSRoman Divacky if (VT->getNumElements() == VectorWidth) 220f22ef01cSRoman Divacky if (Value *Elt = FindScalarElement(BCI->getOperand(0), IndexVal)) 221f22ef01cSRoman Divacky return new BitCastInst(Elt, EI.getType()); 222f22ef01cSRoman Divacky } 223284c1978SDimitry Andric 224284c1978SDimitry Andric // If there's a vector PHI feeding a scalar use through this extractelement 225284c1978SDimitry Andric // instruction, try to scalarize the PHI. 226284c1978SDimitry Andric if (PHINode *PN = dyn_cast<PHINode>(EI.getOperand(0))) { 227284c1978SDimitry Andric Instruction *scalarPHI = scalarizePHI(EI, PN); 228284c1978SDimitry Andric if (scalarPHI) 229f785676fSDimitry Andric return scalarPHI; 230284c1978SDimitry Andric } 231f22ef01cSRoman Divacky } 232f22ef01cSRoman Divacky 233f22ef01cSRoman Divacky if (Instruction *I = dyn_cast<Instruction>(EI.getOperand(0))) { 234f22ef01cSRoman Divacky // Push extractelement into predecessor operation if legal and 235f22ef01cSRoman Divacky // profitable to do so 236f22ef01cSRoman Divacky if (BinaryOperator *BO = dyn_cast<BinaryOperator>(I)) { 237f22ef01cSRoman Divacky if (I->hasOneUse() && 238f22ef01cSRoman Divacky CheapToScalarize(BO, isa<ConstantInt>(EI.getOperand(1)))) { 239f22ef01cSRoman Divacky Value *newEI0 = 240f22ef01cSRoman Divacky Builder->CreateExtractElement(BO->getOperand(0), EI.getOperand(1), 241f22ef01cSRoman Divacky EI.getName()+".lhs"); 242f22ef01cSRoman Divacky Value *newEI1 = 243f22ef01cSRoman Divacky Builder->CreateExtractElement(BO->getOperand(1), EI.getOperand(1), 244f22ef01cSRoman Divacky EI.getName()+".rhs"); 245f22ef01cSRoman Divacky return BinaryOperator::Create(BO->getOpcode(), newEI0, newEI1); 246f22ef01cSRoman Divacky } 247f22ef01cSRoman Divacky } else if (InsertElementInst *IE = dyn_cast<InsertElementInst>(I)) { 248f22ef01cSRoman Divacky // Extracting the inserted element? 249f22ef01cSRoman Divacky if (IE->getOperand(2) == EI.getOperand(1)) 250f22ef01cSRoman Divacky return ReplaceInstUsesWith(EI, IE->getOperand(1)); 251f22ef01cSRoman Divacky // If the inserted and extracted elements are constants, they must not 252f22ef01cSRoman Divacky // be the same value, extract from the pre-inserted value instead. 253f22ef01cSRoman Divacky if (isa<Constant>(IE->getOperand(2)) && isa<Constant>(EI.getOperand(1))) { 254f22ef01cSRoman Divacky Worklist.AddValue(EI.getOperand(0)); 255f22ef01cSRoman Divacky EI.setOperand(0, IE->getOperand(0)); 256f22ef01cSRoman Divacky return &EI; 257f22ef01cSRoman Divacky } 258f22ef01cSRoman Divacky } else if (ShuffleVectorInst *SVI = dyn_cast<ShuffleVectorInst>(I)) { 259f22ef01cSRoman Divacky // If this is extracting an element from a shufflevector, figure out where 260f22ef01cSRoman Divacky // it came from and extract from the appropriate input element instead. 261f22ef01cSRoman Divacky if (ConstantInt *Elt = dyn_cast<ConstantInt>(EI.getOperand(1))) { 262dff0c46cSDimitry Andric int SrcIdx = SVI->getMaskValue(Elt->getZExtValue()); 263f22ef01cSRoman Divacky Value *Src; 264f22ef01cSRoman Divacky unsigned LHSWidth = 265dff0c46cSDimitry Andric SVI->getOperand(0)->getType()->getVectorNumElements(); 266f22ef01cSRoman Divacky 2672754fe60SDimitry Andric if (SrcIdx < 0) 2682754fe60SDimitry Andric return ReplaceInstUsesWith(EI, UndefValue::get(EI.getType())); 2692754fe60SDimitry Andric if (SrcIdx < (int)LHSWidth) 270f22ef01cSRoman Divacky Src = SVI->getOperand(0); 2712754fe60SDimitry Andric else { 272f22ef01cSRoman Divacky SrcIdx -= LHSWidth; 273f22ef01cSRoman Divacky Src = SVI->getOperand(1); 274f22ef01cSRoman Divacky } 2756122f3e6SDimitry Andric Type *Int32Ty = Type::getInt32Ty(EI.getContext()); 276f22ef01cSRoman Divacky return ExtractElementInst::Create(Src, 2772754fe60SDimitry Andric ConstantInt::get(Int32Ty, 278f22ef01cSRoman Divacky SrcIdx, false)); 279f22ef01cSRoman Divacky } 2803b0f4066SDimitry Andric } else if (CastInst *CI = dyn_cast<CastInst>(I)) { 2813b0f4066SDimitry Andric // Canonicalize extractelement(cast) -> cast(extractelement) 2823b0f4066SDimitry Andric // bitcasts can change the number of vector elements and they cost nothing 283284c1978SDimitry Andric if (CI->hasOneUse() && (CI->getOpcode() != Instruction::BitCast)) { 2843b0f4066SDimitry Andric Value *EE = Builder->CreateExtractElement(CI->getOperand(0), 2853b0f4066SDimitry Andric EI.getIndexOperand()); 286284c1978SDimitry Andric Worklist.AddValue(EE); 2873b0f4066SDimitry Andric return CastInst::Create(CI->getOpcode(), EE, EI.getType()); 288f22ef01cSRoman Divacky } 289f785676fSDimitry Andric } else if (SelectInst *SI = dyn_cast<SelectInst>(I)) { 290f785676fSDimitry Andric if (SI->hasOneUse()) { 291f785676fSDimitry Andric // TODO: For a select on vectors, it might be useful to do this if it 292f785676fSDimitry Andric // has multiple extractelement uses. For vector select, that seems to 293f785676fSDimitry Andric // fight the vectorizer. 294f785676fSDimitry Andric 295f785676fSDimitry Andric // If we are extracting an element from a vector select or a select on 296f785676fSDimitry Andric // vectors, a select on the scalars extracted from the vector arguments. 297f785676fSDimitry Andric Value *TrueVal = SI->getTrueValue(); 298f785676fSDimitry Andric Value *FalseVal = SI->getFalseValue(); 299f785676fSDimitry Andric 300f785676fSDimitry Andric Value *Cond = SI->getCondition(); 301f785676fSDimitry Andric if (Cond->getType()->isVectorTy()) { 302f785676fSDimitry Andric Cond = Builder->CreateExtractElement(Cond, 303f785676fSDimitry Andric EI.getIndexOperand(), 304f785676fSDimitry Andric Cond->getName() + ".elt"); 305f785676fSDimitry Andric } 306f785676fSDimitry Andric 307f785676fSDimitry Andric Value *V1Elem 308f785676fSDimitry Andric = Builder->CreateExtractElement(TrueVal, 309f785676fSDimitry Andric EI.getIndexOperand(), 310f785676fSDimitry Andric TrueVal->getName() + ".elt"); 311f785676fSDimitry Andric 312f785676fSDimitry Andric Value *V2Elem 313f785676fSDimitry Andric = Builder->CreateExtractElement(FalseVal, 314f785676fSDimitry Andric EI.getIndexOperand(), 315f785676fSDimitry Andric FalseVal->getName() + ".elt"); 316f785676fSDimitry Andric return SelectInst::Create(Cond, 317f785676fSDimitry Andric V1Elem, 318f785676fSDimitry Andric V2Elem, 319f785676fSDimitry Andric SI->getName() + ".elt"); 320f785676fSDimitry Andric } 3213b0f4066SDimitry Andric } 322f22ef01cSRoman Divacky } 32391bc56edSDimitry Andric return nullptr; 324f22ef01cSRoman Divacky } 325f22ef01cSRoman Divacky 326f22ef01cSRoman Divacky /// CollectSingleShuffleElements - If V is a shuffle of values that ONLY returns 327f22ef01cSRoman Divacky /// elements from either LHS or RHS, return the shuffle mask and true. 328f22ef01cSRoman Divacky /// Otherwise, return false. 329f22ef01cSRoman Divacky static bool CollectSingleShuffleElements(Value *V, Value *LHS, Value *RHS, 330dff0c46cSDimitry Andric SmallVectorImpl<Constant*> &Mask) { 33191bc56edSDimitry Andric assert(LHS->getType() == RHS->getType() && 332f22ef01cSRoman Divacky "Invalid CollectSingleShuffleElements"); 333f785676fSDimitry Andric unsigned NumElts = V->getType()->getVectorNumElements(); 334f22ef01cSRoman Divacky 335f22ef01cSRoman Divacky if (isa<UndefValue>(V)) { 336f22ef01cSRoman Divacky Mask.assign(NumElts, UndefValue::get(Type::getInt32Ty(V->getContext()))); 337f22ef01cSRoman Divacky return true; 338f22ef01cSRoman Divacky } 339f22ef01cSRoman Divacky 340f22ef01cSRoman Divacky if (V == LHS) { 341f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 342f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), i)); 343f22ef01cSRoman Divacky return true; 344f22ef01cSRoman Divacky } 345f22ef01cSRoman Divacky 346f22ef01cSRoman Divacky if (V == RHS) { 347f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 348f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), 349f22ef01cSRoman Divacky i+NumElts)); 350f22ef01cSRoman Divacky return true; 351f22ef01cSRoman Divacky } 352f22ef01cSRoman Divacky 353f22ef01cSRoman Divacky if (InsertElementInst *IEI = dyn_cast<InsertElementInst>(V)) { 354f22ef01cSRoman Divacky // If this is an insert of an extract from some other vector, include it. 355f22ef01cSRoman Divacky Value *VecOp = IEI->getOperand(0); 356f22ef01cSRoman Divacky Value *ScalarOp = IEI->getOperand(1); 357f22ef01cSRoman Divacky Value *IdxOp = IEI->getOperand(2); 358f22ef01cSRoman Divacky 359f22ef01cSRoman Divacky if (!isa<ConstantInt>(IdxOp)) 360f22ef01cSRoman Divacky return false; 361f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 362f22ef01cSRoman Divacky 363f22ef01cSRoman Divacky if (isa<UndefValue>(ScalarOp)) { // inserting undef into vector. 36491bc56edSDimitry Andric // We can handle this if the vector we are inserting into is 365f22ef01cSRoman Divacky // transitively ok. 366f22ef01cSRoman Divacky if (CollectSingleShuffleElements(VecOp, LHS, RHS, Mask)) { 367f22ef01cSRoman Divacky // If so, update the mask to reflect the inserted undef. 368f22ef01cSRoman Divacky Mask[InsertedIdx] = UndefValue::get(Type::getInt32Ty(V->getContext())); 369f22ef01cSRoman Divacky return true; 370f22ef01cSRoman Divacky } 371f22ef01cSRoman Divacky } else if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)){ 37291bc56edSDimitry Andric if (isa<ConstantInt>(EI->getOperand(1))) { 373f22ef01cSRoman Divacky unsigned ExtractedIdx = 374f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 37591bc56edSDimitry Andric unsigned NumLHSElts = LHS->getType()->getVectorNumElements(); 376f22ef01cSRoman Divacky 377f22ef01cSRoman Divacky // This must be extracting from either LHS or RHS. 378f22ef01cSRoman Divacky if (EI->getOperand(0) == LHS || EI->getOperand(0) == RHS) { 37991bc56edSDimitry Andric // We can handle this if the vector we are inserting into is 380f22ef01cSRoman Divacky // transitively ok. 381f22ef01cSRoman Divacky if (CollectSingleShuffleElements(VecOp, LHS, RHS, Mask)) { 382f22ef01cSRoman Divacky // If so, update the mask to reflect the inserted value. 383f22ef01cSRoman Divacky if (EI->getOperand(0) == LHS) { 384f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 385f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 386f22ef01cSRoman Divacky ExtractedIdx); 387f22ef01cSRoman Divacky } else { 388f22ef01cSRoman Divacky assert(EI->getOperand(0) == RHS); 389f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 390f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 39191bc56edSDimitry Andric ExtractedIdx + NumLHSElts); 392f22ef01cSRoman Divacky } 393f22ef01cSRoman Divacky return true; 394f22ef01cSRoman Divacky } 395f22ef01cSRoman Divacky } 396f22ef01cSRoman Divacky } 397f22ef01cSRoman Divacky } 398f22ef01cSRoman Divacky } 399f22ef01cSRoman Divacky 400f22ef01cSRoman Divacky return false; 401f22ef01cSRoman Divacky } 402f22ef01cSRoman Divacky 40391bc56edSDimitry Andric 40491bc56edSDimitry Andric /// We are building a shuffle to create V, which is a sequence of insertelement, 40591bc56edSDimitry Andric /// extractelement pairs. If PermittedRHS is set, then we must either use it or 40691bc56edSDimitry Andric /// not rely on the second vector source. Return a std::pair containing the 40791bc56edSDimitry Andric /// left and right vectors of the proposed shuffle (or 0), and set the Mask 40891bc56edSDimitry Andric /// parameter as required. 40991bc56edSDimitry Andric /// 41091bc56edSDimitry Andric /// Note: we intentionally don't try to fold earlier shuffles since they have 41191bc56edSDimitry Andric /// often been chosen carefully to be efficiently implementable on the target. 41291bc56edSDimitry Andric typedef std::pair<Value *, Value *> ShuffleOps; 41391bc56edSDimitry Andric 41491bc56edSDimitry Andric static ShuffleOps CollectShuffleElements(Value *V, 41591bc56edSDimitry Andric SmallVectorImpl<Constant *> &Mask, 41691bc56edSDimitry Andric Value *PermittedRHS) { 41791bc56edSDimitry Andric assert(V->getType()->isVectorTy() && "Invalid shuffle!"); 418f22ef01cSRoman Divacky unsigned NumElts = cast<VectorType>(V->getType())->getNumElements(); 419f22ef01cSRoman Divacky 420f22ef01cSRoman Divacky if (isa<UndefValue>(V)) { 421f22ef01cSRoman Divacky Mask.assign(NumElts, UndefValue::get(Type::getInt32Ty(V->getContext()))); 42291bc56edSDimitry Andric return std::make_pair( 42391bc56edSDimitry Andric PermittedRHS ? UndefValue::get(PermittedRHS->getType()) : V, nullptr); 424dff0c46cSDimitry Andric } 425dff0c46cSDimitry Andric 426dff0c46cSDimitry Andric if (isa<ConstantAggregateZero>(V)) { 427f22ef01cSRoman Divacky Mask.assign(NumElts, ConstantInt::get(Type::getInt32Ty(V->getContext()),0)); 42891bc56edSDimitry Andric return std::make_pair(V, nullptr); 429dff0c46cSDimitry Andric } 430dff0c46cSDimitry Andric 431dff0c46cSDimitry Andric if (InsertElementInst *IEI = dyn_cast<InsertElementInst>(V)) { 432f22ef01cSRoman Divacky // If this is an insert of an extract from some other vector, include it. 433f22ef01cSRoman Divacky Value *VecOp = IEI->getOperand(0); 434f22ef01cSRoman Divacky Value *ScalarOp = IEI->getOperand(1); 435f22ef01cSRoman Divacky Value *IdxOp = IEI->getOperand(2); 436f22ef01cSRoman Divacky 437f22ef01cSRoman Divacky if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)) { 43891bc56edSDimitry Andric if (isa<ConstantInt>(EI->getOperand(1)) && isa<ConstantInt>(IdxOp)) { 439f22ef01cSRoman Divacky unsigned ExtractedIdx = 440f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 441f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 442f22ef01cSRoman Divacky 443f22ef01cSRoman Divacky // Either the extracted from or inserted into vector must be RHSVec, 444f22ef01cSRoman Divacky // otherwise we'd end up with a shuffle of three inputs. 44591bc56edSDimitry Andric if (EI->getOperand(0) == PermittedRHS || PermittedRHS == nullptr) { 44691bc56edSDimitry Andric Value *RHS = EI->getOperand(0); 44791bc56edSDimitry Andric ShuffleOps LR = CollectShuffleElements(VecOp, Mask, RHS); 44891bc56edSDimitry Andric assert(LR.second == nullptr || LR.second == RHS); 44991bc56edSDimitry Andric 45091bc56edSDimitry Andric if (LR.first->getType() != RHS->getType()) { 45191bc56edSDimitry Andric // We tried our best, but we can't find anything compatible with RHS 45291bc56edSDimitry Andric // further up the chain. Return a trivial shuffle. 45391bc56edSDimitry Andric for (unsigned i = 0; i < NumElts; ++i) 45491bc56edSDimitry Andric Mask[i] = ConstantInt::get(Type::getInt32Ty(V->getContext()), i); 45591bc56edSDimitry Andric return std::make_pair(V, nullptr); 45691bc56edSDimitry Andric } 45791bc56edSDimitry Andric 45891bc56edSDimitry Andric unsigned NumLHSElts = RHS->getType()->getVectorNumElements(); 459f22ef01cSRoman Divacky Mask[InsertedIdx % NumElts] = 460f22ef01cSRoman Divacky ConstantInt::get(Type::getInt32Ty(V->getContext()), 46191bc56edSDimitry Andric NumLHSElts+ExtractedIdx); 46291bc56edSDimitry Andric return std::make_pair(LR.first, RHS); 463f22ef01cSRoman Divacky } 464f22ef01cSRoman Divacky 46591bc56edSDimitry Andric if (VecOp == PermittedRHS) { 46691bc56edSDimitry Andric // We've gone as far as we can: anything on the other side of the 46791bc56edSDimitry Andric // extractelement will already have been converted into a shuffle. 46891bc56edSDimitry Andric unsigned NumLHSElts = 46991bc56edSDimitry Andric EI->getOperand(0)->getType()->getVectorNumElements(); 47091bc56edSDimitry Andric for (unsigned i = 0; i != NumElts; ++i) 47191bc56edSDimitry Andric Mask.push_back(ConstantInt::get( 47291bc56edSDimitry Andric Type::getInt32Ty(V->getContext()), 47391bc56edSDimitry Andric i == InsertedIdx ? ExtractedIdx : NumLHSElts + i)); 47491bc56edSDimitry Andric return std::make_pair(EI->getOperand(0), PermittedRHS); 475f22ef01cSRoman Divacky } 476f22ef01cSRoman Divacky 477f22ef01cSRoman Divacky // If this insertelement is a chain that comes from exactly these two 478f22ef01cSRoman Divacky // vectors, return the vector and the effective shuffle. 47991bc56edSDimitry Andric if (EI->getOperand(0)->getType() == PermittedRHS->getType() && 48091bc56edSDimitry Andric CollectSingleShuffleElements(IEI, EI->getOperand(0), PermittedRHS, 48191bc56edSDimitry Andric Mask)) 48291bc56edSDimitry Andric return std::make_pair(EI->getOperand(0), PermittedRHS); 483f22ef01cSRoman Divacky } 484f22ef01cSRoman Divacky } 485f22ef01cSRoman Divacky } 486f22ef01cSRoman Divacky 487f22ef01cSRoman Divacky // Otherwise, can't do anything fancy. Return an identity vector. 488f22ef01cSRoman Divacky for (unsigned i = 0; i != NumElts; ++i) 489f22ef01cSRoman Divacky Mask.push_back(ConstantInt::get(Type::getInt32Ty(V->getContext()), i)); 49091bc56edSDimitry Andric return std::make_pair(V, nullptr); 49191bc56edSDimitry Andric } 49291bc56edSDimitry Andric 49391bc56edSDimitry Andric /// Try to find redundant insertvalue instructions, like the following ones: 49491bc56edSDimitry Andric /// %0 = insertvalue { i8, i32 } undef, i8 %x, 0 49591bc56edSDimitry Andric /// %1 = insertvalue { i8, i32 } %0, i8 %y, 0 49691bc56edSDimitry Andric /// Here the second instruction inserts values at the same indices, as the 49791bc56edSDimitry Andric /// first one, making the first one redundant. 49891bc56edSDimitry Andric /// It should be transformed to: 49991bc56edSDimitry Andric /// %0 = insertvalue { i8, i32 } undef, i8 %y, 0 50091bc56edSDimitry Andric Instruction *InstCombiner::visitInsertValueInst(InsertValueInst &I) { 50191bc56edSDimitry Andric bool IsRedundant = false; 50291bc56edSDimitry Andric ArrayRef<unsigned int> FirstIndices = I.getIndices(); 50391bc56edSDimitry Andric 50491bc56edSDimitry Andric // If there is a chain of insertvalue instructions (each of them except the 50591bc56edSDimitry Andric // last one has only one use and it's another insertvalue insn from this 50691bc56edSDimitry Andric // chain), check if any of the 'children' uses the same indices as the first 50791bc56edSDimitry Andric // instruction. In this case, the first one is redundant. 50891bc56edSDimitry Andric Value *V = &I; 50991bc56edSDimitry Andric unsigned Depth = 0; 51091bc56edSDimitry Andric while (V->hasOneUse() && Depth < 10) { 51191bc56edSDimitry Andric User *U = V->user_back(); 51291bc56edSDimitry Andric auto UserInsInst = dyn_cast<InsertValueInst>(U); 51391bc56edSDimitry Andric if (!UserInsInst || U->getOperand(0) != V) 51491bc56edSDimitry Andric break; 51591bc56edSDimitry Andric if (UserInsInst->getIndices() == FirstIndices) { 51691bc56edSDimitry Andric IsRedundant = true; 51791bc56edSDimitry Andric break; 51891bc56edSDimitry Andric } 51991bc56edSDimitry Andric V = UserInsInst; 52091bc56edSDimitry Andric Depth++; 52191bc56edSDimitry Andric } 52291bc56edSDimitry Andric 52391bc56edSDimitry Andric if (IsRedundant) 52491bc56edSDimitry Andric return ReplaceInstUsesWith(I, I.getOperand(0)); 52591bc56edSDimitry Andric return nullptr; 526f22ef01cSRoman Divacky } 527f22ef01cSRoman Divacky 528f22ef01cSRoman Divacky Instruction *InstCombiner::visitInsertElementInst(InsertElementInst &IE) { 529f22ef01cSRoman Divacky Value *VecOp = IE.getOperand(0); 530f22ef01cSRoman Divacky Value *ScalarOp = IE.getOperand(1); 531f22ef01cSRoman Divacky Value *IdxOp = IE.getOperand(2); 532f22ef01cSRoman Divacky 533f22ef01cSRoman Divacky // Inserting an undef or into an undefined place, remove this. 534f22ef01cSRoman Divacky if (isa<UndefValue>(ScalarOp) || isa<UndefValue>(IdxOp)) 535f22ef01cSRoman Divacky ReplaceInstUsesWith(IE, VecOp); 536f22ef01cSRoman Divacky 537f22ef01cSRoman Divacky // If the inserted element was extracted from some other vector, and if the 538f22ef01cSRoman Divacky // indexes are constant, try to turn this into a shufflevector operation. 539f22ef01cSRoman Divacky if (ExtractElementInst *EI = dyn_cast<ExtractElementInst>(ScalarOp)) { 54091bc56edSDimitry Andric if (isa<ConstantInt>(EI->getOperand(1)) && isa<ConstantInt>(IdxOp)) { 54191bc56edSDimitry Andric unsigned NumInsertVectorElts = IE.getType()->getNumElements(); 54291bc56edSDimitry Andric unsigned NumExtractVectorElts = 54391bc56edSDimitry Andric EI->getOperand(0)->getType()->getVectorNumElements(); 544f22ef01cSRoman Divacky unsigned ExtractedIdx = 545f22ef01cSRoman Divacky cast<ConstantInt>(EI->getOperand(1))->getZExtValue(); 546f22ef01cSRoman Divacky unsigned InsertedIdx = cast<ConstantInt>(IdxOp)->getZExtValue(); 547f22ef01cSRoman Divacky 54891bc56edSDimitry Andric if (ExtractedIdx >= NumExtractVectorElts) // Out of range extract. 549f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, VecOp); 550f22ef01cSRoman Divacky 55191bc56edSDimitry Andric if (InsertedIdx >= NumInsertVectorElts) // Out of range insert. 552f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, UndefValue::get(IE.getType())); 553f22ef01cSRoman Divacky 554f22ef01cSRoman Divacky // If we are extracting a value from a vector, then inserting it right 555f22ef01cSRoman Divacky // back into the same place, just use the input vector. 556f22ef01cSRoman Divacky if (EI->getOperand(0) == VecOp && ExtractedIdx == InsertedIdx) 557f22ef01cSRoman Divacky return ReplaceInstUsesWith(IE, VecOp); 558f22ef01cSRoman Divacky 559f22ef01cSRoman Divacky // If this insertelement isn't used by some other insertelement, turn it 560f22ef01cSRoman Divacky // (and any insertelements it points to), into one big shuffle. 56191bc56edSDimitry Andric if (!IE.hasOneUse() || !isa<InsertElementInst>(IE.user_back())) { 562dff0c46cSDimitry Andric SmallVector<Constant*, 16> Mask; 56391bc56edSDimitry Andric ShuffleOps LR = CollectShuffleElements(&IE, Mask, nullptr); 56491bc56edSDimitry Andric 56591bc56edSDimitry Andric // The proposed shuffle may be trivial, in which case we shouldn't 56691bc56edSDimitry Andric // perform the combine. 56791bc56edSDimitry Andric if (LR.first != &IE && LR.second != &IE) { 568f22ef01cSRoman Divacky // We now have a shuffle of LHS, RHS, Mask. 56991bc56edSDimitry Andric if (LR.second == nullptr) 57091bc56edSDimitry Andric LR.second = UndefValue::get(LR.first->getType()); 57191bc56edSDimitry Andric return new ShuffleVectorInst(LR.first, LR.second, 57291bc56edSDimitry Andric ConstantVector::get(Mask)); 57391bc56edSDimitry Andric } 574f22ef01cSRoman Divacky } 575f22ef01cSRoman Divacky } 576f22ef01cSRoman Divacky } 577f22ef01cSRoman Divacky 578f22ef01cSRoman Divacky unsigned VWidth = cast<VectorType>(VecOp->getType())->getNumElements(); 579f22ef01cSRoman Divacky APInt UndefElts(VWidth, 0); 580f22ef01cSRoman Divacky APInt AllOnesEltMask(APInt::getAllOnesValue(VWidth)); 5812754fe60SDimitry Andric if (Value *V = SimplifyDemandedVectorElts(&IE, AllOnesEltMask, UndefElts)) { 5822754fe60SDimitry Andric if (V != &IE) 5832754fe60SDimitry Andric return ReplaceInstUsesWith(IE, V); 584f22ef01cSRoman Divacky return &IE; 5852754fe60SDimitry Andric } 586f22ef01cSRoman Divacky 58791bc56edSDimitry Andric return nullptr; 588f22ef01cSRoman Divacky } 589f22ef01cSRoman Divacky 590f785676fSDimitry Andric /// Return true if we can evaluate the specified expression tree if the vector 591f785676fSDimitry Andric /// elements were shuffled in a different order. 592f785676fSDimitry Andric static bool CanEvaluateShuffled(Value *V, ArrayRef<int> Mask, 593f785676fSDimitry Andric unsigned Depth = 5) { 594f785676fSDimitry Andric // We can always reorder the elements of a constant. 595f785676fSDimitry Andric if (isa<Constant>(V)) 596f785676fSDimitry Andric return true; 597f785676fSDimitry Andric 598f785676fSDimitry Andric // We won't reorder vector arguments. No IPO here. 599f785676fSDimitry Andric Instruction *I = dyn_cast<Instruction>(V); 600f785676fSDimitry Andric if (!I) return false; 601f785676fSDimitry Andric 602f785676fSDimitry Andric // Two users may expect different orders of the elements. Don't try it. 603f785676fSDimitry Andric if (!I->hasOneUse()) 604f785676fSDimitry Andric return false; 605f785676fSDimitry Andric 606f785676fSDimitry Andric if (Depth == 0) return false; 607f785676fSDimitry Andric 608f785676fSDimitry Andric switch (I->getOpcode()) { 609f785676fSDimitry Andric case Instruction::Add: 610f785676fSDimitry Andric case Instruction::FAdd: 611f785676fSDimitry Andric case Instruction::Sub: 612f785676fSDimitry Andric case Instruction::FSub: 613f785676fSDimitry Andric case Instruction::Mul: 614f785676fSDimitry Andric case Instruction::FMul: 615f785676fSDimitry Andric case Instruction::UDiv: 616f785676fSDimitry Andric case Instruction::SDiv: 617f785676fSDimitry Andric case Instruction::FDiv: 618f785676fSDimitry Andric case Instruction::URem: 619f785676fSDimitry Andric case Instruction::SRem: 620f785676fSDimitry Andric case Instruction::FRem: 621f785676fSDimitry Andric case Instruction::Shl: 622f785676fSDimitry Andric case Instruction::LShr: 623f785676fSDimitry Andric case Instruction::AShr: 624f785676fSDimitry Andric case Instruction::And: 625f785676fSDimitry Andric case Instruction::Or: 626f785676fSDimitry Andric case Instruction::Xor: 627f785676fSDimitry Andric case Instruction::ICmp: 628f785676fSDimitry Andric case Instruction::FCmp: 629f785676fSDimitry Andric case Instruction::Trunc: 630f785676fSDimitry Andric case Instruction::ZExt: 631f785676fSDimitry Andric case Instruction::SExt: 632f785676fSDimitry Andric case Instruction::FPToUI: 633f785676fSDimitry Andric case Instruction::FPToSI: 634f785676fSDimitry Andric case Instruction::UIToFP: 635f785676fSDimitry Andric case Instruction::SIToFP: 636f785676fSDimitry Andric case Instruction::FPTrunc: 637f785676fSDimitry Andric case Instruction::FPExt: 638f785676fSDimitry Andric case Instruction::GetElementPtr: { 639f785676fSDimitry Andric for (int i = 0, e = I->getNumOperands(); i != e; ++i) { 640f785676fSDimitry Andric if (!CanEvaluateShuffled(I->getOperand(i), Mask, Depth-1)) 641f785676fSDimitry Andric return false; 642f785676fSDimitry Andric } 643f785676fSDimitry Andric return true; 644f785676fSDimitry Andric } 645f785676fSDimitry Andric case Instruction::InsertElement: { 646f785676fSDimitry Andric ConstantInt *CI = dyn_cast<ConstantInt>(I->getOperand(2)); 647f785676fSDimitry Andric if (!CI) return false; 648f785676fSDimitry Andric int ElementNumber = CI->getLimitedValue(); 649f785676fSDimitry Andric 650f785676fSDimitry Andric // Verify that 'CI' does not occur twice in Mask. A single 'insertelement' 651f785676fSDimitry Andric // can't put an element into multiple indices. 652f785676fSDimitry Andric bool SeenOnce = false; 653f785676fSDimitry Andric for (int i = 0, e = Mask.size(); i != e; ++i) { 654f785676fSDimitry Andric if (Mask[i] == ElementNumber) { 655f785676fSDimitry Andric if (SeenOnce) 656f785676fSDimitry Andric return false; 657f785676fSDimitry Andric SeenOnce = true; 658f785676fSDimitry Andric } 659f785676fSDimitry Andric } 660f785676fSDimitry Andric return CanEvaluateShuffled(I->getOperand(0), Mask, Depth-1); 661f785676fSDimitry Andric } 662f785676fSDimitry Andric } 663f785676fSDimitry Andric return false; 664f785676fSDimitry Andric } 665f785676fSDimitry Andric 666f785676fSDimitry Andric /// Rebuild a new instruction just like 'I' but with the new operands given. 667f785676fSDimitry Andric /// In the event of type mismatch, the type of the operands is correct. 668f785676fSDimitry Andric static Value *BuildNew(Instruction *I, ArrayRef<Value*> NewOps) { 669f785676fSDimitry Andric // We don't want to use the IRBuilder here because we want the replacement 670f785676fSDimitry Andric // instructions to appear next to 'I', not the builder's insertion point. 671f785676fSDimitry Andric switch (I->getOpcode()) { 672f785676fSDimitry Andric case Instruction::Add: 673f785676fSDimitry Andric case Instruction::FAdd: 674f785676fSDimitry Andric case Instruction::Sub: 675f785676fSDimitry Andric case Instruction::FSub: 676f785676fSDimitry Andric case Instruction::Mul: 677f785676fSDimitry Andric case Instruction::FMul: 678f785676fSDimitry Andric case Instruction::UDiv: 679f785676fSDimitry Andric case Instruction::SDiv: 680f785676fSDimitry Andric case Instruction::FDiv: 681f785676fSDimitry Andric case Instruction::URem: 682f785676fSDimitry Andric case Instruction::SRem: 683f785676fSDimitry Andric case Instruction::FRem: 684f785676fSDimitry Andric case Instruction::Shl: 685f785676fSDimitry Andric case Instruction::LShr: 686f785676fSDimitry Andric case Instruction::AShr: 687f785676fSDimitry Andric case Instruction::And: 688f785676fSDimitry Andric case Instruction::Or: 689f785676fSDimitry Andric case Instruction::Xor: { 690f785676fSDimitry Andric BinaryOperator *BO = cast<BinaryOperator>(I); 691f785676fSDimitry Andric assert(NewOps.size() == 2 && "binary operator with #ops != 2"); 692f785676fSDimitry Andric BinaryOperator *New = 693f785676fSDimitry Andric BinaryOperator::Create(cast<BinaryOperator>(I)->getOpcode(), 694f785676fSDimitry Andric NewOps[0], NewOps[1], "", BO); 695f785676fSDimitry Andric if (isa<OverflowingBinaryOperator>(BO)) { 696f785676fSDimitry Andric New->setHasNoUnsignedWrap(BO->hasNoUnsignedWrap()); 697f785676fSDimitry Andric New->setHasNoSignedWrap(BO->hasNoSignedWrap()); 698f785676fSDimitry Andric } 699f785676fSDimitry Andric if (isa<PossiblyExactOperator>(BO)) { 700f785676fSDimitry Andric New->setIsExact(BO->isExact()); 701f785676fSDimitry Andric } 70291bc56edSDimitry Andric if (isa<FPMathOperator>(BO)) 70391bc56edSDimitry Andric New->copyFastMathFlags(I); 704f785676fSDimitry Andric return New; 705f785676fSDimitry Andric } 706f785676fSDimitry Andric case Instruction::ICmp: 707f785676fSDimitry Andric assert(NewOps.size() == 2 && "icmp with #ops != 2"); 708f785676fSDimitry Andric return new ICmpInst(I, cast<ICmpInst>(I)->getPredicate(), 709f785676fSDimitry Andric NewOps[0], NewOps[1]); 710f785676fSDimitry Andric case Instruction::FCmp: 711f785676fSDimitry Andric assert(NewOps.size() == 2 && "fcmp with #ops != 2"); 712f785676fSDimitry Andric return new FCmpInst(I, cast<FCmpInst>(I)->getPredicate(), 713f785676fSDimitry Andric NewOps[0], NewOps[1]); 714f785676fSDimitry Andric case Instruction::Trunc: 715f785676fSDimitry Andric case Instruction::ZExt: 716f785676fSDimitry Andric case Instruction::SExt: 717f785676fSDimitry Andric case Instruction::FPToUI: 718f785676fSDimitry Andric case Instruction::FPToSI: 719f785676fSDimitry Andric case Instruction::UIToFP: 720f785676fSDimitry Andric case Instruction::SIToFP: 721f785676fSDimitry Andric case Instruction::FPTrunc: 722f785676fSDimitry Andric case Instruction::FPExt: { 723f785676fSDimitry Andric // It's possible that the mask has a different number of elements from 724f785676fSDimitry Andric // the original cast. We recompute the destination type to match the mask. 725f785676fSDimitry Andric Type *DestTy = 726f785676fSDimitry Andric VectorType::get(I->getType()->getScalarType(), 727f785676fSDimitry Andric NewOps[0]->getType()->getVectorNumElements()); 728f785676fSDimitry Andric assert(NewOps.size() == 1 && "cast with #ops != 1"); 729f785676fSDimitry Andric return CastInst::Create(cast<CastInst>(I)->getOpcode(), NewOps[0], DestTy, 730f785676fSDimitry Andric "", I); 731f785676fSDimitry Andric } 732f785676fSDimitry Andric case Instruction::GetElementPtr: { 733f785676fSDimitry Andric Value *Ptr = NewOps[0]; 734f785676fSDimitry Andric ArrayRef<Value*> Idx = NewOps.slice(1); 735f785676fSDimitry Andric GetElementPtrInst *GEP = GetElementPtrInst::Create(Ptr, Idx, "", I); 736f785676fSDimitry Andric GEP->setIsInBounds(cast<GetElementPtrInst>(I)->isInBounds()); 737f785676fSDimitry Andric return GEP; 738f785676fSDimitry Andric } 739f785676fSDimitry Andric } 740f785676fSDimitry Andric llvm_unreachable("failed to rebuild vector instructions"); 741f785676fSDimitry Andric } 742f785676fSDimitry Andric 743f785676fSDimitry Andric Value * 744f785676fSDimitry Andric InstCombiner::EvaluateInDifferentElementOrder(Value *V, ArrayRef<int> Mask) { 745f785676fSDimitry Andric // Mask.size() does not need to be equal to the number of vector elements. 746f785676fSDimitry Andric 747f785676fSDimitry Andric assert(V->getType()->isVectorTy() && "can't reorder non-vector elements"); 748f785676fSDimitry Andric if (isa<UndefValue>(V)) { 749f785676fSDimitry Andric return UndefValue::get(VectorType::get(V->getType()->getScalarType(), 750f785676fSDimitry Andric Mask.size())); 751f785676fSDimitry Andric } 752f785676fSDimitry Andric if (isa<ConstantAggregateZero>(V)) { 753f785676fSDimitry Andric return ConstantAggregateZero::get( 754f785676fSDimitry Andric VectorType::get(V->getType()->getScalarType(), 755f785676fSDimitry Andric Mask.size())); 756f785676fSDimitry Andric } 757f785676fSDimitry Andric if (Constant *C = dyn_cast<Constant>(V)) { 758f785676fSDimitry Andric SmallVector<Constant *, 16> MaskValues; 759f785676fSDimitry Andric for (int i = 0, e = Mask.size(); i != e; ++i) { 760f785676fSDimitry Andric if (Mask[i] == -1) 761f785676fSDimitry Andric MaskValues.push_back(UndefValue::get(Builder->getInt32Ty())); 762f785676fSDimitry Andric else 763f785676fSDimitry Andric MaskValues.push_back(Builder->getInt32(Mask[i])); 764f785676fSDimitry Andric } 765f785676fSDimitry Andric return ConstantExpr::getShuffleVector(C, UndefValue::get(C->getType()), 766f785676fSDimitry Andric ConstantVector::get(MaskValues)); 767f785676fSDimitry Andric } 768f785676fSDimitry Andric 769f785676fSDimitry Andric Instruction *I = cast<Instruction>(V); 770f785676fSDimitry Andric switch (I->getOpcode()) { 771f785676fSDimitry Andric case Instruction::Add: 772f785676fSDimitry Andric case Instruction::FAdd: 773f785676fSDimitry Andric case Instruction::Sub: 774f785676fSDimitry Andric case Instruction::FSub: 775f785676fSDimitry Andric case Instruction::Mul: 776f785676fSDimitry Andric case Instruction::FMul: 777f785676fSDimitry Andric case Instruction::UDiv: 778f785676fSDimitry Andric case Instruction::SDiv: 779f785676fSDimitry Andric case Instruction::FDiv: 780f785676fSDimitry Andric case Instruction::URem: 781f785676fSDimitry Andric case Instruction::SRem: 782f785676fSDimitry Andric case Instruction::FRem: 783f785676fSDimitry Andric case Instruction::Shl: 784f785676fSDimitry Andric case Instruction::LShr: 785f785676fSDimitry Andric case Instruction::AShr: 786f785676fSDimitry Andric case Instruction::And: 787f785676fSDimitry Andric case Instruction::Or: 788f785676fSDimitry Andric case Instruction::Xor: 789f785676fSDimitry Andric case Instruction::ICmp: 790f785676fSDimitry Andric case Instruction::FCmp: 791f785676fSDimitry Andric case Instruction::Trunc: 792f785676fSDimitry Andric case Instruction::ZExt: 793f785676fSDimitry Andric case Instruction::SExt: 794f785676fSDimitry Andric case Instruction::FPToUI: 795f785676fSDimitry Andric case Instruction::FPToSI: 796f785676fSDimitry Andric case Instruction::UIToFP: 797f785676fSDimitry Andric case Instruction::SIToFP: 798f785676fSDimitry Andric case Instruction::FPTrunc: 799f785676fSDimitry Andric case Instruction::FPExt: 800f785676fSDimitry Andric case Instruction::Select: 801f785676fSDimitry Andric case Instruction::GetElementPtr: { 802f785676fSDimitry Andric SmallVector<Value*, 8> NewOps; 803f785676fSDimitry Andric bool NeedsRebuild = (Mask.size() != I->getType()->getVectorNumElements()); 804f785676fSDimitry Andric for (int i = 0, e = I->getNumOperands(); i != e; ++i) { 805f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(I->getOperand(i), Mask); 806f785676fSDimitry Andric NewOps.push_back(V); 807f785676fSDimitry Andric NeedsRebuild |= (V != I->getOperand(i)); 808f785676fSDimitry Andric } 809f785676fSDimitry Andric if (NeedsRebuild) { 810f785676fSDimitry Andric return BuildNew(I, NewOps); 811f785676fSDimitry Andric } 812f785676fSDimitry Andric return I; 813f785676fSDimitry Andric } 814f785676fSDimitry Andric case Instruction::InsertElement: { 815f785676fSDimitry Andric int Element = cast<ConstantInt>(I->getOperand(2))->getLimitedValue(); 816f785676fSDimitry Andric 817f785676fSDimitry Andric // The insertelement was inserting at Element. Figure out which element 818f785676fSDimitry Andric // that becomes after shuffling. The answer is guaranteed to be unique 819f785676fSDimitry Andric // by CanEvaluateShuffled. 820f785676fSDimitry Andric bool Found = false; 821f785676fSDimitry Andric int Index = 0; 822f785676fSDimitry Andric for (int e = Mask.size(); Index != e; ++Index) { 823f785676fSDimitry Andric if (Mask[Index] == Element) { 824f785676fSDimitry Andric Found = true; 825f785676fSDimitry Andric break; 826f785676fSDimitry Andric } 827f785676fSDimitry Andric } 828f785676fSDimitry Andric 82991bc56edSDimitry Andric // If element is not in Mask, no need to handle the operand 1 (element to 83091bc56edSDimitry Andric // be inserted). Just evaluate values in operand 0 according to Mask. 831f785676fSDimitry Andric if (!Found) 83291bc56edSDimitry Andric return EvaluateInDifferentElementOrder(I->getOperand(0), Mask); 833f785676fSDimitry Andric 834f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(I->getOperand(0), Mask); 835f785676fSDimitry Andric return InsertElementInst::Create(V, I->getOperand(1), 836f785676fSDimitry Andric Builder->getInt32(Index), "", I); 837f785676fSDimitry Andric } 838f785676fSDimitry Andric } 839f785676fSDimitry Andric llvm_unreachable("failed to reorder elements of vector instruction!"); 840f785676fSDimitry Andric } 841f22ef01cSRoman Divacky 84291bc56edSDimitry Andric static void RecognizeIdentityMask(const SmallVectorImpl<int> &Mask, 84391bc56edSDimitry Andric bool &isLHSID, bool &isRHSID) { 84491bc56edSDimitry Andric isLHSID = isRHSID = true; 84591bc56edSDimitry Andric 84691bc56edSDimitry Andric for (unsigned i = 0, e = Mask.size(); i != e; ++i) { 84791bc56edSDimitry Andric if (Mask[i] < 0) continue; // Ignore undef values. 84891bc56edSDimitry Andric // Is this an identity shuffle of the LHS value? 84991bc56edSDimitry Andric isLHSID &= (Mask[i] == (int)i); 85091bc56edSDimitry Andric 85191bc56edSDimitry Andric // Is this an identity shuffle of the RHS value? 85291bc56edSDimitry Andric isRHSID &= (Mask[i]-e == i); 85391bc56edSDimitry Andric } 85491bc56edSDimitry Andric } 85591bc56edSDimitry Andric 856f22ef01cSRoman Divacky Instruction *InstCombiner::visitShuffleVectorInst(ShuffleVectorInst &SVI) { 857f22ef01cSRoman Divacky Value *LHS = SVI.getOperand(0); 858f22ef01cSRoman Divacky Value *RHS = SVI.getOperand(1); 859dff0c46cSDimitry Andric SmallVector<int, 16> Mask = SVI.getShuffleMask(); 860f22ef01cSRoman Divacky 861f22ef01cSRoman Divacky bool MadeChange = false; 862f22ef01cSRoman Divacky 863f22ef01cSRoman Divacky // Undefined shuffle mask -> undefined value. 864f22ef01cSRoman Divacky if (isa<UndefValue>(SVI.getOperand(2))) 865f22ef01cSRoman Divacky return ReplaceInstUsesWith(SVI, UndefValue::get(SVI.getType())); 866f22ef01cSRoman Divacky 867f22ef01cSRoman Divacky unsigned VWidth = cast<VectorType>(SVI.getType())->getNumElements(); 868f22ef01cSRoman Divacky 869f22ef01cSRoman Divacky APInt UndefElts(VWidth, 0); 870f22ef01cSRoman Divacky APInt AllOnesEltMask(APInt::getAllOnesValue(VWidth)); 8712754fe60SDimitry Andric if (Value *V = SimplifyDemandedVectorElts(&SVI, AllOnesEltMask, UndefElts)) { 8722754fe60SDimitry Andric if (V != &SVI) 8732754fe60SDimitry Andric return ReplaceInstUsesWith(SVI, V); 874f22ef01cSRoman Divacky LHS = SVI.getOperand(0); 875f22ef01cSRoman Divacky RHS = SVI.getOperand(1); 876f22ef01cSRoman Divacky MadeChange = true; 877f22ef01cSRoman Divacky } 878f22ef01cSRoman Divacky 879dff0c46cSDimitry Andric unsigned LHSWidth = cast<VectorType>(LHS->getType())->getNumElements(); 880dff0c46cSDimitry Andric 881f22ef01cSRoman Divacky // Canonicalize shuffle(x ,x,mask) -> shuffle(x, undef,mask') 882f22ef01cSRoman Divacky // Canonicalize shuffle(undef,x,mask) -> shuffle(x, undef,mask'). 883f22ef01cSRoman Divacky if (LHS == RHS || isa<UndefValue>(LHS)) { 884f22ef01cSRoman Divacky if (isa<UndefValue>(LHS) && LHS == RHS) { 885f22ef01cSRoman Divacky // shuffle(undef,undef,mask) -> undef. 886f785676fSDimitry Andric Value *Result = (VWidth == LHSWidth) 887dff0c46cSDimitry Andric ? LHS : UndefValue::get(SVI.getType()); 888f785676fSDimitry Andric return ReplaceInstUsesWith(SVI, Result); 889f22ef01cSRoman Divacky } 890f22ef01cSRoman Divacky 891f22ef01cSRoman Divacky // Remap any references to RHS to use LHS. 892dff0c46cSDimitry Andric SmallVector<Constant*, 16> Elts; 893dff0c46cSDimitry Andric for (unsigned i = 0, e = LHSWidth; i != VWidth; ++i) { 894dff0c46cSDimitry Andric if (Mask[i] < 0) { 895f22ef01cSRoman Divacky Elts.push_back(UndefValue::get(Type::getInt32Ty(SVI.getContext()))); 896dff0c46cSDimitry Andric continue; 897dff0c46cSDimitry Andric } 898dff0c46cSDimitry Andric 8992754fe60SDimitry Andric if ((Mask[i] >= (int)e && isa<UndefValue>(RHS)) || 9002754fe60SDimitry Andric (Mask[i] < (int)e && isa<UndefValue>(LHS))) { 9012754fe60SDimitry Andric Mask[i] = -1; // Turn into undef. 902f22ef01cSRoman Divacky Elts.push_back(UndefValue::get(Type::getInt32Ty(SVI.getContext()))); 903f22ef01cSRoman Divacky } else { 904f22ef01cSRoman Divacky Mask[i] = Mask[i] % e; // Force to LHS. 905f22ef01cSRoman Divacky Elts.push_back(ConstantInt::get(Type::getInt32Ty(SVI.getContext()), 906f22ef01cSRoman Divacky Mask[i])); 907f22ef01cSRoman Divacky } 908f22ef01cSRoman Divacky } 909f22ef01cSRoman Divacky SVI.setOperand(0, SVI.getOperand(1)); 910f22ef01cSRoman Divacky SVI.setOperand(1, UndefValue::get(RHS->getType())); 911f22ef01cSRoman Divacky SVI.setOperand(2, ConstantVector::get(Elts)); 912f22ef01cSRoman Divacky LHS = SVI.getOperand(0); 913f22ef01cSRoman Divacky RHS = SVI.getOperand(1); 914f22ef01cSRoman Divacky MadeChange = true; 915f22ef01cSRoman Divacky } 916f22ef01cSRoman Divacky 917dff0c46cSDimitry Andric if (VWidth == LHSWidth) { 918f22ef01cSRoman Divacky // Analyze the shuffle, are the LHS or RHS and identity shuffles? 91991bc56edSDimitry Andric bool isLHSID, isRHSID; 92091bc56edSDimitry Andric RecognizeIdentityMask(Mask, isLHSID, isRHSID); 921f22ef01cSRoman Divacky 922f22ef01cSRoman Divacky // Eliminate identity shuffles. 923f22ef01cSRoman Divacky if (isLHSID) return ReplaceInstUsesWith(SVI, LHS); 924f22ef01cSRoman Divacky if (isRHSID) return ReplaceInstUsesWith(SVI, RHS); 925dff0c46cSDimitry Andric } 926f22ef01cSRoman Divacky 927f785676fSDimitry Andric if (isa<UndefValue>(RHS) && CanEvaluateShuffled(LHS, Mask)) { 928f785676fSDimitry Andric Value *V = EvaluateInDifferentElementOrder(LHS, Mask); 929f785676fSDimitry Andric return ReplaceInstUsesWith(SVI, V); 930f785676fSDimitry Andric } 931f785676fSDimitry Andric 932f22ef01cSRoman Divacky // If the LHS is a shufflevector itself, see if we can combine it with this 933dff0c46cSDimitry Andric // one without producing an unusual shuffle. 934dff0c46cSDimitry Andric // Cases that might be simplified: 935dff0c46cSDimitry Andric // 1. 936dff0c46cSDimitry Andric // x1=shuffle(v1,v2,mask1) 937dff0c46cSDimitry Andric // x=shuffle(x1,undef,mask) 938dff0c46cSDimitry Andric // ==> 939dff0c46cSDimitry Andric // x=shuffle(v1,undef,newMask) 940dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) ? mask1[mask[i]] : -1 941dff0c46cSDimitry Andric // 2. 942dff0c46cSDimitry Andric // x1=shuffle(v1,undef,mask1) 943dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 944dff0c46cSDimitry Andric // where v1.size() == mask1.size() 945dff0c46cSDimitry Andric // ==> 946dff0c46cSDimitry Andric // x=shuffle(v1,x2,newMask) 947dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) ? mask1[mask[i]] : mask[i] 948dff0c46cSDimitry Andric // 3. 949dff0c46cSDimitry Andric // x2=shuffle(v2,undef,mask2) 950dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 951dff0c46cSDimitry Andric // where v2.size() == mask2.size() 952dff0c46cSDimitry Andric // ==> 953dff0c46cSDimitry Andric // x=shuffle(x1,v2,newMask) 954dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) 955dff0c46cSDimitry Andric // ? mask[i] : mask2[mask[i]-x1.size()]+x1.size() 956dff0c46cSDimitry Andric // 4. 957dff0c46cSDimitry Andric // x1=shuffle(v1,undef,mask1) 958dff0c46cSDimitry Andric // x2=shuffle(v2,undef,mask2) 959dff0c46cSDimitry Andric // x=shuffle(x1,x2,mask) 960dff0c46cSDimitry Andric // where v1.size() == v2.size() 961dff0c46cSDimitry Andric // ==> 962dff0c46cSDimitry Andric // x=shuffle(v1,v2,newMask) 963dff0c46cSDimitry Andric // newMask[i] = (mask[i] < x1.size()) 964dff0c46cSDimitry Andric // ? mask1[mask[i]] : mask2[mask[i]-x1.size()]+v1.size() 965dff0c46cSDimitry Andric // 966dff0c46cSDimitry Andric // Here we are really conservative: 967f22ef01cSRoman Divacky // we are absolutely afraid of producing a shuffle mask not in the input 968f22ef01cSRoman Divacky // program, because the code gen may not be smart enough to turn a merged 969f22ef01cSRoman Divacky // shuffle into two specific shuffles: it may produce worse code. As such, 9702754fe60SDimitry Andric // we only merge two shuffles if the result is either a splat or one of the 971dff0c46cSDimitry Andric // input shuffle masks. In this case, merging the shuffles just removes 9722754fe60SDimitry Andric // one instruction, which we know is safe. This is good for things like 973dff0c46cSDimitry Andric // turning: (splat(splat)) -> splat, or 974dff0c46cSDimitry Andric // merge(V[0..n], V[n+1..2n]) -> V[0..2n] 975dff0c46cSDimitry Andric ShuffleVectorInst* LHSShuffle = dyn_cast<ShuffleVectorInst>(LHS); 976dff0c46cSDimitry Andric ShuffleVectorInst* RHSShuffle = dyn_cast<ShuffleVectorInst>(RHS); 977dff0c46cSDimitry Andric if (LHSShuffle) 978dff0c46cSDimitry Andric if (!isa<UndefValue>(LHSShuffle->getOperand(1)) && !isa<UndefValue>(RHS)) 97991bc56edSDimitry Andric LHSShuffle = nullptr; 980dff0c46cSDimitry Andric if (RHSShuffle) 981dff0c46cSDimitry Andric if (!isa<UndefValue>(RHSShuffle->getOperand(1))) 98291bc56edSDimitry Andric RHSShuffle = nullptr; 983dff0c46cSDimitry Andric if (!LHSShuffle && !RHSShuffle) 98491bc56edSDimitry Andric return MadeChange ? &SVI : nullptr; 985dff0c46cSDimitry Andric 98691bc56edSDimitry Andric Value* LHSOp0 = nullptr; 98791bc56edSDimitry Andric Value* LHSOp1 = nullptr; 98891bc56edSDimitry Andric Value* RHSOp0 = nullptr; 989dff0c46cSDimitry Andric unsigned LHSOp0Width = 0; 990dff0c46cSDimitry Andric unsigned RHSOp0Width = 0; 991dff0c46cSDimitry Andric if (LHSShuffle) { 992dff0c46cSDimitry Andric LHSOp0 = LHSShuffle->getOperand(0); 993dff0c46cSDimitry Andric LHSOp1 = LHSShuffle->getOperand(1); 994dff0c46cSDimitry Andric LHSOp0Width = cast<VectorType>(LHSOp0->getType())->getNumElements(); 995dff0c46cSDimitry Andric } 996dff0c46cSDimitry Andric if (RHSShuffle) { 997dff0c46cSDimitry Andric RHSOp0 = RHSShuffle->getOperand(0); 998dff0c46cSDimitry Andric RHSOp0Width = cast<VectorType>(RHSOp0->getType())->getNumElements(); 999dff0c46cSDimitry Andric } 1000dff0c46cSDimitry Andric Value* newLHS = LHS; 1001dff0c46cSDimitry Andric Value* newRHS = RHS; 1002dff0c46cSDimitry Andric if (LHSShuffle) { 1003dff0c46cSDimitry Andric // case 1 1004f22ef01cSRoman Divacky if (isa<UndefValue>(RHS)) { 1005dff0c46cSDimitry Andric newLHS = LHSOp0; 1006dff0c46cSDimitry Andric newRHS = LHSOp1; 1007dff0c46cSDimitry Andric } 1008dff0c46cSDimitry Andric // case 2 or 4 1009dff0c46cSDimitry Andric else if (LHSOp0Width == LHSWidth) { 1010dff0c46cSDimitry Andric newLHS = LHSOp0; 1011dff0c46cSDimitry Andric } 1012dff0c46cSDimitry Andric } 1013dff0c46cSDimitry Andric // case 3 or 4 1014dff0c46cSDimitry Andric if (RHSShuffle && RHSOp0Width == LHSWidth) { 1015dff0c46cSDimitry Andric newRHS = RHSOp0; 1016dff0c46cSDimitry Andric } 1017dff0c46cSDimitry Andric // case 4 1018dff0c46cSDimitry Andric if (LHSOp0 == RHSOp0) { 1019dff0c46cSDimitry Andric newLHS = LHSOp0; 102091bc56edSDimitry Andric newRHS = nullptr; 1021dff0c46cSDimitry Andric } 1022f22ef01cSRoman Divacky 1023dff0c46cSDimitry Andric if (newLHS == LHS && newRHS == RHS) 102491bc56edSDimitry Andric return MadeChange ? &SVI : nullptr; 1025dff0c46cSDimitry Andric 1026dff0c46cSDimitry Andric SmallVector<int, 16> LHSMask; 1027dff0c46cSDimitry Andric SmallVector<int, 16> RHSMask; 1028dff0c46cSDimitry Andric if (newLHS != LHS) 1029dff0c46cSDimitry Andric LHSMask = LHSShuffle->getShuffleMask(); 1030dff0c46cSDimitry Andric if (RHSShuffle && newRHS != RHS) 1031dff0c46cSDimitry Andric RHSMask = RHSShuffle->getShuffleMask(); 1032dff0c46cSDimitry Andric 1033dff0c46cSDimitry Andric unsigned newLHSWidth = (newLHS != LHS) ? LHSOp0Width : LHSWidth; 1034dff0c46cSDimitry Andric SmallVector<int, 16> newMask; 10352754fe60SDimitry Andric bool isSplat = true; 1036dff0c46cSDimitry Andric int SplatElt = -1; 1037dff0c46cSDimitry Andric // Create a new mask for the new ShuffleVectorInst so that the new 1038dff0c46cSDimitry Andric // ShuffleVectorInst is equivalent to the original one. 1039dff0c46cSDimitry Andric for (unsigned i = 0; i < VWidth; ++i) { 1040dff0c46cSDimitry Andric int eltMask; 1041139f7f9bSDimitry Andric if (Mask[i] < 0) { 1042dff0c46cSDimitry Andric // This element is an undef value. 1043dff0c46cSDimitry Andric eltMask = -1; 1044dff0c46cSDimitry Andric } else if (Mask[i] < (int)LHSWidth) { 1045dff0c46cSDimitry Andric // This element is from left hand side vector operand. 1046dff0c46cSDimitry Andric // 1047dff0c46cSDimitry Andric // If LHS is going to be replaced (case 1, 2, or 4), calculate the 1048dff0c46cSDimitry Andric // new mask value for the element. 1049dff0c46cSDimitry Andric if (newLHS != LHS) { 1050dff0c46cSDimitry Andric eltMask = LHSMask[Mask[i]]; 1051dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 1052dff0c46cSDimitry Andric // with a -1 mask value. 1053dff0c46cSDimitry Andric if (eltMask >= (int)LHSOp0Width && isa<UndefValue>(LHSOp1)) 1054dff0c46cSDimitry Andric eltMask = -1; 1055139f7f9bSDimitry Andric } else 1056dff0c46cSDimitry Andric eltMask = Mask[i]; 1057dff0c46cSDimitry Andric } else { 1058dff0c46cSDimitry Andric // This element is from right hand side vector operand 1059dff0c46cSDimitry Andric // 1060dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 1061dff0c46cSDimitry Andric // with a -1 mask value. (case 1) 1062dff0c46cSDimitry Andric if (isa<UndefValue>(RHS)) 1063dff0c46cSDimitry Andric eltMask = -1; 1064dff0c46cSDimitry Andric // If RHS is going to be replaced (case 3 or 4), calculate the 1065dff0c46cSDimitry Andric // new mask value for the element. 1066dff0c46cSDimitry Andric else if (newRHS != RHS) { 1067dff0c46cSDimitry Andric eltMask = RHSMask[Mask[i]-LHSWidth]; 1068dff0c46cSDimitry Andric // If the value selected is an undef value, explicitly specify it 1069dff0c46cSDimitry Andric // with a -1 mask value. 1070dff0c46cSDimitry Andric if (eltMask >= (int)RHSOp0Width) { 1071dff0c46cSDimitry Andric assert(isa<UndefValue>(RHSShuffle->getOperand(1)) 1072dff0c46cSDimitry Andric && "should have been check above"); 1073dff0c46cSDimitry Andric eltMask = -1; 1074dff0c46cSDimitry Andric } 1075139f7f9bSDimitry Andric } else 1076dff0c46cSDimitry Andric eltMask = Mask[i]-LHSWidth; 1077dff0c46cSDimitry Andric 1078dff0c46cSDimitry Andric // If LHS's width is changed, shift the mask value accordingly. 1079dff0c46cSDimitry Andric // If newRHS == NULL, i.e. LHSOp0 == RHSOp0, we want to remap any 10803861d79fSDimitry Andric // references from RHSOp0 to LHSOp0, so we don't need to shift the mask. 10813861d79fSDimitry Andric // If newRHS == newLHS, we want to remap any references from newRHS to 10823861d79fSDimitry Andric // newLHS so that we can properly identify splats that may occur due to 108391bc56edSDimitry Andric // obfuscation across the two vectors. 108491bc56edSDimitry Andric if (eltMask >= 0 && newRHS != nullptr && newLHS != newRHS) 1085dff0c46cSDimitry Andric eltMask += newLHSWidth; 10862754fe60SDimitry Andric } 1087f22ef01cSRoman Divacky 1088dff0c46cSDimitry Andric // Check if this could still be a splat. 1089dff0c46cSDimitry Andric if (eltMask >= 0) { 1090dff0c46cSDimitry Andric if (SplatElt >= 0 && SplatElt != eltMask) 1091dff0c46cSDimitry Andric isSplat = false; 1092dff0c46cSDimitry Andric SplatElt = eltMask; 1093dff0c46cSDimitry Andric } 1094dff0c46cSDimitry Andric 1095dff0c46cSDimitry Andric newMask.push_back(eltMask); 1096dff0c46cSDimitry Andric } 1097dff0c46cSDimitry Andric 1098dff0c46cSDimitry Andric // If the result mask is equal to one of the original shuffle masks, 1099dff0c46cSDimitry Andric // or is a splat, do the replacement. 1100dff0c46cSDimitry Andric if (isSplat || newMask == LHSMask || newMask == RHSMask || newMask == Mask) { 1101dff0c46cSDimitry Andric SmallVector<Constant*, 16> Elts; 11026122f3e6SDimitry Andric Type *Int32Ty = Type::getInt32Ty(SVI.getContext()); 1103dff0c46cSDimitry Andric for (unsigned i = 0, e = newMask.size(); i != e; ++i) { 1104dff0c46cSDimitry Andric if (newMask[i] < 0) { 11052754fe60SDimitry Andric Elts.push_back(UndefValue::get(Int32Ty)); 1106f22ef01cSRoman Divacky } else { 1107dff0c46cSDimitry Andric Elts.push_back(ConstantInt::get(Int32Ty, newMask[i])); 1108f22ef01cSRoman Divacky } 1109f22ef01cSRoman Divacky } 111091bc56edSDimitry Andric if (!newRHS) 1111dff0c46cSDimitry Andric newRHS = UndefValue::get(newLHS->getType()); 1112dff0c46cSDimitry Andric return new ShuffleVectorInst(newLHS, newRHS, ConstantVector::get(Elts)); 1113f22ef01cSRoman Divacky } 1114f22ef01cSRoman Divacky 111591bc56edSDimitry Andric // If the result mask is an identity, replace uses of this instruction with 111691bc56edSDimitry Andric // corresponding argument. 111791bc56edSDimitry Andric bool isLHSID, isRHSID; 111891bc56edSDimitry Andric RecognizeIdentityMask(newMask, isLHSID, isRHSID); 111991bc56edSDimitry Andric if (isLHSID && VWidth == LHSOp0Width) return ReplaceInstUsesWith(SVI, newLHS); 112091bc56edSDimitry Andric if (isRHSID && VWidth == RHSOp0Width) return ReplaceInstUsesWith(SVI, newRHS); 112191bc56edSDimitry Andric 112291bc56edSDimitry Andric return MadeChange ? &SVI : nullptr; 1123f22ef01cSRoman Divacky } 1124