Home
last modified time | relevance | path

Searched refs:m_Exact (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineShifts.cpp870 if (match(Op0, m_Exact(m_Shr(m_Value(X), m_APInt(C1)))) && in visitShl()
H A DInstCombineMulDivRem.cpp1049 bool IsExact = I.isExact() && match(Op0, m_Exact(m_Value())); in visitUDiv()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DInstructionSimplify.cpp907 m_Exact(m_IDiv(m_Value(X), m_Specific(Op1)))) || // (X / Y) * Y in simplifyMulInst()
908 match(Op1, m_Exact(m_IDiv(m_Value(X), m_Specific(Op0)))))) // Y * (X / Y) in simplifyMulInst()
1388 match(Op0, m_Exact(m_Shr(m_Value(X), m_Specific(Op1))))) in simplifyShlInst()
H A DValueTracking.cpp2214 if (match(V, m_Exact(m_LShr(m_Value(), m_Value()))) || in isKnownToBeAPowerOfTwo()
2215 match(V, m_Exact(m_UDiv(m_Value(), m_Value())))) { in isKnownToBeAPowerOfTwo()
2614 else if (match(V, m_Exact(m_IDiv(m_Value(X), m_Value())))) { in isKnownNonZero()
/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DPatternMatch.h1351 template <typename T> inline Exact_match<T> m_Exact(const T &SubPattern) { in m_Exact() function