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

[Nikita Popov via llvm-commits]

nikic wrote:

This is a mistake in the test case, I've put up https://github.com/llvm/llvm-project/pull/67641 to fix it.

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