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

References

lib/Analysis/ValueTracking.cpp

 2229                match(Induction, m_NUWAdd(m_Specific(PN), m_ConstantInt(X)))) &&
 5158     if (match(RHS, m_NUWAdd(m_Specific(LHS), m_APInt(C))))
 5165       if (match(A, m_NUWAdd(m_Value(X), m_APInt(CA))) &&
 5166           match(B, m_NUWAdd(m_Specific(X), m_APInt(CB))))

lib/Transforms/InstCombine/InstCombineAddSub.cpp

  839       match(Op0, m_OneUse(m_ZExt(m_NUWAdd(m_Value(X), m_APInt(C2))))) &&
  856   if (match(Op0, m_OneUse(m_ZExt(m_NUWAdd(m_Value(X), m_Constant(NarrowC)))))) {

lib/Transforms/InstCombine/InstCombineCalls.cpp

 2026                              : match(Arg0, m_NUWAdd(m_Value(X), m_APInt(C0)));

lib/Transforms/InstCombine/InstCombineSelect.cpp

 1987   if (IsUnsigned && match(X, m_NUWAdd(m_Value(A), m_APInt(C1))) &&

unittests/IR/PatternMatch.cpp

  807       m_NUWAdd(m_Value(MatchL), m_Value(MatchR)).match(IRB.CreateNUWAdd(L, R)));
  840   EXPECT_FALSE(m_NUWAdd(m_Value(), m_Value()).match(IRB.CreateAdd(L, R)));
  841   EXPECT_FALSE(m_NUWAdd(m_Value(), m_Value()).match(IRB.CreateNSWAdd(L, R)));
  842   EXPECT_FALSE(m_NUWAdd(m_Value(), m_Value()).match(IRB.CreateNUWSub(L, R)));