reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

include/llvm/IR/Dominators.h

  167   bool dominates(const Instruction *Def, const BasicBlock *BB) const;

References

lib/Analysis/ScalarEvolution.cpp

 5211         if (isa<Instruction>(V) && DT.dominates(cast<Instruction>(V), BB))
 9662     if (!DT.dominates(CI, L->getHeader()))

lib/IR/Dominators.cpp

  137     return dominates(Def, UseBB);

lib/Transforms/InstCombine/InstCombinePHI.cpp

  144           (DT.dominates(cast<Instruction>(U), PN.getIncomingBlock(i)) ||

lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

  183     if (!DT->dominates(CommonInst, ToBB))

lib/Transforms/Scalar/LICM.cpp

  642     if (CommonSucc && DT->dominates(BI, CommonSucc))
  919           assert(DT->dominates(PN, BB) && "Conditional PHIs not expected");

unittests/IR/DominatorTreeTest.cpp

  185         EXPECT_FALSE(DT->dominates(Y1, BB0));
  186         EXPECT_TRUE(DT->dominates(Y1, BB1));
  187         EXPECT_TRUE(DT->dominates(Y1, BB2));
  188         EXPECT_TRUE(DT->dominates(Y1, BB3));
  189         EXPECT_TRUE(DT->dominates(Y1, BB4));
  191         EXPECT_FALSE(DT->dominates(Y3, BB0));
  192         EXPECT_TRUE(DT->dominates(Y3, BB1));
  193         EXPECT_FALSE(DT->dominates(Y3, BB2));
  194         EXPECT_TRUE(DT->dominates(Y3, BB3));
  195         EXPECT_FALSE(DT->dominates(Y3, BB4));
  197         EXPECT_TRUE(DT->dominates(Y6, BB3));