projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdb9ca4) | patch
Introduce -enable-global-analyses to allow users to disable inter-procedural analyses
authorNuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Mon, 19 Sep 2022 10:59:35 +0000 (11:59 +0100)
committerNuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Mon, 19 Sep 2022 10:59:35 +0000 (11:59 +0100)
commitd953d0173776e7f7109b35ac2e74259dd126ab74
tree4903a5518cc976e977c9250e4de58cb4d12db4eatree | snapshot
parentbdb9ca483079ce220dbe738865aa7fe09064fbe5commit | diff
Introduce -enable-global-analyses to allow users to disable inter-procedural analyses

Alive2 doesn't support verification of optimizations that use inter-procedural analyses.
Right now, clang uses GlobalsAA by default and there's no way to disable it.
This leads to Alive2 producing false positives.
The added flag allows us to skip global analyses altogether.

Differential Revision: https://reviews.llvm.org/D134139
llvm/lib/Passes/PassBuilderPipelines.cpp diff | blob | history
Domain: System / Toolchain;