lib/Analysis/InstructionSimplify.cpp

94   // %A = icmp eq %TV, %FV
97   // %D = select %C, %TV, %FV
101   // %A = icmp ne %TV, %FV
104   // %D = select %C, %TV, %FV
106   // %TV
411   Value *TV;
414     TV = simplifyBinOp(Opcode, SI->getTrueValue(), RHS, Q, MaxRecurse);
417     TV = simplifyBinOp(Opcode, LHS, SI->getTrueValue(), Q, MaxRecurse);
423   if (TV == FV)
424     return TV;
427   if (TV && Q.isUndefValue(TV))
430     return TV;
434   if (TV == SI->getTrueValue() && FV == SI->getFalseValue())
440   if ((FV && !TV) || (TV && !FV)) {
443     Instruction *Simplified = dyn_cast<Instruction>(FV ? FV : TV);
488   Value *TV = SI->getTrueValue();
491   // Now that we have "cmp select(Cond, TV, FV), RHS", analyse it.
492   // Does "cmp TV, RHS" simplify?
493   Value *TCmp = simplifyCmpSelTrueCase(Pred, TV, RHS, Cond, Q, MaxRecurse);