[PATCH] D112080: [SCEV] Avoid long execution time in ScalarEvolution::isImpliedCond
Bjorn Pettersson via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 19 11:46:05 PDT 2021
bjope updated this revision to Diff 380747.
bjope added a comment.
Now using isKnownViaNonRecursiveReasoning instead of isKnownPredicate.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D112080/new/
https://reviews.llvm.org/D112080
Files:
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/ScalarEvolution/pr51869-scalar-evolution-prove-implications-via-truncation.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112080.380747.patch
Type: text/x-patch
Size: 8498 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211019/19a44325/attachment.bin>
More information about the llvm-commits
mailing list