LLVM
15.0.0git
|
Struct with utility functions that can be used to check the consistency and invariants of a VPlan, including the components of its H-CFG. More...
#include "Transforms/Vectorize/VPlanVerifier.h"
Public Member Functions | |
void | verifyHierarchicalCFG (const VPRegionBlock *TopRegion) const |
Verify the invariants of the H-CFG starting from TopRegion . More... | |
Static Public Member Functions | |
static bool | verifyPlanIsValid (const VPlan &Plan) |
Verify invariants for general VPlans. More... | |
Struct with utility functions that can be used to check the consistency and invariants of a VPlan, including the components of its H-CFG.
Definition at line 33 of file VPlanVerifier.h.
void VPlanVerifier::verifyHierarchicalCFG | ( | const VPRegionBlock * | TopRegion | ) | const |
Verify the invariants of the H-CFG starting from TopRegion
.
The verification process comprises the following steps:
Definition at line 126 of file VPlanVerifier.cpp.
References assert(), llvm::dbgs(), EnableHCFGVerifier, llvm::VPBlockBase::getParent(), LLVM_DEBUG, and verifyRegionRec().
Referenced by llvm::VPlanHCFGBuilder::buildHierarchicalCFG().
Verify invariants for general VPlans.
Currently it checks the following:
Definition at line 136 of file VPlanVerifier.cpp.
References llvm::depth_first(), and llvm::VPlan::getEntry().