Lines Matching refs:Inverse
11548 auto ProveViaCond = [&](const Value *Condition, bool Inverse) { in isBasicBlockEntryGuardedByCond() argument
11550 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI)) in isBasicBlockEntryGuardedByCond()
11554 return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI); in isBasicBlockEntryGuardedByCond()
11630 const Value *FoundCondValue, bool Inverse, in isImpliedCond() argument
11634 ConstantInt::getBool(FoundCondValue->getContext(), Inverse)) in isImpliedCond()
11646 if (!Inverse) in isImpliedCond()
11647 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
11648 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI); in isImpliedCond()
11650 if (Inverse) in isImpliedCond()
11651 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
11652 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI); in isImpliedCond()
11661 if (Inverse) in isImpliedCond()