projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a69b76c) | patch
[SCEV] Add missing type check into getRangeForAffineNoSelfWrappingAR
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 15 Dec 2020 07:40:17 +0000 (14:40 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 15 Dec 2020 07:50:32 +0000 (14:50 +0700)
commit8b330f1f6919a2ac85eeda753ad8d1090468e23f
treefa40abff1a75fcab862a88de61e2fad49b1d1953tree | snapshot
parenta69b76c500849bacc0ba494df03b465e4bcff0efcommit | diff
[SCEV] Add missing type check into getRangeForAffineNoSelfWrappingAR

We make type widening without checking if it's needed. Bail if the max
iteration count is wider than AR's type.
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
llvm/test/Transforms/IndVarSimplify/2020-12-15-trunc-bug-expensive-range-inference.ll diff | blob | history
Domain: System / Toolchain;