[PATCH] D113578: [SCEV] Apply loop guards when computing max BTC for arbitrary steps.
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 10 21:58:25 PST 2021
mkazantsev added inline comments.
================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:9670
+ assert(MaxWithGuards.ule(getUnsignedRangeMax(E)) &&
+ "applying loop guards unexpectedly pessimized max count");
+ M = getConstant(MaxWithGuards);
----------------
nikic wrote:
> Same as in other cases, this assertions likely doesn't always hold.
Isn't breach of this is a bug we want to fix?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D113578/new/
https://reviews.llvm.org/D113578
More information about the llvm-commits
mailing list