[PATCH] D120651: [SCEV] Only verify BECounts for reachable loops (PR50523)
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 1 01:07:23 PST 2022
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
More information about the llvm-commits
mailing list