[llvm] [ValueTracking] Support srem/urem for isKnownNonNullFromDominatingCondition (PR #74021)

[via llvm-commits]

================
@@ -2186,7 +2186,9 @@ static bool isKnownNonNullFromDominatingCondition(const Value *V,
         return true;
     }
 
-    if (match(U, m_IDiv(m_Value(), m_Specific(V))) &&
+    if ((match(U, m_IDiv(m_Value(), m_Specific(V))) ||
+         match(U, m_URem(m_Value(), m_Specific(V))) ||
+         match(U, m_SRem(m_Value(), m_Specific(V)))) &&
----------------
vfdff wrote:

apply your comment, thank @dc03 for your quickly review

https://github.com/llvm/llvm-project/pull/74021