[llvm] [ValueTracking] Infer `X u<= X +nuw Y` for any Y (PR #75524)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 14 12:15:42 PST 2023


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

LGTM

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


More information about the llvm-commits mailing list