[PATCH] D110620: [SCEV] Infer ranges for SCC consisting of cycled Phis

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I don't quite understand why it is a miscompile. If one of phis in SCC has range limited by assume, the same should apply to entire SCC. @aeubanks I don't see a bug in what you are describing. Could you please elaborate?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D110620