maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[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
This commit is contained in:
Nikita Popov 2022-02-28 11:18:18 +01:00
parent c063f9da55
commit 81b43b23e4
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -142,8 +142,11 @@ STATISTIC(NumTripCountsNotComputed,
STATISTIC(NumBruteForceTripCountsComputed, STATISTIC(NumBruteForceTripCountsComputed,
"Number of loops with trip counts computed by force"); "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; bool llvm::VerifySCEV = false;
#endif
static cl::opt<unsigned> static cl::opt<unsigned>
MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden, MaxBruteForceIterations("scalar-evolution-max-iterations", cl::ReallyHidden,