[llvm] [DA] Add tests for nsw doesn't hold on entire iteration space (NFC) (PR #162281)

Ryotaro Kasuga via llvm-commits llvm-commits at lists.llvm.org
Wed Dec 3 05:51:04 PST 2025


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

----------------
kasuga-fj wrote:

No, SCEV can infer nowrap flags without IR's `nsw`, for example by constant range analysis. You can see `nsw`s are inferred by running `'print<scalar-evolution>`.

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


More information about the llvm-commits mailing list