RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 03:23:01 +02:00
Code Issues Projects Releases Wiki Activity

[NFC] Loosen restriction on preheader to fix buildbot

Browse Source 
llvm-svn: 329379
This commit is contained in:
Max Kazantsev 2018-04-06 07:23:45 +00:00
parent f85880f8af
commit c73178a4ac
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/Analysis/ScalarEvolution.cpp
View File

@ -9595,14 +9595,14 @@ bool ScalarEvolution::isImpliedViaMerge(ICmpInst::Predicate Pred,
} else if (RAR && RAR->getLoop()->getHeader() == LBB) {
// Case two: RHS is also a Phi from the same basic block, and it is an
// AddRec. It means that there is a loop which has both AddRec and Unknown
// PHIs, for it we can compare incoming values of AddRec from preheader and
// latch with their respective incoming values of LPhi.
// PHIs, for it we can compare incoming values of AddRec from above the loop
// and latch with their respective incoming values of LPhi.
assert(LPhi->getNumIncomingValues() == 2 &&
"Phi node standing in loop header does not have exactly 2 inputs?");
auto *RLoop = RAR->getLoop();
auto *Preheader = RLoop->getLoopPreheader();
assert(Preheader && "Loop with AddRec with no preheader?");
const SCEV *L1 = getSCEV(LPhi->getIncomingValueForBlock(Preheader));
auto *Predecessor = RLoop->getLoopPredecessor();
assert(Predecessor && "Loop with AddRec with no predecessor?");
const SCEV *L1 = getSCEV(LPhi->getIncomingValueForBlock(Predecessor));
if (!ProvedEasily(L1, RAR->getStart()))
return false;
auto *Latch = RLoop->getLoopLatch();