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

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Nov 10 05:09:37 PST 2017


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





More information about the llvm-commits mailing list