2772     CmpInst::Predicate Pred, BinaryOperator *LBO, Value *RHS,  in simplifyICmpWithBinOpOnLHS()  argument
2778   if (match(LBO, m_c_Or(m_Value(Y), m_Specific(RHS)))) {  in simplifyICmpWithBinOpOnLHS()
2795   if (match(LBO, m_c_And(m_Value(), m_Specific(RHS)))) {  in simplifyICmpWithBinOpOnLHS()
2803   if (match(LBO, m_URem(m_Value(), m_Specific(RHS)))) {  in simplifyICmpWithBinOpOnLHS()
2833   if (match(LBO, m_URem(m_Specific(RHS), m_Value()))) {  in simplifyICmpWithBinOpOnLHS()
2842   if (match(LBO, m_LShr(m_Specific(RHS), m_Value())) ||  in simplifyICmpWithBinOpOnLHS()
2843       match(LBO, m_UDiv(m_Specific(RHS), m_Value()))) {  in simplifyICmpWithBinOpOnLHS()
2896   BinaryOperator *LBO = dyn_cast<BinaryOperator>(LHS);  in simplifyICmpWithBinOp()  local
2898   if (MaxRecurse && (LBO || RBO)) {  in simplifyICmpWithBinOp()
2903     if (LBO && LBO->getOpcode() == Instruction::Add) {  in simplifyICmpWithBinOp()
2904       A = LBO->getOperand(0);  in simplifyICmpWithBinOp()
2905       B = LBO->getOperand(1);  in simplifyICmpWithBinOp()
2909            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO))) ||  in simplifyICmpWithBinOp()
2911            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)));  in simplifyICmpWithBinOp()
2967   if (LBO)  in simplifyICmpWithBinOp()
2968     if (Value *V = simplifyICmpWithBinOpOnLHS(Pred, LBO, RHS, Q, MaxRecurse))  in simplifyICmpWithBinOp()
3009     if (Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||  in simplifyICmpWithBinOp()
3010         Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||  in simplifyICmpWithBinOp()
3029   if (MaxRecurse && LBO && RBO && LBO->getOpcode() == RBO->getOpcode() &&  in simplifyICmpWithBinOp()
3030       LBO->getOperand(1) == RBO->getOperand(1)) {  in simplifyICmpWithBinOp()
3031     switch (LBO->getOpcode()) {  in simplifyICmpWithBinOp()
3036       if (ICmpInst::isSigned(Pred) || !Q.IIQ.isExact(LBO) ||  in simplifyICmpWithBinOp()
3039       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in simplifyICmpWithBinOp()
3044       if (!ICmpInst::isEquality(Pred) || !Q.IIQ.isExact(LBO) ||  in simplifyICmpWithBinOp()
3047       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in simplifyICmpWithBinOp()
3052       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3054       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in simplifyICmpWithBinOp()
3059       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);  in simplifyICmpWithBinOp()
3060       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);  in simplifyICmpWithBinOp()
3065       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),  in simplifyICmpWithBinOp()