diff options
| author | Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt> | 2022-09-19 11:59:35 +0100 |
|---|---|---|
| committer | Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt> | 2022-09-19 11:59:35 +0100 |
| commit | d953d0173776e7f7109b35ac2e74259dd126ab74 (patch) | |
| tree | 4903a5518cc976e977c9250e4de58cb4d12db4ea /llvm/lib/Transforms/Utils/LoopRotationUtils.cpp | |
| parent | bdb9ca483079ce220dbe738865aa7fe09064fbe5 (diff) | |
| download | llvm-d953d0173776e7f7109b35ac2e74259dd126ab74.zip llvm-d953d0173776e7f7109b35ac2e74259dd126ab74.tar.gz llvm-d953d0173776e7f7109b35ac2e74259dd126ab74.tar.bz2 | |
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
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopRotationUtils.cpp')
0 files changed, 0 insertions, 0 deletions