Lines Matching refs:Inverse
10450 auto ProveViaCond = [&](const Value *Condition, bool Inverse) { in isBasicBlockEntryGuardedByCond() argument
10452 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, Context)) in isBasicBlockEntryGuardedByCond()
10456 return isImpliedCond(P, LHS, RHS, Condition, Inverse, Context); in isBasicBlockEntryGuardedByCond()
10527 const Value *FoundCondValue, bool Inverse, in isImpliedCond() argument
10531 ConstantInt::getBool(FoundCondValue->getContext(), Inverse)) in isImpliedCond()
10543 if (!Inverse) in isImpliedCond()
10544 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, Context) || in isImpliedCond()
10545 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, Context); in isImpliedCond()
10547 if (Inverse) in isImpliedCond()
10548 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, Context) || in isImpliedCond()
10549 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, Context); in isImpliedCond()
10558 if (Inverse) in isImpliedCond()