lib/Analysis/InstructionSimplify.cpp

313   Value *FV;
316     FV = SimplifyBinOp(Opcode, SI->getFalseValue(), RHS, Q, MaxRecurse);
319     FV = SimplifyBinOp(Opcode, LHS, SI->getFalseValue(), Q, MaxRecurse);
324   if (TV == FV)
329     return FV;
330   if (FV && isa<UndefValue>(FV))
335   if (TV == SI->getTrueValue() && FV == SI->getFalseValue())
341   if ((FV && !TV) || (TV && !FV)) {
344     Instruction *Simplified = dyn_cast<Instruction>(FV ? FV : TV);
349       Value *UnsimplifiedBranch = FV ? SI->getTrueValue() : SI->getFalseValue();
384   Value *FV = SI->getFalseValue();
386   // Now that we have "cmp select(Cond, TV, FV), RHS", analyse it.
401   // Does "cmp FV, RHS" simplify?
402   Value *FCmp = SimplifyCmpInst(Pred, FV, RHS, Q, MaxRecurse);
408     // It didn't simplify.  However if "cmp FV, RHS" is equal to the select
410     if (!isSameCompare(Cond, Pred, FV, RHS))