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