blob: bf6ad07e26bfe9b3313893f5bd63ee1df7a11761 [file] [log] [blame]
Tobias Grosser75805372011-04-29 06:27:02 +00001//===- ScopHelper.cpp - Some Helper Functions for Scop. ------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Small functions that help with Scop and LLVM-IR.
11//
12//===----------------------------------------------------------------------===//
13
14#include "polly/Support/ScopHelper.h"
Tobias Grosser8edce4e2013-04-16 08:04:42 +000015#include "polly/ScopInfo.h"
Chandler Carruth5ec33332015-01-18 10:52:23 +000016#include "llvm/Analysis/AliasAnalysis.h"
Tobias Grosser75805372011-04-29 06:27:02 +000017#include "llvm/Analysis/LoopInfo.h"
18#include "llvm/Analysis/RegionInfo.h"
19#include "llvm/Analysis/ScalarEvolution.h"
20#include "llvm/Analysis/ScalarEvolutionExpressions.h"
Chandler Carruthc3478b92014-03-04 11:47:37 +000021#include "llvm/IR/CFG.h"
Chandler Carruth95fef942014-04-22 03:30:19 +000022#include "llvm/Support/Debug.h"
Tobias Grosser75805372011-04-29 06:27:02 +000023#include "llvm/Transforms/Utils/BasicBlockUtils.h"
24
Tobias Grosser75805372011-04-29 06:27:02 +000025using namespace llvm;
26
Chandler Carruth95fef942014-04-22 03:30:19 +000027#define DEBUG_TYPE "polly-scop-helper"
28
Tobias Grosser75805372011-04-29 06:27:02 +000029// Helper function for Scop
30// TODO: Add assertion to not allow parameter to be null
31//===----------------------------------------------------------------------===//
32// Temporary Hack for extended region tree.
33// Cast the region to loop if there is a loop have the same header and exit.
34Loop *polly::castToLoop(const Region &R, LoopInfo &LI) {
35 BasicBlock *entry = R.getEntry();
36
37 if (!LI.isLoopHeader(entry))
38 return 0;
39
40 Loop *L = LI.getLoopFor(entry);
41
42 BasicBlock *exit = L->getExitBlock();
43
44 // Is the loop with multiple exits?
Tobias Grosserd535f552013-02-14 16:42:45 +000045 if (!exit)
46 return 0;
Tobias Grosser75805372011-04-29 06:27:02 +000047
48 if (exit != R.getExit()) {
49 // SubRegion/ParentRegion with the same entry.
Tobias Grosserd535f552013-02-14 16:42:45 +000050 assert((R.getNode(R.getEntry())->isSubRegion() ||
51 R.getParent()->getEntry() == entry) &&
52 "Expect the loop is the smaller or bigger region");
Tobias Grosser75805372011-04-29 06:27:02 +000053 return 0;
54 }
55
56 return L;
57}
58
59Value *polly::getPointerOperand(Instruction &Inst) {
60 if (LoadInst *load = dyn_cast<LoadInst>(&Inst))
61 return load->getPointerOperand();
62 else if (StoreInst *store = dyn_cast<StoreInst>(&Inst))
63 return store->getPointerOperand();
64 else if (GetElementPtrInst *gep = dyn_cast<GetElementPtrInst>(&Inst))
65 return gep->getPointerOperand();
66
67 return 0;
68}
69
Johannes Doerfert80ef1102014-11-07 08:31:31 +000070Type *polly::getAccessInstType(Instruction *AccInst) {
71 if (StoreInst *Store = dyn_cast<StoreInst>(AccInst))
72 return Store->getValueOperand()->getType();
73 return AccInst->getType();
74}
75
Tobias Grosser75805372011-04-29 06:27:02 +000076bool polly::hasInvokeEdge(const PHINode *PN) {
77 for (unsigned i = 0, e = PN->getNumIncomingValues(); i < e; ++i)
78 if (InvokeInst *II = dyn_cast<InvokeInst>(PN->getIncomingValue(i)))
79 if (II->getParent() == PN->getIncomingBlock(i))
80 return true;
81
82 return false;
83}
84
Tobias Grosser75805372011-04-29 06:27:02 +000085BasicBlock *polly::createSingleExitEdge(Region *R, Pass *P) {
86 BasicBlock *BB = R->getExit();
87
Tobias Grosserd535f552013-02-14 16:42:45 +000088 SmallVector<BasicBlock *, 4> Preds;
Tobias Grosser75805372011-04-29 06:27:02 +000089 for (pred_iterator PI = pred_begin(BB), PE = pred_end(BB); PI != PE; ++PI)
90 if (R->contains(*PI))
91 Preds.push_back(*PI);
92
Chandler Carruth5ec33332015-01-18 10:52:23 +000093 auto *AA = P->getAnalysisIfAvailable<AliasAnalysis>();
94 auto *DTWP = P->getAnalysisIfAvailable<DominatorTreeWrapperPass>();
95 auto *DT = DTWP ? &DTWP->getDomTree() : nullptr;
96 auto *LIWP = P->getAnalysisIfAvailable<LoopInfoWrapperPass>();
97 auto *LI = LIWP ? &LIWP->getLoopInfo() : nullptr;
98
99 return SplitBlockPredecessors(BB, Preds, ".region", AA, DT, LI);
Tobias Grosser75805372011-04-29 06:27:02 +0000100}
101
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000102static void replaceScopAndRegionEntry(polly::Scop *S, BasicBlock *OldEntry,
103 BasicBlock *NewEntry) {
Johannes Doerfert7c494212014-10-31 23:13:39 +0000104 if (polly::ScopStmt *Stmt = S->getStmtForBasicBlock(OldEntry))
105 Stmt->setBasicBlock(NewEntry);
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000106
107 S->getRegion().replaceEntryRecursive(NewEntry);
108}
109
Johannes Doerfert38262242014-09-10 14:50:23 +0000110BasicBlock *polly::simplifyRegion(Scop *S, Pass *P) {
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000111 Region *R = &S->getRegion();
112
Johannes Doerfert38262242014-09-10 14:50:23 +0000113 // The entering block for the region.
114 BasicBlock *EnteringBB = R->getEnteringBlock();
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000115 BasicBlock *OldEntry = R->getEntry();
116 BasicBlock *NewEntry = nullptr;
Johannes Doerfert38262242014-09-10 14:50:23 +0000117
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000118 // Create single entry edge if the region has multiple entry edges.
Johannes Doerfert38262242014-09-10 14:50:23 +0000119 if (!EnteringBB) {
Chandler Carruth5ec33332015-01-18 10:52:23 +0000120 auto *DTWP = P->getAnalysisIfAvailable<DominatorTreeWrapperPass>();
121 auto *DT = DTWP ? &DTWP->getDomTree() : nullptr;
122 auto *LIWP = P->getAnalysisIfAvailable<LoopInfoWrapperPass>();
123 auto *LI = LIWP ? &LIWP->getLoopInfo() : nullptr;
124
125 NewEntry = SplitBlock(OldEntry, OldEntry->begin(), DT, LI);
Johannes Doerfert38262242014-09-10 14:50:23 +0000126 EnteringBB = OldEntry;
127 }
128
129 // Create an unconditional entry edge.
130 if (EnteringBB->getTerminator()->getNumSuccessors() != 1) {
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000131 BasicBlock *EntryBB = NewEntry ? NewEntry : OldEntry;
132 BasicBlock *SplitEdgeBB = SplitEdge(EnteringBB, EntryBB, P);
133
134 // Once the edge between EnteringBB and EntryBB is split, two cases arise.
135 // The first is simple. The new block is inserted between EnteringBB and
136 // EntryBB. In this case no further action is needed. However it might
137 // happen (if the splitted edge is not critical) that the new block is
138 // inserted __after__ EntryBB causing the following situation:
139 //
140 // EnteringBB
Johannes Doerfert3cb63722014-10-07 14:34:13 +0000141 // _|_
142 // | |
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000143 // | \-> some_other_BB_not_in_R
144 // V
145 // EntryBB
146 // |
147 // V
148 // SplitEdgeBB
149 //
150 // In this case we need to swap the role of EntryBB and SplitEdgeBB.
151
152 // Check which case SplitEdge produced:
153 if (SplitEdgeBB->getTerminator()->getSuccessor(0) == EntryBB) {
154 // First (simple) case.
155 EnteringBB = SplitEdgeBB;
156 } else {
157 // Second (complicated) case.
158 NewEntry = SplitEdgeBB;
159 EnteringBB = EntryBB;
160 }
161
Johannes Doerfert38262242014-09-10 14:50:23 +0000162 EnteringBB->setName("polly.entering.block");
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000163 }
164
Johannes Doerfert0fe35dd2014-09-15 18:34:45 +0000165 if (NewEntry)
166 replaceScopAndRegionEntry(S, OldEntry, NewEntry);
167
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000168 // Create single exit edge if the region has multiple exit edges.
169 if (!R->getExitingBlock()) {
170 BasicBlock *NewExit = createSingleExitEdge(R, P);
171
Tobias Grosser083d3d32014-06-28 08:59:45 +0000172 for (auto &&SubRegion : *R)
173 SubRegion->replaceExitRecursive(NewExit);
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000174 }
Johannes Doerfert38262242014-09-10 14:50:23 +0000175
176 return EnteringBB;
Tobias Grosser8edce4e2013-04-16 08:04:42 +0000177}
178
Tobias Grosser75805372011-04-29 06:27:02 +0000179void polly::splitEntryBlockForAlloca(BasicBlock *EntryBlock, Pass *P) {
180 // Find first non-alloca instruction. Every basic block has a non-alloc
181 // instruction, as every well formed basic block has a terminator.
182 BasicBlock::iterator I = EntryBlock->begin();
Tobias Grosserd535f552013-02-14 16:42:45 +0000183 while (isa<AllocaInst>(I))
184 ++I;
Tobias Grosser75805372011-04-29 06:27:02 +0000185
Chandler Carruth5ec33332015-01-18 10:52:23 +0000186 auto *DTWP = P->getAnalysisIfAvailable<DominatorTreeWrapperPass>();
187 auto *DT = DTWP ? &DTWP->getDomTree() : nullptr;
188 auto *LIWP = P->getAnalysisIfAvailable<LoopInfoWrapperPass>();
189 auto *LI = LIWP ? &LIWP->getLoopInfo() : nullptr;
190
Tobias Grosser75805372011-04-29 06:27:02 +0000191 // SplitBlock updates DT, DF and LI.
Chandler Carruth5ec33332015-01-18 10:52:23 +0000192 BasicBlock *NewEntry = SplitBlock(EntryBlock, I, DT, LI);
Matt Arsenault8ca36812014-07-19 18:40:17 +0000193 if (RegionInfoPass *RIP = P->getAnalysisIfAvailable<RegionInfoPass>())
194 RIP->getRegionInfo().splitBlock(NewEntry, EntryBlock);
Tobias Grosser75805372011-04-29 06:27:02 +0000195}