nicolas/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Revert "[SCEV] Enable SCEV verification by default in EXPENSIVE_CHECKS builds"

Browse Source 
This reverts commit r301150.  It breaks CodeGen/Hexagon/hwloop-wrap2.ll, reverting
while I investigate.

llvm-svn: 301154
This commit is contained in:
Sanjoy Das
2017-04-24 02:35:19 +00:00
parent 9f40457d61
commit 0cdcdf018e
2 changed files with 4 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
llvm/lib/Analysis/ScalarEvolution.cpp
View File

@@ -114,16 +114,9 @@ MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden,
cl::init(100)); cl::init(100));
// FIXME: Enable this with EXPENSIVE_CHECKS when the test suite is clean. // FIXME: Enable this with EXPENSIVE_CHECKS when the test suite is clean.
static cl::opt<bool> VerifySCEV( static cl::opt<bool>
"verify-scev", VerifySCEV("verify-scev",
cl::desc("Verify ScalarEvolution's backedge taken counts (slow)"), cl::desc("Verify ScalarEvolution's backedge taken counts (slow)"));
#ifdef EXPENSIVE_CHECKS
cl::init(true)
#else
cl::init(false)
#endif
);
static cl::opt<bool> static cl::opt<bool>
VerifySCEVMap("verify-scev-maps", VerifySCEVMap("verify-scev-maps",
cl::desc("Verify no dangling value in ScalarEvolution's " cl::desc("Verify no dangling value in ScalarEvolution's "

2
llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll
View File

@@ -1,5 +1,5 @@
; REQUIRES: asserts ; 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 ; PR 3170
define i32 @a(i32 %x, i32 %y) nounwind { define i32 @a(i32 %x, i32 %y) nounwind {
entry: entry: