[PATCH] D99929: [SCEV] Fix false-positive recognition of simple recurrences. PR49856

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

I can't say if the alternative a correct solution because I don't know if we guarantee to destroy all loops immediately after some block contained in them has become urneachable. If not, then the alternative solution also contains this bug. If yes, this is not obvious and I'm not sure where it is asserted. We can go with it if we have the answers to these questions.


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

https://reviews.llvm.org/D99929