[PATCH] D134178: [SCEV] Calculate PHI range based on its underlying values instead of just its inputs

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Likely this is due to missing invalidation. @dmakogon pls fix the known issue and run more extensive fuzz testing to find what else is missing.

@nikic it shouldn't be a problem. If I'm reading this correctly, `PhiValues` makes computation lazily by request and supports by-value invalidation. If we have preserved SCEV => we have forgotten al values in SCEV => we have also invalidated them in PhiValues. This automatically gives what we want, no?


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

https://reviews.llvm.org/D134178