3195   BinaryOperator *RBO = dyn_cast<BinaryOperator>(RHS);  in simplifyICmpWithBinOp()  local
3196   if (MaxRecurse && (LBO || RBO)) {  in simplifyICmpWithBinOp()
3211     if (RBO && RBO->getOpcode() == Instruction::Add) {  in simplifyICmpWithBinOp()
3212       C = RBO->getOperand(0);  in simplifyICmpWithBinOp()
3213       D = RBO->getOperand(1);  in simplifyICmpWithBinOp()
3217            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(RBO))) ||  in simplifyICmpWithBinOp()
3219            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RBO)));  in simplifyICmpWithBinOp()
3269   if (RBO)  in simplifyICmpWithBinOp()
3271             ICmpInst::getSwappedPredicate(Pred), RBO, LHS, Q, MaxRecurse))  in simplifyICmpWithBinOp()
3327   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&  in simplifyICmpWithBinOp()
3328       LBO->getOperand(1) == RBO->getOperand(1)) {  in simplifyICmpWithBinOp()
3335           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3338                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3343           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3346                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3350       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3353                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()
3357       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);  in simplifyICmpWithBinOp()
3358       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);  in simplifyICmpWithBinOp()
3364                                       RBO->getOperand(0), Q, MaxRecurse - 1))  in simplifyICmpWithBinOp()