214     auto *Br = dyn_cast<BranchInst>(BB.getTerminator());  in eliminateConstraints()  local
215     if (!Br || !Br->isConditional())  in eliminateConstraints()
221     if (match(Br->getCondition(), m_Or(m_Cmp(), m_Cmp()))) {  in eliminateConstraints()
222       BasicBlock *FalseSuccessor = Br->getSuccessor(1);  in eliminateConstraints()
224         auto *OrI = cast<Instruction>(Br->getCondition());  in eliminateConstraints()
236     if (match(Br->getCondition(), m_And(m_Cmp(), m_Cmp()))) {  in eliminateConstraints()
237       BasicBlock *TrueSuccessor = Br->getSuccessor(0);  in eliminateConstraints()
239         auto *AndI = cast<Instruction>(Br->getCondition());  in eliminateConstraints()
248     auto *CmpI = dyn_cast<CmpInst>(Br->getCondition());  in eliminateConstraints()
251     if (Br->getSuccessor(0)->getSinglePredecessor())  in eliminateConstraints()
252       WorkList.emplace_back(DT.getNode(Br->getSuccessor(0)), CmpI, false);  in eliminateConstraints()
253     if (Br->getSuccessor(1)->getSinglePredecessor())  in eliminateConstraints()
254       WorkList.emplace_back(DT.getNode(Br->getSuccessor(1)), CmpI, true);  in eliminateConstraints()