13b11a16aSHongbin Zheng //===--- BlockGenerators.cpp - Generate code for statements -----*- C++ -*-===// 23b11a16aSHongbin Zheng // 33b11a16aSHongbin Zheng // The LLVM Compiler Infrastructure 43b11a16aSHongbin Zheng // 53b11a16aSHongbin Zheng // This file is distributed under the University of Illinois Open Source 63b11a16aSHongbin Zheng // License. See LICENSE.TXT for details. 73b11a16aSHongbin Zheng // 83b11a16aSHongbin Zheng //===----------------------------------------------------------------------===// 93b11a16aSHongbin Zheng // 103b11a16aSHongbin Zheng // This file implements the BlockGenerator and VectorBlockGenerator classes, 113b11a16aSHongbin Zheng // which generate sequential code and vectorized code for a polyhedral 123b11a16aSHongbin Zheng // statement, respectively. 133b11a16aSHongbin Zheng // 143b11a16aSHongbin Zheng //===----------------------------------------------------------------------===// 153b11a16aSHongbin Zheng 163b11a16aSHongbin Zheng #include "polly/ScopInfo.h" 1768794217SHongbin Zheng #include "polly/CodeGen/CodeGeneration.h" 188a846610SHongbin Zheng #include "polly/CodeGen/BlockGenerators.h" 193b11a16aSHongbin Zheng #include "polly/Support/GICHelper.h" 2097cb813cSSebastian Pop #include "polly/Support/SCEVValidator.h" 21ecfe21b7STobias Grosser #include "polly/Support/ScopHelper.h" 223b11a16aSHongbin Zheng 23e71c6ab5STobias Grosser #include "llvm/Analysis/LoopInfo.h" 24e71c6ab5STobias Grosser #include "llvm/Analysis/ScalarEvolution.h" 25e71c6ab5STobias Grosser #include "llvm/Analysis/ScalarEvolutionExpander.h" 263b11a16aSHongbin Zheng #include "llvm/Transforms/Utils/BasicBlockUtils.h" 273b11a16aSHongbin Zheng #include "llvm/Support/CommandLine.h" 283b11a16aSHongbin Zheng 293b11a16aSHongbin Zheng #include "isl/aff.h" 303b11a16aSHongbin Zheng #include "isl/set.h" 313b11a16aSHongbin Zheng 323b11a16aSHongbin Zheng using namespace llvm; 333b11a16aSHongbin Zheng using namespace polly; 343b11a16aSHongbin Zheng 353b11a16aSHongbin Zheng static cl::opt<bool> 36c14582f2STobias Grosser Aligned("enable-polly-aligned", cl::desc("Assumed aligned memory accesses."), 37c14582f2STobias Grosser cl::Hidden, cl::value_desc("OpenMP code generation enabled if true"), 383b11a16aSHongbin Zheng cl::init(false), cl::ZeroOrMore); 393b11a16aSHongbin Zheng 40*4d96c8d7STobias Grosser static cl::opt<bool, true> SCEVCodegenF( 41*4d96c8d7STobias Grosser "polly-codegen-scev", cl::desc("Use SCEV based code generation."), 42*4d96c8d7STobias Grosser cl::Hidden, cl::location(SCEVCodegen), cl::init(false), cl::ZeroOrMore); 43ecfe21b7STobias Grosser 44ecfe21b7STobias Grosser bool polly::SCEVCodegen; 45ecfe21b7STobias Grosser 46ecfe21b7STobias Grosser bool polly::canSynthesize(const Instruction *I, const llvm::LoopInfo *LI, 47ecfe21b7STobias Grosser ScalarEvolution *SE, const Region *R) { 48ecfe21b7STobias Grosser if (SCEVCodegen) { 49ecfe21b7STobias Grosser if (!I || !SE->isSCEVable(I->getType())) 50ecfe21b7STobias Grosser return false; 51ecfe21b7STobias Grosser 52ecfe21b7STobias Grosser if (const SCEV *Scev = SE->getSCEV(const_cast<Instruction *>(I))) 53ecfe21b7STobias Grosser if (!isa<SCEVCouldNotCompute>(Scev)) 54ecfe21b7STobias Grosser if (!hasScalarDepsInsideRegion(Scev, R)) 55ecfe21b7STobias Grosser return true; 56ecfe21b7STobias Grosser 57ecfe21b7STobias Grosser return false; 58ecfe21b7STobias Grosser } 59ecfe21b7STobias Grosser 60ecfe21b7STobias Grosser Loop *L = LI->getLoopFor(I->getParent()); 61ecfe21b7STobias Grosser return L && I == L->getCanonicalInductionVariable(); 62ecfe21b7STobias Grosser } 63ecfe21b7STobias Grosser 643b11a16aSHongbin Zheng // Helper class to generate memory location. 653b11a16aSHongbin Zheng namespace { 663b11a16aSHongbin Zheng class IslGenerator { 673b11a16aSHongbin Zheng public: 687242ad92STobias Grosser IslGenerator(IRBuilder<> &Builder, std::vector<Value *> &IVS) 697242ad92STobias Grosser : Builder(Builder), IVS(IVS) {} 703b11a16aSHongbin Zheng Value *generateIslInt(__isl_take isl_int Int); 713b11a16aSHongbin Zheng Value *generateIslAff(__isl_take isl_aff *Aff); 723b11a16aSHongbin Zheng Value *generateIslPwAff(__isl_take isl_pw_aff *PwAff); 733b11a16aSHongbin Zheng 743b11a16aSHongbin Zheng private: 753b11a16aSHongbin Zheng typedef struct { 763b11a16aSHongbin Zheng Value *Result; 773b11a16aSHongbin Zheng class IslGenerator *Generator; 783b11a16aSHongbin Zheng } IslGenInfo; 793b11a16aSHongbin Zheng 803b11a16aSHongbin Zheng IRBuilder<> &Builder; 813b11a16aSHongbin Zheng std::vector<Value *> &IVS; 821bb59b0dSTobias Grosser static int mergeIslAffValues(__isl_take isl_set *Set, __isl_take isl_aff *Aff, 831bb59b0dSTobias Grosser void *User); 843b11a16aSHongbin Zheng }; 853b11a16aSHongbin Zheng } 863b11a16aSHongbin Zheng 873b11a16aSHongbin Zheng Value *IslGenerator::generateIslInt(isl_int Int) { 883b11a16aSHongbin Zheng mpz_t IntMPZ; 893b11a16aSHongbin Zheng mpz_init(IntMPZ); 903b11a16aSHongbin Zheng isl_int_get_gmp(Int, IntMPZ); 913b11a16aSHongbin Zheng Value *IntValue = Builder.getInt(APInt_from_MPZ(IntMPZ)); 923b11a16aSHongbin Zheng mpz_clear(IntMPZ); 933b11a16aSHongbin Zheng return IntValue; 943b11a16aSHongbin Zheng } 953b11a16aSHongbin Zheng 963b11a16aSHongbin Zheng Value *IslGenerator::generateIslAff(__isl_take isl_aff *Aff) { 973b11a16aSHongbin Zheng Value *Result; 983b11a16aSHongbin Zheng Value *ConstValue; 993b11a16aSHongbin Zheng isl_int ConstIsl; 1003b11a16aSHongbin Zheng 1013b11a16aSHongbin Zheng isl_int_init(ConstIsl); 1023b11a16aSHongbin Zheng isl_aff_get_constant(Aff, &ConstIsl); 1033b11a16aSHongbin Zheng ConstValue = generateIslInt(ConstIsl); 1043b11a16aSHongbin Zheng Type *Ty = Builder.getInt64Ty(); 1053b11a16aSHongbin Zheng 1063b11a16aSHongbin Zheng // FIXME: We should give the constant and coefficients the right type. Here 1073b11a16aSHongbin Zheng // we force it into i64. 1083b11a16aSHongbin Zheng Result = Builder.CreateSExtOrBitCast(ConstValue, Ty); 1093b11a16aSHongbin Zheng 1103b11a16aSHongbin Zheng unsigned int NbInputDims = isl_aff_dim(Aff, isl_dim_in); 1113b11a16aSHongbin Zheng 1127242ad92STobias Grosser assert((IVS.size() == NbInputDims) && 1137242ad92STobias Grosser "The Dimension of Induction Variables must match the dimension of the " 1147242ad92STobias Grosser "affine space."); 1153b11a16aSHongbin Zheng 1163b11a16aSHongbin Zheng isl_int CoefficientIsl; 1173b11a16aSHongbin Zheng isl_int_init(CoefficientIsl); 1183b11a16aSHongbin Zheng 1193b11a16aSHongbin Zheng for (unsigned int i = 0; i < NbInputDims; ++i) { 1203b11a16aSHongbin Zheng Value *CoefficientValue; 1213b11a16aSHongbin Zheng isl_aff_get_coefficient(Aff, isl_dim_in, i, &CoefficientIsl); 1223b11a16aSHongbin Zheng 1233b11a16aSHongbin Zheng if (isl_int_is_zero(CoefficientIsl)) 1243b11a16aSHongbin Zheng continue; 1253b11a16aSHongbin Zheng 1263b11a16aSHongbin Zheng CoefficientValue = generateIslInt(CoefficientIsl); 1273b11a16aSHongbin Zheng CoefficientValue = Builder.CreateIntCast(CoefficientValue, Ty, true); 1283b11a16aSHongbin Zheng Value *IV = Builder.CreateIntCast(IVS[i], Ty, true); 1293b11a16aSHongbin Zheng Value *PAdd = Builder.CreateMul(CoefficientValue, IV, "p_mul_coeff"); 1303b11a16aSHongbin Zheng Result = Builder.CreateAdd(Result, PAdd, "p_sum_coeff"); 1313b11a16aSHongbin Zheng } 1323b11a16aSHongbin Zheng 1333b11a16aSHongbin Zheng isl_int_clear(CoefficientIsl); 1343b11a16aSHongbin Zheng isl_int_clear(ConstIsl); 1353b11a16aSHongbin Zheng isl_aff_free(Aff); 1363b11a16aSHongbin Zheng 1373b11a16aSHongbin Zheng return Result; 1383b11a16aSHongbin Zheng } 1393b11a16aSHongbin Zheng 1403b11a16aSHongbin Zheng int IslGenerator::mergeIslAffValues(__isl_take isl_set *Set, 1413b11a16aSHongbin Zheng __isl_take isl_aff *Aff, void *User) { 1423b11a16aSHongbin Zheng IslGenInfo *GenInfo = (IslGenInfo *)User; 1433b11a16aSHongbin Zheng 1447242ad92STobias Grosser assert((GenInfo->Result == NULL) && 1457242ad92STobias Grosser "Result is already set. Currently only single isl_aff is supported"); 1467242ad92STobias Grosser assert(isl_set_plain_is_universe(Set) && 1477242ad92STobias Grosser "Code generation failed because the set is not universe"); 1483b11a16aSHongbin Zheng 1493b11a16aSHongbin Zheng GenInfo->Result = GenInfo->Generator->generateIslAff(Aff); 1503b11a16aSHongbin Zheng 1513b11a16aSHongbin Zheng isl_set_free(Set); 1523b11a16aSHongbin Zheng return 0; 1533b11a16aSHongbin Zheng } 1543b11a16aSHongbin Zheng 1553b11a16aSHongbin Zheng Value *IslGenerator::generateIslPwAff(__isl_take isl_pw_aff *PwAff) { 1563b11a16aSHongbin Zheng IslGenInfo User; 1573b11a16aSHongbin Zheng User.Result = NULL; 1583b11a16aSHongbin Zheng User.Generator = this; 1593b11a16aSHongbin Zheng isl_pw_aff_foreach_piece(PwAff, mergeIslAffValues, &User); 1603b11a16aSHongbin Zheng assert(User.Result && "Code generation for isl_pw_aff failed"); 1613b11a16aSHongbin Zheng 1623b11a16aSHongbin Zheng isl_pw_aff_free(PwAff); 1633b11a16aSHongbin Zheng return User.Result; 1643b11a16aSHongbin Zheng } 1653b11a16aSHongbin Zheng 1667242ad92STobias Grosser BlockGenerator::BlockGenerator(IRBuilder<> &B, ScopStmt &Stmt, Pass *P) 1677242ad92STobias Grosser : Builder(B), Statement(Stmt), P(P), SE(P->getAnalysis<ScalarEvolution>()) { 1687242ad92STobias Grosser } 169e71c6ab5STobias Grosser 1703b11a16aSHongbin Zheng Value *BlockGenerator::getNewValue(const Value *Old, ValueMapT &BBMap, 171369430ffSTobias Grosser ValueMapT &GlobalMap, LoopToScevMapT <S, 172369430ffSTobias Grosser Loop *L) { 1733b11a16aSHongbin Zheng // We assume constants never change. 1743b11a16aSHongbin Zheng // This avoids map lookups for many calls to this function. 1753b11a16aSHongbin Zheng if (isa<Constant>(Old)) 1763b11a16aSHongbin Zheng return const_cast<Value *>(Old); 1773b11a16aSHongbin Zheng 1783b11a16aSHongbin Zheng if (GlobalMap.count(Old)) { 1793b11a16aSHongbin Zheng Value *New = GlobalMap[Old]; 1803b11a16aSHongbin Zheng 181c14582f2STobias Grosser if (Old->getType()->getScalarSizeInBits() < 182c14582f2STobias Grosser New->getType()->getScalarSizeInBits()) 1833b11a16aSHongbin Zheng New = Builder.CreateTruncOrBitCast(New, Old->getType()); 1843b11a16aSHongbin Zheng 1853b11a16aSHongbin Zheng return New; 1863b11a16aSHongbin Zheng } 1873b11a16aSHongbin Zheng 1883b11a16aSHongbin Zheng if (BBMap.count(Old)) { 1893b11a16aSHongbin Zheng return BBMap[Old]; 1903b11a16aSHongbin Zheng } 1913b11a16aSHongbin Zheng 192e71c6ab5STobias Grosser if (SCEVCodegen && SE.isSCEVable(Old->getType())) 193369430ffSTobias Grosser if (const SCEV *Scev = SE.getSCEVAtScope(const_cast<Value *>(Old), L)) { 194e71c6ab5STobias Grosser if (!isa<SCEVCouldNotCompute>(Scev)) { 195637b23dcSSebastian Pop const SCEV *NewScev = apply(Scev, LTS, SE); 196637b23dcSSebastian Pop ValueToValueMap VTV; 197637b23dcSSebastian Pop VTV.insert(BBMap.begin(), BBMap.end()); 198637b23dcSSebastian Pop VTV.insert(GlobalMap.begin(), GlobalMap.end()); 19947d4ee3eSSebastian Pop NewScev = SCEVParameterRewriter::rewrite(NewScev, SE, VTV); 200e71c6ab5STobias Grosser SCEVExpander Expander(SE, "polly"); 201e71c6ab5STobias Grosser Value *Expanded = Expander.expandCodeFor(NewScev, Old->getType(), 202e71c6ab5STobias Grosser Builder.GetInsertPoint()); 203e71c6ab5STobias Grosser 204e71c6ab5STobias Grosser BBMap[Old] = Expanded; 205e71c6ab5STobias Grosser return Expanded; 206e71c6ab5STobias Grosser } 207369430ffSTobias Grosser } 208e71c6ab5STobias Grosser 209ecfe21b7STobias Grosser if (const Instruction *Inst = dyn_cast<Instruction>(Old)) { 210ecfe21b7STobias Grosser (void) Inst; 211ecfe21b7STobias Grosser assert(!Statement.getParent()->getRegion().contains(Inst->getParent()) && 212ecfe21b7STobias Grosser "unexpected scalar dependence in region"); 213ecfe21b7STobias Grosser } 2143b11a16aSHongbin Zheng 2153b11a16aSHongbin Zheng // Everything else is probably a scop-constant value defined as global, 2163b11a16aSHongbin Zheng // function parameter or an instruction not within the scop. 2173b11a16aSHongbin Zheng return const_cast<Value *>(Old); 2183b11a16aSHongbin Zheng } 2193b11a16aSHongbin Zheng 2203b11a16aSHongbin Zheng void BlockGenerator::copyInstScalar(const Instruction *Inst, ValueMapT &BBMap, 2219d10fffaSSebastian Pop ValueMapT &GlobalMap, LoopToScevMapT <S) { 2223b11a16aSHongbin Zheng Instruction *NewInst = Inst->clone(); 2233b11a16aSHongbin Zheng 2243b11a16aSHongbin Zheng // Replace old operands with the new ones. 2253b11a16aSHongbin Zheng for (Instruction::const_op_iterator OI = Inst->op_begin(), 226c14582f2STobias Grosser OE = Inst->op_end(); 227c14582f2STobias Grosser OI != OE; ++OI) { 2283b11a16aSHongbin Zheng Value *OldOperand = *OI; 229369430ffSTobias Grosser Value *NewOperand = 230369430ffSTobias Grosser getNewValue(OldOperand, BBMap, GlobalMap, LTS, getLoopForInst(Inst)); 2313b11a16aSHongbin Zheng 2323b11a16aSHongbin Zheng if (!NewOperand) { 233c14582f2STobias Grosser assert(!isa<StoreInst>(NewInst) && 234c14582f2STobias Grosser "Store instructions are always needed!"); 2353b11a16aSHongbin Zheng delete NewInst; 2363b11a16aSHongbin Zheng return; 2373b11a16aSHongbin Zheng } 2383b11a16aSHongbin Zheng 2393b11a16aSHongbin Zheng NewInst->replaceUsesOfWith(OldOperand, NewOperand); 2403b11a16aSHongbin Zheng } 2413b11a16aSHongbin Zheng 2423b11a16aSHongbin Zheng Builder.Insert(NewInst); 2433b11a16aSHongbin Zheng BBMap[Inst] = NewInst; 2443b11a16aSHongbin Zheng 2453b11a16aSHongbin Zheng if (!NewInst->getType()->isVoidTy()) 2463b11a16aSHongbin Zheng NewInst->setName("p_" + Inst->getName()); 2473b11a16aSHongbin Zheng } 2483b11a16aSHongbin Zheng 2493b11a16aSHongbin Zheng std::vector<Value *> BlockGenerator::getMemoryAccessIndex( 250c14582f2STobias Grosser __isl_keep isl_map *AccessRelation, Value *BaseAddress, ValueMapT &BBMap, 251369430ffSTobias Grosser ValueMapT &GlobalMap, LoopToScevMapT <S, Loop *L) { 2523b11a16aSHongbin Zheng 253ae2d83ecSTobias Grosser assert((isl_map_dim(AccessRelation, isl_dim_out) == 1) && 254ae2d83ecSTobias Grosser "Only single dimensional access functions supported"); 2553b11a16aSHongbin Zheng 2563b11a16aSHongbin Zheng std::vector<Value *> IVS; 2573b11a16aSHongbin Zheng for (unsigned i = 0; i < Statement.getNumIterators(); ++i) { 2583b11a16aSHongbin Zheng const Value *OriginalIV = Statement.getInductionVariableForDimension(i); 259369430ffSTobias Grosser Value *NewIV = getNewValue(OriginalIV, BBMap, GlobalMap, LTS, L); 2603b11a16aSHongbin Zheng IVS.push_back(NewIV); 2613b11a16aSHongbin Zheng } 2623b11a16aSHongbin Zheng 2633b11a16aSHongbin Zheng isl_pw_aff *PwAff = isl_map_dim_max(isl_map_copy(AccessRelation), 0); 2643b11a16aSHongbin Zheng IslGenerator IslGen(Builder, IVS); 2653b11a16aSHongbin Zheng Value *OffsetValue = IslGen.generateIslPwAff(PwAff); 2663b11a16aSHongbin Zheng 2673b11a16aSHongbin Zheng Type *Ty = Builder.getInt64Ty(); 2683b11a16aSHongbin Zheng OffsetValue = Builder.CreateIntCast(OffsetValue, Ty, true); 2693b11a16aSHongbin Zheng 2703b11a16aSHongbin Zheng std::vector<Value *> IndexArray; 2713b11a16aSHongbin Zheng Value *NullValue = Constant::getNullValue(Ty); 2723b11a16aSHongbin Zheng IndexArray.push_back(NullValue); 2733b11a16aSHongbin Zheng IndexArray.push_back(OffsetValue); 2743b11a16aSHongbin Zheng return IndexArray; 2753b11a16aSHongbin Zheng } 2763b11a16aSHongbin Zheng 2773b11a16aSHongbin Zheng Value *BlockGenerator::getNewAccessOperand( 278c14582f2STobias Grosser __isl_keep isl_map *NewAccessRelation, Value *BaseAddress, ValueMapT &BBMap, 279369430ffSTobias Grosser ValueMapT &GlobalMap, LoopToScevMapT <S, Loop *L) { 2807242ad92STobias Grosser std::vector<Value *> IndexArray = getMemoryAccessIndex( 281369430ffSTobias Grosser NewAccessRelation, BaseAddress, BBMap, GlobalMap, LTS, L); 282c14582f2STobias Grosser Value *NewOperand = 283c14582f2STobias Grosser Builder.CreateGEP(BaseAddress, IndexArray, "p_newarrayidx_"); 2843b11a16aSHongbin Zheng return NewOperand; 2853b11a16aSHongbin Zheng } 2863b11a16aSHongbin Zheng 287c14582f2STobias Grosser Value *BlockGenerator::generateLocationAccessed( 288c14582f2STobias Grosser const Instruction *Inst, const Value *Pointer, ValueMapT &BBMap, 2899d10fffaSSebastian Pop ValueMapT &GlobalMap, LoopToScevMapT <S) { 2903b11a16aSHongbin Zheng MemoryAccess &Access = Statement.getAccessFor(Inst); 2913b11a16aSHongbin Zheng isl_map *CurrentAccessRelation = Access.getAccessRelation(); 2923b11a16aSHongbin Zheng isl_map *NewAccessRelation = Access.getNewAccessRelation(); 2933b11a16aSHongbin Zheng 294ae2d83ecSTobias Grosser assert(isl_map_has_equal_space(CurrentAccessRelation, NewAccessRelation) && 295ae2d83ecSTobias Grosser "Current and new access function use different spaces"); 2963b11a16aSHongbin Zheng 2973b11a16aSHongbin Zheng Value *NewPointer; 2983b11a16aSHongbin Zheng 2993b11a16aSHongbin Zheng if (!NewAccessRelation) { 300369430ffSTobias Grosser NewPointer = 301369430ffSTobias Grosser getNewValue(Pointer, BBMap, GlobalMap, LTS, getLoopForInst(Inst)); 3023b11a16aSHongbin Zheng } else { 3033b11a16aSHongbin Zheng Value *BaseAddress = const_cast<Value *>(Access.getBaseAddr()); 3047242ad92STobias Grosser NewPointer = getNewAccessOperand(NewAccessRelation, BaseAddress, BBMap, 305369430ffSTobias Grosser GlobalMap, LTS, getLoopForInst(Inst)); 3063b11a16aSHongbin Zheng } 3073b11a16aSHongbin Zheng 3083b11a16aSHongbin Zheng isl_map_free(CurrentAccessRelation); 3093b11a16aSHongbin Zheng isl_map_free(NewAccessRelation); 3103b11a16aSHongbin Zheng return NewPointer; 3113b11a16aSHongbin Zheng } 3123b11a16aSHongbin Zheng 313*4d96c8d7STobias Grosser Loop *BlockGenerator::getLoopForInst(const llvm::Instruction *Inst) { 314369430ffSTobias Grosser return P->getAnalysis<LoopInfo>().getLoopFor(Inst->getParent()); 315369430ffSTobias Grosser } 316369430ffSTobias Grosser 3177242ad92STobias Grosser Value * 3187242ad92STobias Grosser BlockGenerator::generateScalarLoad(const LoadInst *Load, ValueMapT &BBMap, 3197242ad92STobias Grosser ValueMapT &GlobalMap, LoopToScevMapT <S) { 3203b11a16aSHongbin Zheng const Value *Pointer = Load->getPointerOperand(); 3213b11a16aSHongbin Zheng const Instruction *Inst = dyn_cast<Instruction>(Load); 3227242ad92STobias Grosser Value *NewPointer = 3237242ad92STobias Grosser generateLocationAccessed(Inst, Pointer, BBMap, GlobalMap, LTS); 324c14582f2STobias Grosser Value *ScalarLoad = 325c14582f2STobias Grosser Builder.CreateLoad(NewPointer, Load->getName() + "_p_scalar_"); 3263b11a16aSHongbin Zheng return ScalarLoad; 3273b11a16aSHongbin Zheng } 3283b11a16aSHongbin Zheng 3297242ad92STobias Grosser Value * 3307242ad92STobias Grosser BlockGenerator::generateScalarStore(const StoreInst *Store, ValueMapT &BBMap, 3317242ad92STobias Grosser ValueMapT &GlobalMap, LoopToScevMapT <S) { 3323b11a16aSHongbin Zheng const Value *Pointer = Store->getPointerOperand(); 333c14582f2STobias Grosser Value *NewPointer = 3349d10fffaSSebastian Pop generateLocationAccessed(Store, Pointer, BBMap, GlobalMap, LTS); 335369430ffSTobias Grosser Value *ValueOperand = getNewValue(Store->getValueOperand(), BBMap, GlobalMap, 336369430ffSTobias Grosser LTS, getLoopForInst(Store)); 3373b11a16aSHongbin Zheng 3383b11a16aSHongbin Zheng return Builder.CreateStore(ValueOperand, NewPointer); 3393b11a16aSHongbin Zheng } 3403b11a16aSHongbin Zheng 3411bb59b0dSTobias Grosser void BlockGenerator::copyInstruction(const Instruction *Inst, ValueMapT &BBMap, 3429d10fffaSSebastian Pop ValueMapT &GlobalMap, 3439d10fffaSSebastian Pop LoopToScevMapT <S) { 3443b11a16aSHongbin Zheng // Terminator instructions control the control flow. They are explicitly 3453b11a16aSHongbin Zheng // expressed in the clast and do not need to be copied. 3463b11a16aSHongbin Zheng if (Inst->isTerminator()) 3473b11a16aSHongbin Zheng return; 3483b11a16aSHongbin Zheng 349ecfe21b7STobias Grosser if (canSynthesize(Inst, &P->getAnalysis<LoopInfo>(), &SE, 350ecfe21b7STobias Grosser &Statement.getParent()->getRegion())) 351e71c6ab5STobias Grosser return; 352e71c6ab5STobias Grosser 3533b11a16aSHongbin Zheng if (const LoadInst *Load = dyn_cast<LoadInst>(Inst)) { 3549d10fffaSSebastian Pop BBMap[Load] = generateScalarLoad(Load, BBMap, GlobalMap, LTS); 3553b11a16aSHongbin Zheng return; 3563b11a16aSHongbin Zheng } 3573b11a16aSHongbin Zheng 3583b11a16aSHongbin Zheng if (const StoreInst *Store = dyn_cast<StoreInst>(Inst)) { 3599d10fffaSSebastian Pop BBMap[Store] = generateScalarStore(Store, BBMap, GlobalMap, LTS); 3603b11a16aSHongbin Zheng return; 3613b11a16aSHongbin Zheng } 3623b11a16aSHongbin Zheng 3639d10fffaSSebastian Pop copyInstScalar(Inst, BBMap, GlobalMap, LTS); 3643b11a16aSHongbin Zheng } 3653b11a16aSHongbin Zheng 3669d10fffaSSebastian Pop void BlockGenerator::copyBB(ValueMapT &GlobalMap, LoopToScevMapT <S) { 3673b11a16aSHongbin Zheng BasicBlock *BB = Statement.getBasicBlock(); 368c14582f2STobias Grosser BasicBlock *CopyBB = 369c14582f2STobias Grosser SplitBlock(Builder.GetInsertBlock(), Builder.GetInsertPoint(), P); 3703b11a16aSHongbin Zheng CopyBB->setName("polly.stmt." + BB->getName()); 3713b11a16aSHongbin Zheng Builder.SetInsertPoint(CopyBB->begin()); 3723b11a16aSHongbin Zheng 3733b11a16aSHongbin Zheng ValueMapT BBMap; 3743b11a16aSHongbin Zheng 3753b11a16aSHongbin Zheng for (BasicBlock::const_iterator II = BB->begin(), IE = BB->end(); II != IE; 3763b11a16aSHongbin Zheng ++II) 3779d10fffaSSebastian Pop copyInstruction(II, BBMap, GlobalMap, LTS); 3783b11a16aSHongbin Zheng } 3793b11a16aSHongbin Zheng 380c14582f2STobias Grosser VectorBlockGenerator::VectorBlockGenerator( 3817242ad92STobias Grosser IRBuilder<> &B, VectorValueMapT &GlobalMaps, 3827242ad92STobias Grosser std::vector<LoopToScevMapT> &VLTS, ScopStmt &Stmt, 3837242ad92STobias Grosser __isl_keep isl_map *Schedule, Pass *P) 3849d10fffaSSebastian Pop : BlockGenerator(B, Stmt, P), GlobalMaps(GlobalMaps), VLTS(VLTS), 3859d10fffaSSebastian Pop Schedule(Schedule) { 3863b11a16aSHongbin Zheng assert(GlobalMaps.size() > 1 && "Only one vector lane found"); 387a00a0291SSebastian Pop assert(Schedule && "No statement domain provided"); 3883b11a16aSHongbin Zheng } 3893b11a16aSHongbin Zheng 390*4d96c8d7STobias Grosser Value * 391*4d96c8d7STobias Grosser VectorBlockGenerator::getVectorValue(const Value *Old, ValueMapT &VectorMap, 392*4d96c8d7STobias Grosser VectorValueMapT &ScalarMaps, Loop *L) { 3933b11a16aSHongbin Zheng if (VectorMap.count(Old)) 3943b11a16aSHongbin Zheng return VectorMap[Old]; 3953b11a16aSHongbin Zheng 3963b11a16aSHongbin Zheng int Width = getVectorWidth(); 3973b11a16aSHongbin Zheng 3983b11a16aSHongbin Zheng Value *Vector = UndefValue::get(VectorType::get(Old->getType(), Width)); 3993b11a16aSHongbin Zheng 4003b11a16aSHongbin Zheng for (int Lane = 0; Lane < Width; Lane++) 401c14582f2STobias Grosser Vector = Builder.CreateInsertElement( 4027242ad92STobias Grosser Vector, 403369430ffSTobias Grosser getNewValue(Old, ScalarMaps[Lane], GlobalMaps[Lane], VLTS[Lane], L), 4047242ad92STobias Grosser Builder.getInt32(Lane)); 4053b11a16aSHongbin Zheng 4063b11a16aSHongbin Zheng VectorMap[Old] = Vector; 4073b11a16aSHongbin Zheng 4083b11a16aSHongbin Zheng return Vector; 4093b11a16aSHongbin Zheng } 4103b11a16aSHongbin Zheng 4113b11a16aSHongbin Zheng Type *VectorBlockGenerator::getVectorPtrTy(const Value *Val, int Width) { 4123b11a16aSHongbin Zheng PointerType *PointerTy = dyn_cast<PointerType>(Val->getType()); 4133b11a16aSHongbin Zheng assert(PointerTy && "PointerType expected"); 4143b11a16aSHongbin Zheng 4153b11a16aSHongbin Zheng Type *ScalarType = PointerTy->getElementType(); 4163b11a16aSHongbin Zheng VectorType *VectorType = VectorType::get(ScalarType, Width); 4173b11a16aSHongbin Zheng 4183b11a16aSHongbin Zheng return PointerType::getUnqual(VectorType); 4193b11a16aSHongbin Zheng } 4203b11a16aSHongbin Zheng 4213b11a16aSHongbin Zheng Value *VectorBlockGenerator::generateStrideOneLoad(const LoadInst *Load, 4223b11a16aSHongbin Zheng ValueMapT &BBMap) { 4233b11a16aSHongbin Zheng const Value *Pointer = Load->getPointerOperand(); 4243b11a16aSHongbin Zheng Type *VectorPtrType = getVectorPtrTy(Pointer, getVectorWidth()); 425369430ffSTobias Grosser Value *NewPointer = 426369430ffSTobias Grosser getNewValue(Pointer, BBMap, GlobalMaps[0], VLTS[0], getLoopForInst(Load)); 427c14582f2STobias Grosser Value *VectorPtr = 428c14582f2STobias Grosser Builder.CreateBitCast(NewPointer, VectorPtrType, "vector_ptr"); 429c14582f2STobias Grosser LoadInst *VecLoad = 430c14582f2STobias Grosser Builder.CreateLoad(VectorPtr, Load->getName() + "_p_vec_full"); 4313b11a16aSHongbin Zheng if (!Aligned) 4323b11a16aSHongbin Zheng VecLoad->setAlignment(8); 4333b11a16aSHongbin Zheng 4343b11a16aSHongbin Zheng return VecLoad; 4353b11a16aSHongbin Zheng } 4363b11a16aSHongbin Zheng 4373b11a16aSHongbin Zheng Value *VectorBlockGenerator::generateStrideZeroLoad(const LoadInst *Load, 4383b11a16aSHongbin Zheng ValueMapT &BBMap) { 4393b11a16aSHongbin Zheng const Value *Pointer = Load->getPointerOperand(); 4403b11a16aSHongbin Zheng Type *VectorPtrType = getVectorPtrTy(Pointer, 1); 441369430ffSTobias Grosser Value *NewPointer = 442369430ffSTobias Grosser getNewValue(Pointer, BBMap, GlobalMaps[0], VLTS[0], getLoopForInst(Load)); 4433b11a16aSHongbin Zheng Value *VectorPtr = Builder.CreateBitCast(NewPointer, VectorPtrType, 4443b11a16aSHongbin Zheng Load->getName() + "_p_vec_p"); 445c14582f2STobias Grosser LoadInst *ScalarLoad = 446c14582f2STobias Grosser Builder.CreateLoad(VectorPtr, Load->getName() + "_p_splat_one"); 4473b11a16aSHongbin Zheng 4483b11a16aSHongbin Zheng if (!Aligned) 4493b11a16aSHongbin Zheng ScalarLoad->setAlignment(8); 4503b11a16aSHongbin Zheng 451c14582f2STobias Grosser Constant *SplatVector = Constant::getNullValue( 452c14582f2STobias Grosser VectorType::get(Builder.getInt32Ty(), getVectorWidth())); 4533b11a16aSHongbin Zheng 454c14582f2STobias Grosser Value *VectorLoad = Builder.CreateShuffleVector( 455c14582f2STobias Grosser ScalarLoad, ScalarLoad, SplatVector, Load->getName() + "_p_splat"); 4563b11a16aSHongbin Zheng return VectorLoad; 4573b11a16aSHongbin Zheng } 4583b11a16aSHongbin Zheng 459c14582f2STobias Grosser Value *VectorBlockGenerator::generateUnknownStrideLoad( 460c14582f2STobias Grosser const LoadInst *Load, VectorValueMapT &ScalarMaps) { 4613b11a16aSHongbin Zheng int VectorWidth = getVectorWidth(); 4623b11a16aSHongbin Zheng const Value *Pointer = Load->getPointerOperand(); 4633b11a16aSHongbin Zheng VectorType *VectorType = VectorType::get( 4643b11a16aSHongbin Zheng dyn_cast<PointerType>(Pointer->getType())->getElementType(), VectorWidth); 4653b11a16aSHongbin Zheng 4663b11a16aSHongbin Zheng Value *Vector = UndefValue::get(VectorType); 4673b11a16aSHongbin Zheng 4683b11a16aSHongbin Zheng for (int i = 0; i < VectorWidth; i++) { 469369430ffSTobias Grosser Value *NewPointer = getNewValue(Pointer, ScalarMaps[i], GlobalMaps[i], 470369430ffSTobias Grosser VLTS[i], getLoopForInst(Load)); 471c14582f2STobias Grosser Value *ScalarLoad = 472c14582f2STobias Grosser Builder.CreateLoad(NewPointer, Load->getName() + "_p_scalar_"); 473c14582f2STobias Grosser Vector = Builder.CreateInsertElement( 474c14582f2STobias Grosser Vector, ScalarLoad, Builder.getInt32(i), Load->getName() + "_p_vec_"); 4753b11a16aSHongbin Zheng } 4763b11a16aSHongbin Zheng 4773b11a16aSHongbin Zheng return Vector; 4783b11a16aSHongbin Zheng } 4793b11a16aSHongbin Zheng 480c14582f2STobias Grosser void VectorBlockGenerator::generateLoad( 481c14582f2STobias Grosser const LoadInst *Load, ValueMapT &VectorMap, VectorValueMapT &ScalarMaps) { 48268794217SHongbin Zheng if (PollyVectorizerChoice >= VECTORIZER_FIRST_NEED_GROUPED_UNROLL || 48368794217SHongbin Zheng !VectorType::isValidElementType(Load->getType())) { 4843b11a16aSHongbin Zheng for (int i = 0; i < getVectorWidth(); i++) 485c14582f2STobias Grosser ScalarMaps[i][Load] = 4869d10fffaSSebastian Pop generateScalarLoad(Load, ScalarMaps[i], GlobalMaps[i], VLTS[i]); 4873b11a16aSHongbin Zheng return; 4883b11a16aSHongbin Zheng } 4893b11a16aSHongbin Zheng 4903b11a16aSHongbin Zheng MemoryAccess &Access = Statement.getAccessFor(Load); 4913b11a16aSHongbin Zheng 4923b11a16aSHongbin Zheng Value *NewLoad; 493a00a0291SSebastian Pop if (Access.isStrideZero(isl_map_copy(Schedule))) 4943b11a16aSHongbin Zheng NewLoad = generateStrideZeroLoad(Load, ScalarMaps[0]); 495a00a0291SSebastian Pop else if (Access.isStrideOne(isl_map_copy(Schedule))) 4963b11a16aSHongbin Zheng NewLoad = generateStrideOneLoad(Load, ScalarMaps[0]); 4973b11a16aSHongbin Zheng else 4983b11a16aSHongbin Zheng NewLoad = generateUnknownStrideLoad(Load, ScalarMaps); 4993b11a16aSHongbin Zheng 5003b11a16aSHongbin Zheng VectorMap[Load] = NewLoad; 5013b11a16aSHongbin Zheng } 5023b11a16aSHongbin Zheng 5033b11a16aSHongbin Zheng void VectorBlockGenerator::copyUnaryInst(const UnaryInstruction *Inst, 5043b11a16aSHongbin Zheng ValueMapT &VectorMap, 5053b11a16aSHongbin Zheng VectorValueMapT &ScalarMaps) { 5063b11a16aSHongbin Zheng int VectorWidth = getVectorWidth(); 507369430ffSTobias Grosser Value *NewOperand = getVectorValue(Inst->getOperand(0), VectorMap, ScalarMaps, 508369430ffSTobias Grosser getLoopForInst(Inst)); 5093b11a16aSHongbin Zheng 5103b11a16aSHongbin Zheng assert(isa<CastInst>(Inst) && "Can not generate vector code for instruction"); 5113b11a16aSHongbin Zheng 5123b11a16aSHongbin Zheng const CastInst *Cast = dyn_cast<CastInst>(Inst); 5133b11a16aSHongbin Zheng VectorType *DestType = VectorType::get(Inst->getType(), VectorWidth); 5143b11a16aSHongbin Zheng VectorMap[Inst] = Builder.CreateCast(Cast->getOpcode(), NewOperand, DestType); 5153b11a16aSHongbin Zheng } 5163b11a16aSHongbin Zheng 5173b11a16aSHongbin Zheng void VectorBlockGenerator::copyBinaryInst(const BinaryOperator *Inst, 5183b11a16aSHongbin Zheng ValueMapT &VectorMap, 5193b11a16aSHongbin Zheng VectorValueMapT &ScalarMaps) { 520369430ffSTobias Grosser Loop *L = getLoopForInst(Inst); 5213b11a16aSHongbin Zheng Value *OpZero = Inst->getOperand(0); 5223b11a16aSHongbin Zheng Value *OpOne = Inst->getOperand(1); 5233b11a16aSHongbin Zheng 5243b11a16aSHongbin Zheng Value *NewOpZero, *NewOpOne; 525369430ffSTobias Grosser NewOpZero = getVectorValue(OpZero, VectorMap, ScalarMaps, L); 526369430ffSTobias Grosser NewOpOne = getVectorValue(OpOne, VectorMap, ScalarMaps, L); 5273b11a16aSHongbin Zheng 5281bb59b0dSTobias Grosser Value *NewInst = Builder.CreateBinOp(Inst->getOpcode(), NewOpZero, NewOpOne, 5293b11a16aSHongbin Zheng Inst->getName() + "p_vec"); 5303b11a16aSHongbin Zheng VectorMap[Inst] = NewInst; 5313b11a16aSHongbin Zheng } 5323b11a16aSHongbin Zheng 533c14582f2STobias Grosser void VectorBlockGenerator::copyStore( 534c14582f2STobias Grosser const StoreInst *Store, ValueMapT &VectorMap, VectorValueMapT &ScalarMaps) { 5353b11a16aSHongbin Zheng int VectorWidth = getVectorWidth(); 5363b11a16aSHongbin Zheng 5373b11a16aSHongbin Zheng MemoryAccess &Access = Statement.getAccessFor(Store); 5383b11a16aSHongbin Zheng 5393b11a16aSHongbin Zheng const Value *Pointer = Store->getPointerOperand(); 540369430ffSTobias Grosser Value *Vector = getVectorValue(Store->getValueOperand(), VectorMap, 541369430ffSTobias Grosser ScalarMaps, getLoopForInst(Store)); 5423b11a16aSHongbin Zheng 543a00a0291SSebastian Pop if (Access.isStrideOne(isl_map_copy(Schedule))) { 5443b11a16aSHongbin Zheng Type *VectorPtrType = getVectorPtrTy(Pointer, VectorWidth); 545369430ffSTobias Grosser Value *NewPointer = getNewValue(Pointer, ScalarMaps[0], GlobalMaps[0], 546369430ffSTobias Grosser VLTS[0], getLoopForInst(Store)); 5473b11a16aSHongbin Zheng 548c14582f2STobias Grosser Value *VectorPtr = 549c14582f2STobias Grosser Builder.CreateBitCast(NewPointer, VectorPtrType, "vector_ptr"); 5503b11a16aSHongbin Zheng StoreInst *Store = Builder.CreateStore(Vector, VectorPtr); 5513b11a16aSHongbin Zheng 5523b11a16aSHongbin Zheng if (!Aligned) 5533b11a16aSHongbin Zheng Store->setAlignment(8); 5543b11a16aSHongbin Zheng } else { 5553b11a16aSHongbin Zheng for (unsigned i = 0; i < ScalarMaps.size(); i++) { 5561bb59b0dSTobias Grosser Value *Scalar = Builder.CreateExtractElement(Vector, Builder.getInt32(i)); 557369430ffSTobias Grosser Value *NewPointer = getNewValue(Pointer, ScalarMaps[i], GlobalMaps[i], 558369430ffSTobias Grosser VLTS[i], getLoopForInst(Store)); 5593b11a16aSHongbin Zheng Builder.CreateStore(Scalar, NewPointer); 5603b11a16aSHongbin Zheng } 5613b11a16aSHongbin Zheng } 5623b11a16aSHongbin Zheng } 5633b11a16aSHongbin Zheng 5643b11a16aSHongbin Zheng bool VectorBlockGenerator::hasVectorOperands(const Instruction *Inst, 5653b11a16aSHongbin Zheng ValueMapT &VectorMap) { 5663b11a16aSHongbin Zheng for (Instruction::const_op_iterator OI = Inst->op_begin(), 567c14582f2STobias Grosser OE = Inst->op_end(); 568c14582f2STobias Grosser OI != OE; ++OI) 5693b11a16aSHongbin Zheng if (VectorMap.count(*OI)) 5703b11a16aSHongbin Zheng return true; 5713b11a16aSHongbin Zheng return false; 5723b11a16aSHongbin Zheng } 5733b11a16aSHongbin Zheng 5743b11a16aSHongbin Zheng bool VectorBlockGenerator::extractScalarValues(const Instruction *Inst, 5753b11a16aSHongbin Zheng ValueMapT &VectorMap, 5763b11a16aSHongbin Zheng VectorValueMapT &ScalarMaps) { 5773b11a16aSHongbin Zheng bool HasVectorOperand = false; 5783b11a16aSHongbin Zheng int VectorWidth = getVectorWidth(); 5793b11a16aSHongbin Zheng 5803b11a16aSHongbin Zheng for (Instruction::const_op_iterator OI = Inst->op_begin(), 581c14582f2STobias Grosser OE = Inst->op_end(); 582c14582f2STobias Grosser OI != OE; ++OI) { 5833b11a16aSHongbin Zheng ValueMapT::iterator VecOp = VectorMap.find(*OI); 5843b11a16aSHongbin Zheng 5853b11a16aSHongbin Zheng if (VecOp == VectorMap.end()) 5863b11a16aSHongbin Zheng continue; 5873b11a16aSHongbin Zheng 5883b11a16aSHongbin Zheng HasVectorOperand = true; 5893b11a16aSHongbin Zheng Value *NewVector = VecOp->second; 5903b11a16aSHongbin Zheng 5913b11a16aSHongbin Zheng for (int i = 0; i < VectorWidth; ++i) { 5923b11a16aSHongbin Zheng ValueMapT &SM = ScalarMaps[i]; 5933b11a16aSHongbin Zheng 5943b11a16aSHongbin Zheng // If there is one scalar extracted, all scalar elements should have 5953b11a16aSHongbin Zheng // already been extracted by the code here. So no need to check for the 5963b11a16aSHongbin Zheng // existance of all of them. 5973b11a16aSHongbin Zheng if (SM.count(*OI)) 5983b11a16aSHongbin Zheng break; 5993b11a16aSHongbin Zheng 6003b11a16aSHongbin Zheng SM[*OI] = Builder.CreateExtractElement(NewVector, Builder.getInt32(i)); 6013b11a16aSHongbin Zheng } 6023b11a16aSHongbin Zheng } 6033b11a16aSHongbin Zheng 6043b11a16aSHongbin Zheng return HasVectorOperand; 6053b11a16aSHongbin Zheng } 6063b11a16aSHongbin Zheng 6073b11a16aSHongbin Zheng void VectorBlockGenerator::copyInstScalarized(const Instruction *Inst, 6083b11a16aSHongbin Zheng ValueMapT &VectorMap, 6093b11a16aSHongbin Zheng VectorValueMapT &ScalarMaps) { 6103b11a16aSHongbin Zheng bool HasVectorOperand; 6113b11a16aSHongbin Zheng int VectorWidth = getVectorWidth(); 6123b11a16aSHongbin Zheng 6133b11a16aSHongbin Zheng HasVectorOperand = extractScalarValues(Inst, VectorMap, ScalarMaps); 6143b11a16aSHongbin Zheng 6153b11a16aSHongbin Zheng for (int VectorLane = 0; VectorLane < getVectorWidth(); VectorLane++) 6169d10fffaSSebastian Pop copyInstScalar(Inst, ScalarMaps[VectorLane], GlobalMaps[VectorLane], 6179d10fffaSSebastian Pop VLTS[VectorLane]); 6183b11a16aSHongbin Zheng 6193b11a16aSHongbin Zheng if (!VectorType::isValidElementType(Inst->getType()) || !HasVectorOperand) 6203b11a16aSHongbin Zheng return; 6213b11a16aSHongbin Zheng 6223b11a16aSHongbin Zheng // Make the result available as vector value. 6233b11a16aSHongbin Zheng VectorType *VectorType = VectorType::get(Inst->getType(), VectorWidth); 6243b11a16aSHongbin Zheng Value *Vector = UndefValue::get(VectorType); 6253b11a16aSHongbin Zheng 6263b11a16aSHongbin Zheng for (int i = 0; i < VectorWidth; i++) 6273b11a16aSHongbin Zheng Vector = Builder.CreateInsertElement(Vector, ScalarMaps[i][Inst], 6283b11a16aSHongbin Zheng Builder.getInt32(i)); 6293b11a16aSHongbin Zheng 6303b11a16aSHongbin Zheng VectorMap[Inst] = Vector; 6313b11a16aSHongbin Zheng } 6323b11a16aSHongbin Zheng 633c14582f2STobias Grosser int VectorBlockGenerator::getVectorWidth() { return GlobalMaps.size(); } 6343b11a16aSHongbin Zheng 6353b11a16aSHongbin Zheng void VectorBlockGenerator::copyInstruction(const Instruction *Inst, 6363b11a16aSHongbin Zheng ValueMapT &VectorMap, 6373b11a16aSHongbin Zheng VectorValueMapT &ScalarMaps) { 6383b11a16aSHongbin Zheng // Terminator instructions control the control flow. They are explicitly 6393b11a16aSHongbin Zheng // expressed in the clast and do not need to be copied. 6403b11a16aSHongbin Zheng if (Inst->isTerminator()) 6413b11a16aSHongbin Zheng return; 6423b11a16aSHongbin Zheng 643ecfe21b7STobias Grosser if (canSynthesize(Inst, &P->getAnalysis<LoopInfo>(), &SE, 644ecfe21b7STobias Grosser &Statement.getParent()->getRegion())) 645e71c6ab5STobias Grosser return; 646e71c6ab5STobias Grosser 6473b11a16aSHongbin Zheng if (const LoadInst *Load = dyn_cast<LoadInst>(Inst)) { 6483b11a16aSHongbin Zheng generateLoad(Load, VectorMap, ScalarMaps); 6493b11a16aSHongbin Zheng return; 6503b11a16aSHongbin Zheng } 6513b11a16aSHongbin Zheng 6523b11a16aSHongbin Zheng if (hasVectorOperands(Inst, VectorMap)) { 6533b11a16aSHongbin Zheng if (const StoreInst *Store = dyn_cast<StoreInst>(Inst)) { 6543b11a16aSHongbin Zheng copyStore(Store, VectorMap, ScalarMaps); 6553b11a16aSHongbin Zheng return; 6563b11a16aSHongbin Zheng } 6573b11a16aSHongbin Zheng 6583b11a16aSHongbin Zheng if (const UnaryInstruction *Unary = dyn_cast<UnaryInstruction>(Inst)) { 6593b11a16aSHongbin Zheng copyUnaryInst(Unary, VectorMap, ScalarMaps); 6603b11a16aSHongbin Zheng return; 6613b11a16aSHongbin Zheng } 6623b11a16aSHongbin Zheng 6633b11a16aSHongbin Zheng if (const BinaryOperator *Binary = dyn_cast<BinaryOperator>(Inst)) { 6643b11a16aSHongbin Zheng copyBinaryInst(Binary, VectorMap, ScalarMaps); 6653b11a16aSHongbin Zheng return; 6663b11a16aSHongbin Zheng } 6673b11a16aSHongbin Zheng 6683b11a16aSHongbin Zheng // Falltrough: We generate scalar instructions, if we don't know how to 6693b11a16aSHongbin Zheng // generate vector code. 6703b11a16aSHongbin Zheng } 6713b11a16aSHongbin Zheng 6723b11a16aSHongbin Zheng copyInstScalarized(Inst, VectorMap, ScalarMaps); 6733b11a16aSHongbin Zheng } 6743b11a16aSHongbin Zheng 6753b11a16aSHongbin Zheng void VectorBlockGenerator::copyBB() { 6763b11a16aSHongbin Zheng BasicBlock *BB = Statement.getBasicBlock(); 677c14582f2STobias Grosser BasicBlock *CopyBB = 678c14582f2STobias Grosser SplitBlock(Builder.GetInsertBlock(), Builder.GetInsertPoint(), P); 6793b11a16aSHongbin Zheng CopyBB->setName("polly.stmt." + BB->getName()); 6803b11a16aSHongbin Zheng Builder.SetInsertPoint(CopyBB->begin()); 6813b11a16aSHongbin Zheng 6823b11a16aSHongbin Zheng // Create two maps that store the mapping from the original instructions of 6833b11a16aSHongbin Zheng // the old basic block to their copies in the new basic block. Those maps 6843b11a16aSHongbin Zheng // are basic block local. 6853b11a16aSHongbin Zheng // 6863b11a16aSHongbin Zheng // As vector code generation is supported there is one map for scalar values 6873b11a16aSHongbin Zheng // and one for vector values. 6883b11a16aSHongbin Zheng // 6893b11a16aSHongbin Zheng // In case we just do scalar code generation, the vectorMap is not used and 6903b11a16aSHongbin Zheng // the scalarMap has just one dimension, which contains the mapping. 6913b11a16aSHongbin Zheng // 6923b11a16aSHongbin Zheng // In case vector code generation is done, an instruction may either appear 6933b11a16aSHongbin Zheng // in the vector map once (as it is calculating >vectorwidth< values at a 6943b11a16aSHongbin Zheng // time. Or (if the values are calculated using scalar operations), it 6953b11a16aSHongbin Zheng // appears once in every dimension of the scalarMap. 6963b11a16aSHongbin Zheng VectorValueMapT ScalarBlockMap(getVectorWidth()); 6973b11a16aSHongbin Zheng ValueMapT VectorBlockMap; 6983b11a16aSHongbin Zheng 699c14582f2STobias Grosser for (BasicBlock::const_iterator II = BB->begin(), IE = BB->end(); II != IE; 700c14582f2STobias Grosser ++II) 7013b11a16aSHongbin Zheng copyInstruction(II, VectorBlockMap, ScalarBlockMap); 7023b11a16aSHongbin Zheng } 703