Lines Matching refs:Inverse
9539 auto ProveViaCond = [&](Value *Condition, bool Inverse) { in isLoopEntryGuardedByCond() argument
9540 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse)) in isLoopEntryGuardedByCond()
9545 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()
9548 isImpliedCond(ICmpInst::ICMP_NE, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()
9595 bool Inverse) { in isImpliedCond() argument
9605 if (!Inverse) in isImpliedCond()
9606 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse) || in isImpliedCond()
9607 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse); in isImpliedCond()
9609 if (Inverse) in isImpliedCond()
9610 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse) || in isImpliedCond()
9611 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse); in isImpliedCond()
9621 if (Inverse) in isImpliedCond()