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