summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--polly/lib/Analysis/ScopInfo.cpp6
-rw-r--r--polly/lib/CodeGen/BlockGenerators.cpp13
2 files changed, 0 insertions, 19 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index 44c282e3339..7e3d34e648a 100644
--- a/polly/lib/Analysis/ScopInfo.cpp
+++ b/polly/lib/Analysis/ScopInfo.cpp
@@ -1405,7 +1405,6 @@ void ScopStmt::buildDomain() {
void ScopStmt::deriveAssumptionsFromGEP(GetElementPtrInst *GEP, LoopInfo &LI) {
isl_ctx *Ctx = Parent.getIslCtx();
isl_local_space *LSpace = isl_local_space_from_space(getDomainSpace());
- Type *Ty = GEP->getPointerOperandType();
ScalarEvolution &SE = *Parent.getSE();
// The set of loads that are required to be invariant.
@@ -1416,10 +1415,6 @@ void ScopStmt::deriveAssumptionsFromGEP(GetElementPtrInst *GEP, LoopInfo &LI) {
std::tie(Subscripts, Sizes) = getIndexExpressionsFromGEP(GEP, SE);
- if (auto *PtrTy = dyn_cast<PointerType>(Ty)) {
- Ty = PtrTy->getElementType();
- }
-
int IndexOffset = Subscripts.size() - Sizes.size();
assert(IndexOffset <= 1 && "Unexpected large index offset");
@@ -4397,7 +4392,6 @@ bool ScopInfo::buildAccessMultiDimParam(MemAccInst Inst, Loop *L) {
dyn_cast<SCEVUnknown>(SE->getPointerBase(AccessFunction));
assert(BasePointer && "Could not find base pointer");
- AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer);
auto &InsnToMemAcc = scop->getInsnToMemAccMap();
auto AccItr = InsnToMemAcc.find(Inst);
diff --git a/polly/lib/CodeGen/BlockGenerators.cpp b/polly/lib/CodeGen/BlockGenerators.cpp
index 93a2a464c77..30291e284c8 100644
--- a/polly/lib/CodeGen/BlockGenerators.cpp
+++ b/polly/lib/CodeGen/BlockGenerators.cpp
@@ -1078,8 +1078,6 @@ void RegionGenerator::copyStmt(ScopStmt &Stmt, LoopToScevMapT &LTS,
assert(Stmt.isRegionStmt() &&
"Only region statements can be copied by the region generator");
- Scop *S = Stmt.getParent();
-
// Forget all old mappings.
BlockMap.clear();
RegionMaps.clear();
@@ -1106,17 +1104,6 @@ void RegionGenerator::copyStmt(ScopStmt &Stmt, LoopToScevMapT &LTS,
if (!R->contains(*PI))
BlockMap[*PI] = EntryBBCopy;
- // Determine the original exit block of this subregion. If it the exit block
- // is also the scop's exit, it it has been changed to polly.merge_new_and_old.
- // We move one block back to find the original block. This only happens if the
- // scop required simplification.
- // If the whole scop consists of only this non-affine region, then they share
- // the same Region object, such that we cannot change the exit of one and not
- // the other.
- BasicBlock *ExitBB = R->getExit();
- if (!S->hasSingleExitEdge() && ExitBB == S->getExit())
- ExitBB = *(++pred_begin(ExitBB));
-
// Iterate over all blocks in the region in a breadth-first search.
std::deque<BasicBlock *> Blocks;
SmallPtrSet<BasicBlock *, 8> SeenBlocks;
OpenPOWER on IntegriCloud