Lines Matching defs:RBO

3254   BinaryOperator *RBO = dyn_cast<BinaryOperator>(RHS);
3255   if (MaxRecurse && (LBO || RBO)) {
3270     if (RBO && RBO->getOpcode() == Instruction::Add) {
3271       C = RBO->getOperand(0);
3272       D = RBO->getOperand(1);
3276            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(RBO))) ||
3278            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RBO)));
3328   if (RBO)
3330             ICmpInst::getSwappedPredicate(Pred), RBO, LHS, Q, MaxRecurse))
3386   if (!MaxRecurse || !LBO || !RBO || LBO->getOpcode() != RBO->getOpcode())
3389   if (LBO->getOperand(0) == RBO->getOperand(0)) {
3394       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);
3395       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);
3400                                       RBO->getOperand(1), Q, MaxRecurse - 1))
3414           match(RBO->getOperand(1), m_APInt(C2))) {
3437   if (LBO->getOperand(1) == RBO->getOperand(1)) {
3444           !Q.IIQ.isExact(RBO))
3447                                       RBO->getOperand(0), Q, MaxRecurse - 1))
3452           !Q.IIQ.isExact(RBO))
3455                                       RBO->getOperand(0), Q, MaxRecurse - 1))
3459       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))
3462                                       RBO->getOperand(0), Q, MaxRecurse - 1))
3466       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);
3467       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);
3473                                       RBO->getOperand(0), Q, MaxRecurse - 1))