Searched refs:m_c_Xor (Results 1 – 1 of 1) sorted by relevance
538 m_c_Xor(const LHS &L, const RHS &R) { in m_c_Xor() function834 m_c_ICmp(Pred, m_c_Xor(m_V, m_Value(B)), m_Value(A))) && in computeKnownBitsFromAssume()849 } else if (match(Arg, m_c_ICmp(Pred, m_Not(m_c_Xor(m_V, m_Value(B))), in computeKnownBitsFromAssume()