[PATCH] D106852: [SCEV] Fix getAddExpr for adding loop invariants into start of some AddRec

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

In D106852#2927439 <https://reviews.llvm.org/D106852#2927439>, @mkazantsev wrote:

> But there is no way to specify this, right?

Exactly; we don't have any place to store nsw markings that only apply to a specific region of the function.  This is also the reason that D106331 <https://reviews.llvm.org/D106331> is so awkward.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D106852/new/

https://reviews.llvm.org/D106852