diff options
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
-rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 15 |
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)) |