[llvm] 4a02d1e - [RegionInfo] Always call verifyRegion()

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2023-08-11T10:44:47+02:00
New Revision: 4a02d1e77e20deab7884fa7ee84db90681c105b2

URL: https://github.com/llvm/llvm-project/commit/4a02d1e77e20deab7884fa7ee84db90681c105b2
DIFF: https://github.com/llvm/llvm-project/commit/4a02d1e77e20deab7884fa7ee84db90681c105b2.diff

LOG: [RegionInfo] Always call verifyRegion()

verifyRegion() itself contains a guard against the VerifyRegion
option, which is enabled by default under EXPENSIVE_CHECKS and can
be explicitly enabled using -verify-region-info.

Relative to the previous implementation this means that
-verify-region-info will now actually work by itself, instead of
requiring -debug to also be enabled.

Added: 
    

Modified: 
    llvm/include/llvm/Analysis/RegionInfoImpl.h

Removed: 
    


################################################################################
diff  --git a/llvm/include/llvm/Analysis/RegionInfoImpl.h b/llvm/include/llvm/Analysis/RegionInfoImpl.h
index 74591ee25ae585..9f4c052a48555f 100644
--- a/llvm/include/llvm/Analysis/RegionInfoImpl.h
+++ b/llvm/include/llvm/Analysis/RegionInfoImpl.h
@@ -655,11 +655,7 @@ typename Tr::RegionT *RegionInfoBase<Tr>::createRegion(BlockT *entry,
       new RegionT(entry, exit, static_cast<RegionInfoT *>(this), DT);
   BBtoRegion.insert({entry, region});
 
-#ifdef EXPENSIVE_CHECKS
   region->verifyRegion();
-#else
-  LLVM_DEBUG(region->verifyRegion());
-#endif
 
   updateStatistics(region);
   return region;