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()
1168     if (match(LHS, m_Not(m_Value(X)))) // ~X + C --> (C-1) - X  in visitAdd()
1177         match(LHS, m_And(m_Value(X), m_ConstantInt(C2))) &&  in visitAdd()
1217       if (match(FV, m_Zero()) && match(TV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1221       if (match(TV, m_Zero()) && match(FV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1265     if (match(RHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1270     if (match(LHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1279     if (match(RHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1288     if (match(LHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1394     if (match(LHS, m_Select(m_Value(C1), m_Value(A1), m_Value(B1))) &&  in visitFAdd()
1395         match(RHS, m_Select(m_Value(C2), m_Value(A2), m_Value(B2)))) {  in visitFAdd()
1533     if (match(Op1, m_Not(m_Value(X))))  in visitSub()
1543     if (match(Op1, m_Add(m_Value(X), m_Constant(C2))))  in visitSub()
1550     if (C->isNullValue() && match(Op1, m_ZExt(m_Value(X))))  in visitSub()
1555     if (C->isNullValue() && match(Op1, m_SExt(m_Value(X))))  in visitSub()
1566       if (match(Op1, m_LShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1571       if (match(Op1, m_AShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1594     if (match(Op1, m_Add(m_Specific(Op0), m_Value(Y))) ||  in visitSub()
1595         match(Op1, m_Add(m_Value(Y), m_Specific(Op0))))  in visitSub()
1599     if (match(Op0, m_Sub(m_Specific(Op1), m_Value(Y))))  in visitSub()
1606     if (match(Op1, m_Xor(m_Value(A), m_Value(B))) &&  in visitSub()
1615     if (match(Op0, m_Or(m_Value(Y), m_Specific(Op1))) ||  in visitSub()
1616         match(Op0, m_Or(m_Specific(Op1), m_Value(Y))))  in visitSub()
1627     if (match(Op1, m_Sub(m_Value(Y), m_Value(Z))))  in visitSub()
1633     if (match(Op1, m_And(m_Value(Y), m_Specific(Op0))) ||  in visitSub()
1634         match(Op1, m_And(m_Specific(Op0), m_Value(Y))))  in visitSub()
1639     if (match(Op1, m_SDiv(m_Value(X), m_Constant(C))) && match(Op0, m_Zero()) &&  in visitSub()
1644     if (match(Op1, m_Shl(m_Value(X), m_Value(Y))) && match(Op0, m_Zero()))  in visitSub()
1651     if (match(Op1, m_Mul(m_Value(A), m_Neg(m_Value(B)))) ||  in visitSub()
1652         match(Op1, m_Mul(m_Neg(m_Value(A)), m_Value(B))))  in visitSub()
1657     if (match(Op1, m_Mul(m_Value(A), m_Constant(CI))) ||  in visitSub()
1658         match(Op1, m_Mul(m_Constant(CI), m_Value(A)))) {  in visitSub()
1667   if (match(Op0, m_PtrToInt(m_Value(LHSOp))) &&  in visitSub()
1668       match(Op1, m_PtrToInt(m_Value(RHSOp))))  in visitSub()
1673   if (match(Op0, m_Trunc(m_PtrToInt(m_Value(LHSOp)))) &&  in visitSub()
1674       match(Op1, m_Trunc(m_PtrToInt(m_Value(RHSOp)))))  in visitSub()