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

[Nikita Popov via llvm-commits]

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

This also holds for sdiv.

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