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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

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

They failed because they ran InstSimplify/Attributor. I mean InstCombine can optimize these cases without the change to `is KnownNonZero `.



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