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 /llvm/lib/Analysis | |
| 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
Diffstat (limited to 'llvm/lib/Analysis')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 13 |
1 files changed, 10 insertions, 3 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 " |
