diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-24 00:41:58 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-24 00:41:58 +0000 |
| commit | 8919303b0a2742dee944cd33bc716d0ac5292a1f (patch) | |
| tree | e7041e809111e93544449dbf31bbf05bcfbd70bd | |
| parent | bdbc4938f9a6cea9d297db71a7303e1aad4d810b (diff) | |
| download | bcm5719-llvm-8919303b0a2742dee944cd33bc716d0ac5292a1f.tar.gz bcm5719-llvm-8919303b0a2742dee944cd33bc716d0ac5292a1f.zip | |
[SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds
llvm-svn: 301150
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 13 | ||||
| -rw-r--r-- | llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll | 2 |
2 files changed, 11 insertions, 4 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index fa9d1e326c2..390e495b92b 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -114,9 +114,16 @@ MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden, cl::init(100)); // FIXME: Enable this with EXPENSIVE_CHECKS when the test suite is clean. -static cl::opt<bool> -VerifySCEV("verify-scev", - cl::desc("Verify ScalarEvolution's backedge taken counts (slow)")); +static cl::opt<bool> VerifySCEV( + "verify-scev", + cl::desc("Verify ScalarEvolution's backedge taken counts (slow)"), +#ifdef EXPENSIVE_CHECKS + cl::init(true) +#else + cl::init(false) +#endif + ); + static cl::opt<bool> VerifySCEVMap("verify-scev-maps", cl::desc("Verify no dangling value in ScalarEvolution's " diff --git a/llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll b/llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll index 90c0944e38d..01ef37122a1 100644 --- a/llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll +++ b/llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll @@ -1,5 +1,5 @@ ; REQUIRES: asserts -; RUN: opt < %s -loop-unswitch -stats -disable-output 2>&1 | grep "1 loop-unswitch - Number of branches unswitched" | count 1 +; RUN: opt < %s -loop-unswitch -stats -disable-output 2>&1 | grep "1 loop-unswitch[ ]*-[ ]*Number of branches unswitched" | count 1 ; PR 3170 define i32 @a(i32 %x, i32 %y) nounwind { entry: |
