[llvm] [ValueTracking] Handle assume(trunc x to i1) in knownNonZero (PR #135055)

[Andreas Jonson via llvm-commits]

andjo403 wrote:

@dtcxzyw I do not understand why the test do not fail for you when the code is removed https://github.com/llvm/llvm-project/pull/118406#discussion_r2035759451

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