================ ---------------- 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