forked from OSchip/llvm-project
Don't call dominates on unreachable instructions.
llvm-svn: 151466
This commit is contained in:
parent
0d1f3cb1b5
commit
c8c2b06a90
|
@ -820,7 +820,7 @@ public:
|
|||
DT->splitBlock(NewBB);
|
||||
}
|
||||
|
||||
bool isReachableFromEntry(const BasicBlock* A) {
|
||||
bool isReachableFromEntry(const BasicBlock* A) const {
|
||||
return DT->isReachableFromEntry(A);
|
||||
}
|
||||
|
||||
|
|
|
@ -92,7 +92,8 @@ static bool ValueDominatesPHI(Value *V, PHINode *P, const DominatorTree *DT) {
|
|||
|
||||
// If we have a DominatorTree then do a precise test.
|
||||
if (DT)
|
||||
return DT->dominates(I, P);
|
||||
return !DT->isReachableFromEntry(P->getParent()) ||
|
||||
!DT->isReachableFromEntry(I->getParent()) || DT->dominates(I, P);
|
||||
|
||||
// Otherwise, if the instruction is in the entry block, and is not an invoke,
|
||||
// then it obviously dominates all phi nodes.
|
||||
|
|
Loading…
Reference in New Issue