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

Andreas Jonson via llvm-commits llvm-commits at lists.llvm.org
Sat Apr 12 01:49:16 PDT 2025


andjo403 wrote:

thanks for the explanation.
I also tested this after the fold  `icmp ne (and X, 1), 0 --> trunc X to  i1` and also did not get any diff for llvm-opt-benchmark so seems like it make no change.

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


More information about the llvm-commits mailing list