11162   auto ProveViaCond = [&](const Value *Condition, bool Inverse) {  in isBasicBlockEntryGuardedByCond()  argument
11164     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))  in isBasicBlockEntryGuardedByCond()
11168         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);  in isBasicBlockEntryGuardedByCond()
11244                                     const Value *FoundCondValue, bool Inverse,  in isImpliedCond()  argument
11248       ConstantInt::getBool(FoundCondValue->getContext(), Inverse))  in isImpliedCond()
11260     if (!Inverse)  in isImpliedCond()
11261       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11262              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11264     if (Inverse)  in isImpliedCond()
11265       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11266              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11275   if (Inverse)  in isImpliedCond()