[PATCH] D120651: [SCEV] Only verify BECounts for reachable loops (PR50523)

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:13465
+    // any BECount is legal.
+    if (!ReachableBlocks.contains(L->getHeader()))
+      continue;
----------------
Why not just use `DT->isReachableFromEntry(L->getHeader())`?


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

https://reviews.llvm.org/D120651