lib/Analysis/InstructionSimplify.cpp

2412       CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
2413       // Equivalent to "A InvEqP B".  This may be the same as the condition
2415       if (Value *V = ExtractEquivalentCondition(LHS, InvEqP, A, B))
2417       if (Value *V = ExtractEquivalentCondition(RHS, InvEqP, A, B))
2419       // Otherwise, see if "A InvEqP B" simplifies.
2421         if (Value *V = SimplifyICmpInst(InvEqP, A, B, Q, MaxRecurse-1))
2482       CmpInst::Predicate InvEqP = CmpInst::getInversePredicate(EqP);
2483       // Equivalent to "A InvEqP B".  This may be the same as the condition
2485       if (Value *V = ExtractEquivalentCondition(LHS, InvEqP, A, B))
2487       if (Value *V = ExtractEquivalentCondition(RHS, InvEqP, A, B))
2489       // Otherwise, see if "A InvEqP B" simplifies.
2491         if (Value *V = SimplifyICmpInst(InvEqP, A, B, Q, MaxRecurse-1))