906     if (match(LHS, m_Xor(m_Value(XorLHS), m_ConstantInt(XorRHS)))) {  in visitAdd()
1013     if (match(LHS, m_Mul(m_Value(W), m_Value(X))) &&  in visitAdd()
1014         match(RHS, m_Mul(m_Value(Y), m_Value(Z)))) {  in visitAdd()
1035     if (match(LHS, m_Not(m_Value(X))))    // ~X + C --> (C-1) - X  in visitAdd()
1040         match(LHS, m_And(m_Value(X), m_ConstantInt(C2))) &&  in visitAdd()
1080       if (match(FV, m_Zero()) && match(TV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1084       if (match(TV, m_Zero()) && match(FV, m_Sub(m_Value(N), m_Specific(A))))  in visitAdd()
1127     if (match(RHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1132     if (match(LHS, m_Xor(m_Value(A), m_Value(B))) &&  in visitAdd()
1309     if (match(Op1, m_Not(m_Value(X))))  in visitSub()
1316       if (match(Op1, m_LShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1321       if (match(Op1, m_AShr(m_Value(X), m_ConstantInt(CI))) &&  in visitSub()
1334     if (match(Op1, m_Add(m_Value(X), m_ConstantInt(C2))))  in visitSub()
1341     if (C->isZero() && match(Op1, m_ZExt(m_Value(X))))  in visitSub()
1346     if (C->isZero() && match(Op1, m_SExt(m_Value(X))))  in visitSub()
1354     if (match(Op1, m_Add(m_Specific(Op0), m_Value(Y))) ||  in visitSub()
1355         match(Op1, m_Add(m_Value(Y), m_Specific(Op0))))  in visitSub()
1359     if (match(Op0, m_Sub(m_Specific(Op1), m_Value(Y))))  in visitSub()
1369     if (match(Op1, m_Sub(m_Value(Y), m_Value(Z))))  in visitSub()
1375     if (match(Op1, m_And(m_Value(Y), m_Specific(Op0))) ||  in visitSub()
1376         match(Op1, m_And(m_Specific(Op0), m_Value(Y))))  in visitSub()
1381     if (match(Op1, m_SDiv(m_Value(X), m_Constant(C))) &&  in visitSub()
1386     if (match(Op1, m_Shl(m_Value(X), m_Value(Y))) && match(Op0, m_Zero()))  in visitSub()
1406     if (match(Op1, m_Mul(m_Value(A), m_Neg(m_Value(B)))) ||  in visitSub()
1407         match(Op1, m_Mul(m_Neg(m_Value(A)), m_Value(B))))  in visitSub()
1412     if (match(Op1, m_Mul(m_Value(A), m_ConstantInt(CI))) ||  in visitSub()
1413         match(Op1, m_Mul(m_ConstantInt(CI), m_Value(A)))) {  in visitSub()
1433     if (match(Op0, m_PtrToInt(m_Value(LHSOp))) &&  in visitSub()
1434         match(Op1, m_PtrToInt(m_Value(RHSOp))))  in visitSub()
1439     if (match(Op0, m_Trunc(m_PtrToInt(m_Value(LHSOp)))) &&  in visitSub()
1440         match(Op1, m_Trunc(m_PtrToInt(m_Value(RHSOp)))))  in visitSub()