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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:10852
+    // a) L contains AR's loop;
+    // b) L and AR's loop are consecutive.
+    if (DT.dominates(L->getHeader(), AR->getLoop()->getHeader()))
----------------
Just to make it clear: what is meant here is "L and AR are consecutive in this order, i.e. L goes BEFORE the loop where AR is defined".


https://reviews.llvm.org/D39453