[llvm] r301150 - [SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds

[Sanjoy Das via llvm-commits]

Author: sanjoy
Date: Sun Apr 23 19:41:58 2017
New Revision: 301150

URL: http://llvm.org/viewvc/llvm-project?rev=301150&view=rev
Log:
[SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds

Modified:
    llvm/trunk/lib/Analysis/ScalarEvolution.cpp
    llvm/trunk/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll

Modified: llvm/trunk/lib/Analysis/ScalarEvolution.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/ScalarEvolution.cpp?rev=301150&r1=301149&r2=301150&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/ScalarEvolution.cpp (original)
+++ llvm/trunk/lib/Analysis/ScalarEvolution.cpp Sun Apr 23 19:41:58 2017
@@ -114,9 +114,16 @@ MaxBruteForceIterations("scalar-evolutio
                         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 "

Modified: llvm/trunk/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll?rev=301150&r1=301149&r2=301150&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll (original)
+++ llvm/trunk/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll Sun Apr 23 19:41:58 2017
@@ -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: