diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2017-02-15 21:10:09 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2017-02-15 21:10:09 +0000 |
| commit | 9421c2dc54df150f1430a9b16ef1d24acbc3146d (patch) | |
| tree | 1569cb82845a53db0ff9570ba3d108ec5c267de9 /llvm/test/Transforms/SimplifyCFG/critedge-assume.ll | |
| parent | 5b4c30fb32146b868dee3723bd878edba395358f (diff) | |
| download | bcm5719-llvm-9421c2dc54df150f1430a9b16ef1d24acbc3146d.tar.gz bcm5719-llvm-9421c2dc54df150f1430a9b16ef1d24acbc3146d.zip | |
AssumptionCache: Disable the verifier by default, move it behind a hidden cl::opt and verify from releaseMemory().
This is a short term solution to the problem that many passes currently fail
to update the assumption cache. In the long term the verifier should not
be controllable with a flag. We should either fix all passes to correctly
update the assumption cache and enable the verifier unconditionally or
somehow arrange for the assumption list to be updated automatically by passes.
Differential Revision: https://reviews.llvm.org/D30003
llvm-svn: 295236
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/critedge-assume.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/critedge-assume.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/critedge-assume.ll b/llvm/test/Transforms/SimplifyCFG/critedge-assume.ll index cba4a487d9e..db24685a37b 100644 --- a/llvm/test/Transforms/SimplifyCFG/critedge-assume.ll +++ b/llvm/test/Transforms/SimplifyCFG/critedge-assume.ll @@ -1,4 +1,4 @@ -; RUN: opt -o %t %s -instcombine -simplifycfg -thinlto-bc +; RUN: opt -o %t %s -instcombine -simplifycfg -thinlto-bc -verify-assumption-cache ; RUN: llvm-dis -o - %t | FileCheck %s ; Test that the simplifycfg pass correctly updates the assumption cache |
