[PATCH] D51582: [IndVars] Turn isValidRewrite into an assertion

[Andrew Trick via Phabricator via llvm-commits]

atrick added a comment.

It's great that you have a reproducer. Sad that SCEV still hasn't been fixed. As I mentioned, I wasn't able to easily reproduce the problem from source. I know that, back in 2011, the issue was only exposed because LCSSA form was blocking some obvious SCEV optimization.


Repository:
  rL LLVM

https://reviews.llvm.org/D51582