[PATCH] D111495: [IndVars] Invalidate SCEV when IR is changed in rewriteLoopExitValue.

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D111495#3055151 <https://reviews.llvm.org/D111495#3055151>, @mkazantsev wrote:

> The very fact that invalidation or non-invalidation in SCEV changes behavior (even if the transforms are correct) is worrysome. It introduces more non-determinism in our compilations...

Yeah, but also widespread unfortunately.  Whenever we have a case where an analysis is not precise or we have two equally precise states, we have that problem.  We don't really have a great way to address this in general.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111495