Lines Matching defs:BB0
237 bool llvm::isControlFlowEquivalent(const BasicBlock &BB0, const BasicBlock &BB1,
240 if (&BB0 == &BB1)
243 if ((DT.dominates(&BB0, &BB1) && PDT.dominates(&BB1, &BB0)) ||
244 (PDT.dominates(&BB0, &BB1) && DT.dominates(&BB1, &BB0)))
247 // If the set of conditions required to execute BB0 and BB1 from their common
248 // dominator are the same, then BB0 and BB1 are control flow equivalent.
249 const BasicBlock *CommonDominator = DT.findNearestCommonDominator(&BB0, &BB1);
250 LLVM_DEBUG(dbgs() << "The nearest common dominator of " << BB0.getName()
255 ControlConditions::collectControlConditions(BB0, *CommonDominator, DT,
485 const BasicBlock *BB0 = I0->getParent();
487 if (BB0 == BB1)
490 return nonStrictlyPostDominate(BB1, BB0, DT, PDT);