Lines Matching defs:Inverse

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