reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/Analysis/ValueTracking.cpp
 2228               (match(Induction, m_NSWAdd(m_Specific(PN), m_ConstantInt(X))) ||
 5149     if (match(RHS, m_NSWAdd(m_Specific(LHS), m_APInt(C))))
lib/Transforms/InstCombine/InstCombineAddSub.cpp
  849   if (match(Op0, m_OneUse(m_SExt(m_NSWAdd(m_Value(X), m_Constant(NarrowC)))))) {
lib/Transforms/InstCombine/InstCombineCalls.cpp
 2025     bool HasNWAdd = IsSigned ? match(Arg0, m_NSWAdd(m_Value(X), m_APInt(C0)))
lib/Transforms/InstCombine/InstCombineSelect.cpp
 1997   if (!IsUnsigned && match(X, m_NSWAdd(m_Value(A), m_APInt(C1))) &&
lib/Transforms/Scalar/IndVarSimplify.cpp
 1826   if (!match(NarrowDef, m_NSWAdd(m_Value(NarrowDefLHS),
lib/Transforms/Scalar/SeparateConstOffsetFromGEP.cpp
 1187   if (match(I, m_NSWAdd(m_Value(LHS), m_Value(RHS))) ||
unittests/IR/PatternMatch.cpp
  787       m_NSWAdd(m_Value(MatchL), m_Value(MatchR)).match(IRB.CreateNSWAdd(L, R)));
  826   EXPECT_FALSE(m_NSWAdd(m_Value(), m_Value()).match(IRB.CreateAdd(L, R)));
  827   EXPECT_FALSE(m_NSWAdd(m_Value(), m_Value()).match(IRB.CreateNUWAdd(L, R)));
  828   EXPECT_FALSE(m_NSWAdd(m_Value(), m_Value()).match(IRB.CreateNSWSub(L, R)));