Lines Matching refs:BB0
235 bool llvm::isControlFlowEquivalent(const BasicBlock &BB0, const BasicBlock &BB1,
238 if (&BB0 == &BB1)
241 if ((DT.dominates(&BB0, &BB1) && PDT.dominates(&BB1, &BB0)) ||
242 (PDT.dominates(&BB0, &BB1) && DT.dominates(&BB1, &BB0)))
245 // If the set of conditions required to execute BB0 and BB1 from their common
246 // dominator are the same, then BB0 and BB1 are control flow equivalent.
247 const BasicBlock *CommonDominator = DT.findNearestCommonDominator(&BB0, &BB1);
248 LLVM_DEBUG(dbgs() << "The nearest common dominator of " << BB0.getName()
253 ControlConditions::collectControlConditions(BB0, *CommonDominator, DT,