projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a531bbd) | patch
[NewPM] Verify LoopAnalysisResults after a loop pass
authorArthur Eubanks <aeubanks@google.com>
Wed, 17 Mar 2021 21:53:57 +0000 (14:53 -0700)
committerArthur Eubanks <aeubanks@google.com>
Fri, 19 Mar 2021 20:26:45 +0000 (13:26 -0700)
commit94c269baf58330a5e303a4f86f64681f2f7a858b
tree1923bd5ad00c4bb661701e2024e87323a0aeb788tree | snapshot
parenta531bbd9adfc09b2e62ef0097580f1fe1603ca23commit | diff
[NewPM] Verify LoopAnalysisResults after a loop pass

    All loop passes should preserve all analyses in LoopAnalysisResults. Add
    checks for those.

    Note that due to PR44815, we don't check LAR's ScalarEvolution.
    Apparently calling SE.verify() can change its results.

    Only verify MSSA when VerifyMemorySSA, normally it's very expensive.

Reviewed By: asbirlea

Differential Revision: https://reviews.llvm.org/D98820
llvm/lib/Transforms/Scalar/LoopPassManager.cpp diff | blob | history
Domain: System / Toolchain;