[llvm] [llvm][GVN] Propagate `trunc nuw to i1` equalities (PR #143273)

[Andreas Jonson via llvm-commits]

https://github.com/andjo403 commented:

have not worked in GVN before but posted some comments.

Maybe not a question for this PR but is it possible to support not condition (xor i1 %tr, true) also? 

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