diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2017-09-06 19:05:40 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2017-09-06 19:05:40 +0000 |
| commit | 8ee179d3b45f4542739977d5f0ae6a2d999482f5 (patch) | |
| tree | 57a8b8ce274b67b2ea22630961713678777e061e /polly/lib/Analysis/ScopDetection.cpp | |
| parent | e96f875deb7e01d6e5d8dcc2421bf964f4fb1b91 (diff) | |
| download | bcm5719-llvm-8ee179d3b45f4542739977d5f0ae6a2d999482f5.tar.gz bcm5719-llvm-8ee179d3b45f4542739977d5f0ae6a2d999482f5.zip | |
Revert "[ScopDetect/Info] Look through PHIs that follow an error block"
This reverts commit
r312410 - [ScopDetect/Info] Look through PHIs that follow an error block
The commit caused generation of invalid IR due to accessing a parameter
that does not dominate the SCoP.
llvm-svn: 312663
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index fb951c5055e..56e0259ffce 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -607,9 +607,6 @@ bool ScopDetection::isValidBranch(BasicBlock &BB, BranchInst *BI, const SCEV *LHS = SE.getSCEVAtScope(ICmp->getOperand(0), L); const SCEV *RHS = SE.getSCEVAtScope(ICmp->getOperand(1), L); - LHS = tryForwardThroughPHI(LHS, Context.CurRegion, SE, LI, DT); - RHS = tryForwardThroughPHI(RHS, Context.CurRegion, SE, LI, DT); - // If unsigned operations are not allowed try to approximate the region. if (ICmp->isUnsigned() && !PollyAllowUnsignedOperations) return !IsLoopBranch && AllowNonAffineSubRegions && |
