1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 02:33:06 +01:00

[Dominators] Use Instruction::comesBefore for block-local queries, NFC

Use the lazy instruction ordering facility for block-local dominance
queries.

Differential Revision: https://reviews.llvm.org/D74931
This commit is contained in:
Vedant Kumar 2020-02-20 14:16:25 -08:00
parent 370e769899
commit 1fb47dd1e8
2 changed files with 33 additions and 12 deletions

View File

@ -140,12 +140,7 @@ bool DominatorTree::dominates(const Instruction *Def,
if (DefBB != UseBB)
return dominates(DefBB, UseBB);
// Loop through the basic block until we find Def or User.
BasicBlock::const_iterator I = DefBB->begin();
for (; &*I != Def && &*I != User; ++I)
/*empty*/;
return &*I == Def;
return Def->comesBefore(User);
}
// true if Def would dominate a use in any instruction in UseBB.
@ -289,12 +284,7 @@ bool DominatorTree::dominates(const Instruction *Def, const Use &U) const {
if (isa<PHINode>(UserInst))
return true;
// Otherwise, just loop through the basic block until we find Def or User.
BasicBlock::const_iterator I = DefBB->begin();
for (; &*I != Def && &*I != UserInst; ++I)
/*empty*/;
return &*I != UserInst;
return Def->comesBefore(UserInst);
}
bool DominatorTree::isReachableFromEntry(const Use &U) const {

View File

@ -43,6 +43,37 @@ static std::unique_ptr<Module> makeLLVMModule(LLVMContext &Context,
return M;
}
TEST(DominatorTree, PHIs) {
StringRef ModuleString = R"(
define void @f() {
bb1:
br label %bb1
bb2:
%a = phi i32 [0, %bb1], [1, %bb2]
%b = phi i32 [2, %bb1], [%a, %bb2]
br label %bb2
};
)";
// Parse the module.
LLVMContext Context;
std::unique_ptr<Module> M = makeLLVMModule(Context, ModuleString);
runWithDomTree(*M, "f",
[&](Function &F, DominatorTree *DT, PostDominatorTree *PDT) {
auto FI = F.begin();
++FI;
BasicBlock *BB2 = &*FI;
auto BI = BB2->begin();
Instruction *PhiA = &*BI++;
Instruction *PhiB = &*BI;
// Phis are thought to execute "instantly, together".
EXPECT_TRUE(DT->dominates(PhiA, PhiB));
EXPECT_TRUE(DT->dominates(PhiB, PhiA));
});
}
TEST(DominatorTree, Unreachable) {
StringRef ModuleString =
"declare i32 @g()\n"