From: Sanjoy Das Date: Mon, 24 Apr 2017 02:35:19 +0000 (+0000) Subject: Revert "[SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds" X-Git-Tag: llvmorg-5.0.0-rc1~6896 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=0cdcdf018eab844792cd82de4a90c85d400a067c;p=platform%2Fupstream%2Fllvm.git Revert "[SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds" This reverts commit r301150. It breaks CodeGen/Hexagon/hwloop-wrap2.ll, reverting while I investigate. llvm-svn: 301154 --- diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index a5234b4..1cc0554 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -114,16 +114,9 @@ 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 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 +VerifySCEV("verify-scev", + cl::desc("Verify ScalarEvolution's backedge taken counts (slow)")); static cl::opt 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 01ef371..90c0944 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: