summaryrefslogtreecommitdiffstats
path: root/polly/lib/Analysis/ScopDetection.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
-rw-r--r--polly/lib/Analysis/ScopDetection.cpp15
1 files changed, 1 insertions, 14 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp
index a7801b087c5..d0b28564da8 100644
--- a/polly/lib/Analysis/ScopDetection.cpp
+++ b/polly/lib/Analysis/ScopDetection.cpp
@@ -577,12 +577,7 @@ bool ScopDetection::isValidInstruction(Instruction &Inst,
DetectionContext &Context) const {
if (PHINode *PN = dyn_cast<PHINode>(&Inst))
if (!canSynthesize(PN, LI, SE, &Context.CurRegion)) {
- if (SCEVCodegen)
- return invalid<ReportPhiNodeRefInRegion>(Context, /*Assert=*/true,
- &Inst);
- else
- return invalid<ReportNonCanonicalPhiNode>(Context, /*Assert=*/true,
- &Inst);
+ return invalid<ReportPhiNodeRefInRegion>(Context, /*Assert=*/true, &Inst);
}
// We only check the call instruction but not invoke instruction.
@@ -609,14 +604,6 @@ bool ScopDetection::isValidInstruction(Instruction &Inst,
}
bool ScopDetection::isValidLoop(Loop *L, DetectionContext &Context) const {
- if (!SCEVCodegen) {
- // If code generation is not in scev based mode, we need to ensure that
- // each loop has a canonical induction variable.
- PHINode *IndVar = L->getCanonicalInductionVariable();
- if (!IndVar)
- return invalid<ReportLoopHeader>(Context, /*Assert=*/true, L);
- }
-
// Is the loop count affine?
const SCEV *LoopCount = SE->getBackedgeTakenCount(L);
if (!isAffineExpr(&Context.CurRegion, LoopCount, *SE))
OpenPOWER on IntegriCloud