[PATCH] D134158: [SCEV] Verify contents of loop disposition cache

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:13991
+      auto RecomputedLoopDisposition =
+          getLoopDisposition(S, Loop, /*UseCache*/ false);
+      if (CachedDisposition != RecomputedLoopDisposition) {
----------------
Why does this not use the usual approach of comparing with the loop disposition on the other ScalarEvolution instance (SE2)?


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

https://reviews.llvm.org/D134158