3267   BinaryOperator *RBO = dyn_cast<BinaryOperator>(RHS);  in simplifyICmpWithBinOp()  local
3268   if (MaxRecurse && (LBO || RBO)) {  in simplifyICmpWithBinOp()
3283     if (RBO && RBO->getOpcode() == Instruction::Add) {  in simplifyICmpWithBinOp()
3284       C = RBO->getOperand(0);  in simplifyICmpWithBinOp()
3285       D = RBO->getOperand(1);  in simplifyICmpWithBinOp()
3289            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(RBO))) ||  in simplifyICmpWithBinOp()
3291            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RBO)));  in simplifyICmpWithBinOp()
3341   if (RBO)  in simplifyICmpWithBinOp()
3343             ICmpInst::getSwappedPredicate(Pred), RBO, LHS, Q, MaxRecurse))  in simplifyICmpWithBinOp()
3399   if (!MaxRecurse || !LBO || !RBO || LBO->getOpcode() != RBO->getOpcode())  in simplifyICmpWithBinOp()
3402   if (LBO->getOperand(0) == RBO->getOperand(0)) {  in simplifyICmpWithBinOp()
3407       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);  in simplifyICmpWithBinOp()
3408       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);  in simplifyICmpWithBinOp()
3413                                       RBO->getOperand(1), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3427           match(RBO->getOperand(1), m_APInt(C2))) {  in simplifyICmpWithBinOp()
3450   if (LBO->getOperand(1) == RBO->getOperand(1)) {  in simplifyICmpWithBinOp()
3457           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3460                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3465           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3468                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3472       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3475                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3479       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);  in simplifyICmpWithBinOp()
3480       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);  in simplifyICmpWithBinOp()
3486                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()