[llvm] [ValueTracking] Implement sdiv/udiv support for isKnownNonNullFromDominatingCondition (PR #67282)

[Yingwei Zheng via llvm-commits]

================
@@ -2263,6 +2263,11 @@ static bool isKnownNonNullFromDominatingCondition(const Value *V,
         return true;
     }
 
+    if ((match(U, m_UDiv(m_Value(), m_Specific(V))) ||
+         match(U, m_SDiv(m_Value(), m_Specific(V)))) &&
----------------
dtcxzyw wrote:

I think it also holds for `srem/urem/llvm.sdiv.fix.*/llvm.udiv.fix.*`.

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