Skip to content

Commit

Permalink
[Dominators] Use Instruction::comesBefore for block-local queries, NFC
Browse files Browse the repository at this point in the history
Use the lazy instruction ordering facility for block-local dominance
queries.

Differential Revision: https://reviews.llvm.org/D74931
  • Loading branch information
vedantk committed Feb 21, 2020
1 parent 2fe4576 commit 7593a48
Show file tree
Hide file tree
Showing 2 changed files with 33 additions and 12 deletions.
14 changes: 2 additions & 12 deletions llvm/lib/IR/Dominators.cpp
Expand Up @@ -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.
Expand Down Expand Up @@ -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 {
Expand Down
31 changes: 31 additions & 0 deletions llvm/unittests/IR/DominatorTreeTest.cpp
Expand Up @@ -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"
Expand Down

0 comments on commit 7593a48

Please sign in to comment.