2519   BinaryOperator *LBO = dyn_cast<BinaryOperator>(LHS);  in SimplifyICmpInst()  local
2521   if (MaxRecurse && (LBO || RBO)) {  in SimplifyICmpInst()
2526     if (LBO && LBO->getOpcode() == Instruction::Add) {  in SimplifyICmpInst()
2527       A = LBO->getOperand(0); B = LBO->getOperand(1);  in SimplifyICmpInst()
2529         (CmpInst::isUnsigned(Pred) && LBO->hasNoUnsignedWrap()) ||  in SimplifyICmpInst()
2530         (CmpInst::isSigned(Pred) && LBO->hasNoSignedWrap());  in SimplifyICmpInst()
2582   if (LBO && match(LBO, m_CombineOr(m_Or(m_Value(), m_Specific(RHS)),  in SimplifyICmpInst()
2599   if (LBO && match(LBO, m_CombineOr(m_And(m_Value(), m_Specific(RHS)),  in SimplifyICmpInst()
2638   if (LBO && match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {  in SimplifyICmpInst()
2700   if (LBO && match(LBO, m_UDiv(m_Specific(RHS), m_Value()))) {  in SimplifyICmpInst()
2715     if (LBO && match(LBO, m_Shl(m_APInt(CI2Val), m_Value())) &&  in SimplifyICmpInst()
2726         if (LBO->hasNoSignedWrap() || LBO->hasNoUnsignedWrap() ||  in SimplifyICmpInst()
2743   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&  in SimplifyICmpInst()
2744       LBO->getOperand(1) == RBO->getOperand(1)) {  in SimplifyICmpInst()
2745     switch (LBO->getOpcode()) {  in SimplifyICmpInst()
2754       if (!LBO->isExact() || !RBO->isExact())  in SimplifyICmpInst()
2756       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()
2761       bool NUW = LBO->hasNoUnsignedWrap() && RBO->hasNoUnsignedWrap();  in SimplifyICmpInst()
2762       bool NSW = LBO->hasNoSignedWrap() && RBO->hasNoSignedWrap();  in SimplifyICmpInst()
2767       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()