Lines Matching defs:Inverse

11660   auto ProveViaCond = [&](const Value *Condition, bool Inverse) {
11662     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))
11666         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);
11741                                     const Value *FoundCondValue, bool Inverse,
11745       ConstantInt::getBool(FoundCondValue->getContext(), Inverse))
11757     if (!Inverse)
11758       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11759              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11761     if (Inverse)
11762       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11763              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11772   if (Inverse)