lib/Analysis/InstructionSimplify.cpp

388   Value *TCmp = SimplifyCmpInst(Pred, TV, RHS, Q, MaxRecurse);
389   if (TCmp == Cond) {
392     TCmp = getTrue(Cond->getType());
393   } else if (!TCmp) {
398     TCmp = getTrue(Cond->getType());
417   if (TCmp == FCmp)
418     return TCmp;
425   // is equal to "Cond && TCmp".  This also catches the case when the false
428     if (Value *V = SimplifyAndInst(Cond, TCmp, Q, MaxRecurse))
432   if (match(TCmp, m_One()))
437   if (match(FCmp, m_One()) && match(TCmp, m_Zero()))