987   if (match(RHS, m_Add(m_Value(X), m_One())))  in checkForNegativeOperand()
990   if (match(LHS, m_Add(m_Value(X), m_One()))) {  in checkForNegativeOperand()
992     if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
995     if (match(X, m_Xor(m_Value(Y), m_APInt(C1)))) {  in checkForNegativeOperand()
998       if (match(Y, m_Or(m_Value(Z), m_APInt(C2))) && (*C2 == ~(*C1))) {  in checkForNegativeOperand()
1001       } else if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && (*C1 == *C2)) {  in checkForNegativeOperand()
1015   if (match(RHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
1021   if (match(LHS, m_Xor(m_Value(Y), m_APInt(C1))))  in checkForNegativeOperand()
1023       if (match(Y, m_And(m_Value(Z), m_APInt(C2))) && *C1 == (*C2 + 1)) {  in checkForNegativeOperand()
1062     if (match(LHS, m_Xor(m_Value(XorLHS), m_ConstantInt(XorRHS)))) {  in visitAdd()
1148     if (match(LHS, m_Not(m_Value(X)))) // ~X + C --> (C-1) - X  in visitAdd()
1157         match(LHS, m_And(m_Value(X), m_ConstantInt(C2))) &&  in visitAdd()
1197       if (match(FV, m_Zero()) && match(TV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1201       if (match(TV, m_Zero()) && match(FV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1245     if (match(RHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1250     if (match(LHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1259     if (match(RHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1268     if (match(LHS, m_Or(m_Value(A), m_Value(B))) &&  in visitAdd()
1374     if (match(LHS, m_Select(m_Value(C1), m_Value(A1), m_Value(B1))) &&  in visitFAdd()
1375         match(RHS, m_Select(m_Value(C2), m_Value(A2), m_Value(B2)))) {  in visitFAdd()
1513     if (match(Op1, m_Not(m_Value(X))))  in visitSub()
1523     if (match(Op1, m_Add(m_Value(X), m_Constant(C2))))  in visitSub()
1530     if (C->isNullValue() && match(Op1, m_ZExt(m_Value(X))))  in visitSub()
1535     if (C->isNullValue() && match(Op1, m_SExt(m_Value(X))))  in visitSub()
1546       if (match(Op1, m_LShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1551       if (match(Op1, m_AShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1574     if (match(Op1, m_Add(m_Specific(Op0), m_Value(Y))) ||  in visitSub()
1575         match(Op1, m_Add(m_Value(Y), m_Specific(Op0))))  in visitSub()
1579     if (match(Op0, m_Sub(m_Specific(Op1), m_Value(Y))))  in visitSub()
1586     if (match(Op1, m_Xor(m_Value(A), m_Value(B))) &&  in visitSub()
1595     if (match(Op0, m_Or(m_Value(Y), m_Specific(Op1))) ||  in visitSub()
1596         match(Op0, m_Or(m_Specific(Op1), m_Value(Y))))  in visitSub()
1607     if (match(Op1, m_Sub(m_Value(Y), m_Value(Z))))  in visitSub()
1613     if (match(Op1, m_And(m_Value(Y), m_Specific(Op0))) ||  in visitSub()
1614         match(Op1, m_And(m_Specific(Op0), m_Value(Y))))  in visitSub()
1619     if (match(Op1, m_SDiv(m_Value(X), m_Constant(C))) && match(Op0, m_Zero()) &&  in visitSub()
1624     if (match(Op1, m_Shl(m_Value(X), m_Value(Y))) && match(Op0, m_Zero()))  in visitSub()
1631     if (match(Op1, m_Mul(m_Value(A), m_Neg(m_Value(B)))) ||  in visitSub()
1632         match(Op1, m_Mul(m_Neg(m_Value(A)), m_Value(B))))  in visitSub()
1637     if (match(Op1, m_Mul(m_Value(A), m_Constant(CI))) ||  in visitSub()
1638         match(Op1, m_Mul(m_Constant(CI), m_Value(A)))) {  in visitSub()
1647   if (match(Op0, m_PtrToInt(m_Value(LHSOp))) &&  in visitSub()
1648       match(Op1, m_PtrToInt(m_Value(RHSOp))))  in visitSub()
1653   if (match(Op0, m_Trunc(m_PtrToInt(m_Value(LHSOp)))) &&  in visitSub()
1654       match(Op1, m_Trunc(m_PtrToInt(m_Value(RHSOp)))))  in visitSub()