[llvm] [InstCombine] Fold trunc nuw/nsw (shr exact %x, %y) to i1 -> icmp ne %x, 0 (PR #210499)

[Yingwei Zheng via llvm-commits]

================

----------------
dtcxzyw wrote:

> I think the exact can be preserved for the lshr when ashr have excat but do not know if it is possible to save the nuw/nsw for the trunc

It looks impossible to preserve nuw/nsw.


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