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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79746