2591   BinaryOperator *LBO = dyn_cast<BinaryOperator>(LHS);  in SimplifyICmpInst()  local
2593   if (MaxRecurse && (LBO || RBO)) {  in SimplifyICmpInst()
2598     if (LBO && LBO->getOpcode() == Instruction::Add) {  in SimplifyICmpInst()
2599       A = LBO->getOperand(0); B = LBO->getOperand(1);  in SimplifyICmpInst()
2601         (CmpInst::isUnsigned(Pred) && LBO->hasNoUnsignedWrap()) ||  in SimplifyICmpInst()
2602         (CmpInst::isSigned(Pred) && LBO->hasNoSignedWrap());  in SimplifyICmpInst()
2654   if (LBO && match(LBO, m_CombineOr(m_Or(m_Value(), m_Specific(RHS)),  in SimplifyICmpInst()
2671   if (LBO && match(LBO, m_CombineOr(m_And(m_Value(), m_Specific(RHS)),  in SimplifyICmpInst()
2710   if (LBO && match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {  in SimplifyICmpInst()
2772   if (LBO && match(LBO, m_UDiv(m_Specific(RHS), m_Value()))) {  in SimplifyICmpInst()
2787     if (LBO && match(LBO, m_Shl(m_APInt(CI2Val), m_Value())) &&  in SimplifyICmpInst()
2798         if (LBO->hasNoSignedWrap() || LBO->hasNoUnsignedWrap() ||  in SimplifyICmpInst()
2815   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&  in SimplifyICmpInst()
2816       LBO->getOperand(1) == RBO->getOperand(1)) {  in SimplifyICmpInst()
2817     switch (LBO->getOpcode()) {  in SimplifyICmpInst()
2826       if (!LBO->isExact() || !RBO->isExact())  in SimplifyICmpInst()
2828       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()
2833       bool NUW = LBO->hasNoUnsignedWrap() && RBO->hasNoUnsignedWrap();  in SimplifyICmpInst()
2834       bool NSW = LBO->hasNoSignedWrap() && RBO->hasNoSignedWrap();  in SimplifyICmpInst()
2839       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()