Lines Matching defs:InvEqP
3556 CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
3557 // Equivalent to "A InvEqP B". This may be the same as the condition
3559 if (Value *V = extractEquivalentCondition(LHS, InvEqP, A, B))
3561 if (Value *V = extractEquivalentCondition(RHS, InvEqP, A, B))
3563 // Otherwise, see if "A InvEqP B" simplifies.
3565 if (Value *V = simplifyICmpInst(InvEqP, A, B, Q, MaxRecurse - 1))
3630 CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
3631 // Equivalent to "A InvEqP B". This may be the same as the condition
3633 if (Value *V = extractEquivalentCondition(LHS, InvEqP, A, B))
3635 if (Value *V = extractEquivalentCondition(RHS, InvEqP, A, B))
3637 // Otherwise, see if "A InvEqP B" simplifies.
3639 if (Value *V = simplifyICmpInst(InvEqP, A, B, Q, MaxRecurse - 1))