[llvm] 81b43b2 - [SCEV] Enable verification under EXPENSIVE_CHECKS

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2022-03-07T09:53:00+01:00
New Revision: 81b43b23e4cb2cb23ea579a3836baceae644e3ce

URL: https://github.com/llvm/llvm-project/commit/81b43b23e4cb2cb23ea579a3836baceae644e3ce
DIFF: https://github.com/llvm/llvm-project/commit/81b43b23e4cb2cb23ea579a3836baceae644e3ce.diff

LOG: [SCEV] Enable verification under EXPENSIVE_CHECKS

SCEV verification should no longer affect results of subsequent
queries, and our lit tests as well as llvm-test-suite pass with
SCEV verification enabled, so I think we can enable it by default
under EXPENSIVE_CHECKS now.

Differential Revision: https://reviews.llvm.org/D120708

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index 338117348b0a1..94c4249142f8e 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -142,8 +142,11 @@ STATISTIC(NumTripCountsNotComputed,
 STATISTIC(NumBruteForceTripCountsComputed,
           "Number of loops with trip counts computed by force");
 
-// FIXME: Enable this with EXPENSIVE_CHECKS when the test suite is clean.
+#ifdef EXPENSIVE_CHECKS
+bool llvm::VerifySCEV = true;
+#else
 bool llvm::VerifySCEV = false;
+#endif
 
 static cl::opt<unsigned>
 MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden,