Lines Matching defs:InvEqP
3543 CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
3544 // Equivalent to "A InvEqP B". This may be the same as the condition
3546 if (Value *V = extractEquivalentCondition(LHS, InvEqP, A, B))
3548 if (Value *V = extractEquivalentCondition(RHS, InvEqP, A, B))
3550 // Otherwise, see if "A InvEqP B" simplifies.
3552 if (Value *V = simplifyICmpInst(InvEqP, A, B, Q, MaxRecurse - 1))
3617 CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
3618 // Equivalent to "A InvEqP B". This may be the same as the condition
3620 if (Value *V = extractEquivalentCondition(LHS, InvEqP, A, B))
3622 if (Value *V = extractEquivalentCondition(RHS, InvEqP, A, B))
3624 // Otherwise, see if "A InvEqP B" simplifies.
3626 if (Value *V = simplifyICmpInst(InvEqP, A, B, Q, MaxRecurse - 1))