[llvm] [SCEV] Don't require NUW at first add when checking A+C1 < (A+C2)<nuw> (PR #149795)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 22 07:42:36 PDT 2025


https://github.com/nikic commented:

Technically we could propagate the nuw flag from A+C2 to A+C1, but I guess we don't really have a good place to actually do that.

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


More information about the llvm-commits mailing list