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 &LTS,
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 &LTS) {
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 &LTS, 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 &LTS, 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 &LTS) {
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 &LTS) {
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 &LTS) {
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 &LTS) {
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 &LTS) {
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