[PATCH] D79746: [SCEV] Relax abnormal exit check in isAddRecNeverPoison.

[Florian Hahn via Phabricator via llvm-commits]

fhahn planned changes to this revision.
fhahn added a comment.

In D79746#2038953 <https://reviews.llvm.org/D79746#2038953>, @efriedma wrote:

> > Would the idea here be allowing to use overflow flags for expressions depending on where an expression is evaluated/used? (for example the latch branch for the trip count computation)
>
> I guess it could vary based on that.  The discussion has mostly centered around making the overflow flags vary depending on whether the IR instruction is marked nsw/nuw, but that isn't the only possible input.


Thanks for clarifying! IIUC the idea would be to de-couple overflow flags from directly storing them in the expressions and have a way to pass them in depending on the context. I'll try to look into that when I have a bit more time.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79746