[llvm] [SCCP] Refine trunc with nsw/nuw flags (PR #87926)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw approved this pull request.

LGTM. BTW, as adding poison-generating flags blocks `logical and/or -> bitwise and/or`, should we take context information into account in `canCreateUndefOrPoison`?
@nikic


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