projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7af2818) | patch
[SCEV][NFC][CT] Do not waste time proving contextual facts for unreached loops and...
authorMax Kazantsev <mkazantsev@azul.com>
Wed, 20 Jul 2022 12:01:43 +0000 (19:01 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Wed, 20 Jul 2022 12:02:28 +0000 (19:02 +0700)
commite0ccd190ae8b3a7e8d79258218703a6ecadbc883
treed02a468f5b116000428061dd052f49b15ac12fa7tree | snapshot
parent7af2818a995efe84aa0bffa6ababe57ec553ef81commit | diff
[SCEV][NFC][CT] Do not waste time proving contextual facts for unreached loops and blocks

In fact, in unreached code we can say that every fact is true. So do not waste time trying to
do something smarter.

Formally it's not an NFC because it may change query results in unreached code, but they
won't have any impact on execution.

Hypothetical CT boost expected but not measured in practice.

Differential Revision: https://reviews.llvm.org/D129878
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
Domain: System / Toolchain;