[PATCH] D39453: [SCEV] Strengthen variance condition in calculateLoopDisposition

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

@reames the problem here is that when we try to simplify sum of `i` and `j` in `getSCEVAddRecExpr`, we falsely assume that `j` is invariant for `i`'s loop while it should be vice versa: `i` is invariant for `j`'s loop.


https://reviews.llvm.org/D39453