[llvm] [SCEV] Add SafeWrap flag to AddRecs (PR #118483)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Do I understand correctly that the "safe-wrap" flag does not actually carry any operational semantics, and is just a marker to disable nowrap predication?

Can you please add more information to the PR description on what and how this does? What are the unpredicated SCEVs involved here, how were they previously predicated, and what happens now?

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