11470   auto ProveViaCond = [&](const Value *Condition, bool Inverse) {  in isBasicBlockEntryGuardedByCond()  argument
11472     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))  in isBasicBlockEntryGuardedByCond()
11476         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);  in isBasicBlockEntryGuardedByCond()
11552                                     const Value *FoundCondValue, bool Inverse,  in isImpliedCond()  argument
11556       ConstantInt::getBool(FoundCondValue->getContext(), Inverse))  in isImpliedCond()
11568     if (!Inverse)  in isImpliedCond()
11569       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11570              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11572     if (Inverse)  in isImpliedCond()
11573       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11574              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11583   if (Inverse)  in isImpliedCond()