From 81b43b23e4cb2cb23ea579a3836baceae644e3ce Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Mon, 28 Feb 2022 11:18:18 +0100 Subject: [PATCH] [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 --- llvm/lib/Analysis/ScalarEvolution.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 3381173..94c4249 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 MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden, -- 2.7.4