2617   BinaryOperator *LBO = dyn_cast<BinaryOperator>(LHS);  in SimplifyICmpInst()  local
2619   if (MaxRecurse && (LBO || RBO)) {  in SimplifyICmpInst()
2624     if (LBO && LBO->getOpcode() == Instruction::Add) {  in SimplifyICmpInst()
2625       A = LBO->getOperand(0); B = LBO->getOperand(1);  in SimplifyICmpInst()
2627         (CmpInst::isUnsigned(Pred) && LBO->hasNoUnsignedWrap()) ||  in SimplifyICmpInst()
2628         (CmpInst::isSigned(Pred) && LBO->hasNoSignedWrap());  in SimplifyICmpInst()
2682     if (LBO && match(LBO, m_c_Or(m_Value(Y), m_Specific(RHS)))) {  in SimplifyICmpInst()
2724   if (LBO && match(LBO, m_CombineOr(m_And(m_Value(), m_Specific(RHS)),  in SimplifyICmpInst()
2763   if (LBO && match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {  in SimplifyICmpInst()
2826   if (LBO && (match(LBO, m_LShr(m_Specific(RHS), m_Value())) ||  in SimplifyICmpInst()
2827               match(LBO, m_UDiv(m_Specific(RHS), m_Value())))) {  in SimplifyICmpInst()
2842     if (LBO && match(LBO, m_Shl(m_APInt(CI2Val), m_Value())) &&  in SimplifyICmpInst()
2853         if (LBO->hasNoSignedWrap() || LBO->hasNoUnsignedWrap() ||  in SimplifyICmpInst()
2870   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&  in SimplifyICmpInst()
2871       LBO->getOperand(1) == RBO->getOperand(1)) {  in SimplifyICmpInst()
2872     switch (LBO->getOpcode()) {  in SimplifyICmpInst()
2881       if (!LBO->isExact() || !RBO->isExact())  in SimplifyICmpInst()
2883       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()
2888       bool NUW = LBO->hasNoUnsignedWrap() && RBO->hasNoUnsignedWrap();  in SimplifyICmpInst()
2889       bool NSW = LBO->hasNoSignedWrap() && RBO->hasNoSignedWrap();  in SimplifyICmpInst()
2894       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in SimplifyICmpInst()