1007   if (match(RHS, m_Add(m_Value(X), m_One())))  in checkForNegativeOperand()
1010   if (match(LHS, m_Add(m_Value(X), m_One()))) {  in checkForNegativeOperand()
1012     if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
1015     if (match(X, m_Xor(m_Value(Y), m_APInt(C1)))) {  in checkForNegativeOperand()
1018       if (match(Y, m_Or(m_Value(Z), m_APInt(C2))) && (*C2 == ~(*C1))) {  in checkForNegativeOperand()
1021       } else if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && (*C1 == *C2)) {  in checkForNegativeOperand()
1035   if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
1041   if (match(LHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
1043       if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && *C1 == (*C2 + 1)) {  in checkForNegativeOperand()
1082     if (match(LHS, m_Xor(m_Value(XorLHS), m_ConstantInt(XorRHS)))) {  in visitAdd()
1180     if (match(LHS, m_Not(m_Value(X)))) // ~X + C --> (C-1) - X  in visitAdd()
1189         match(LHS, m_And(m_Value(X), m_ConstantInt(C2))) &&  in visitAdd()
1229       if (match(FV, m_Zero()) && match(TV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1233       if (match(TV, m_Zero()) && match(FV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1277     if (match(RHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1282     if (match(LHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1291     if (match(RHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1300     if (match(LHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1406     if (match(LHS, m_Select(m_Value(C1), m_Value(A1), m_Value(B1))) &&  in visitFAdd()
1407         match(RHS, m_Select(m_Value(C2), m_Value(A2), m_Value(B2)))) {  in visitFAdd()
1546     if (match(Op1, m_Not(m_Value(X))))  in visitSub()
1556     if (match(Op1, m_Add(m_Value(X), m_Constant(C2))))  in visitSub()
1563     if (C->isNullValue() && match(Op1, m_ZExt(m_Value(X))))  in visitSub()
1568     if (C->isNullValue() && match(Op1, m_SExt(m_Value(X))))  in visitSub()
1579       if (match(Op1, m_LShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1584       if (match(Op1, m_AShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1595     if (match(Op1, m_Add(m_Specific(Op0), m_Value(Y))) ||  in visitSub()
1596         match(Op1, m_Add(m_Value(Y), m_Specific(Op0))))  in visitSub()
1600     if (match(Op0, m_Sub(m_Specific(Op1), m_Value(Y))))  in visitSub()
1607     if (match(Op1, m_Xor(m_Value(A), m_Value(B))) &&  in visitSub()
1616     if (match(Op0, m_Or(m_Value(Y), m_Specific(Op1))) ||  in visitSub()
1617         match(Op0, m_Or(m_Specific(Op1), m_Value(Y))))  in visitSub()
1628     if (match(Op1, m_Sub(m_Value(Y), m_Value(Z))))  in visitSub()
1634     if (match(Op1, m_And(m_Value(Y), m_Specific(Op0))) ||  in visitSub()
1635         match(Op1, m_And(m_Specific(Op0), m_Value(Y))))  in visitSub()
1640     if (match(Op1, m_SDiv(m_Value(X), m_Constant(C))) && match(Op0, m_Zero()) &&  in visitSub()
1645     if (match(Op1, m_Shl(m_Value(X), m_Value(Y))) && match(Op0, m_Zero()))  in visitSub()
1652     if (match(Op1, m_Mul(m_Value(A), m_Neg(m_Value(B)))) ||  in visitSub()
1653         match(Op1, m_Mul(m_Neg(m_Value(A)), m_Value(B))))  in visitSub()
1658     if (match(Op1, m_Mul(m_Value(A), m_Constant(CI))) ||  in visitSub()
1659         match(Op1, m_Mul(m_Constant(CI), m_Value(A)))) {  in visitSub()
1668   if (match(Op0, m_PtrToInt(m_Value(LHSOp))) &&  in visitSub()
1669       match(Op1, m_PtrToInt(m_Value(RHSOp))))  in visitSub()
1674   if (match(Op0, m_Trunc(m_PtrToInt(m_Value(LHSOp)))) &&  in visitSub()
1675       match(Op1, m_Trunc(m_PtrToInt(m_Value(RHSOp)))))  in visitSub()