struct VPlanVerifier

Declaration

struct VPlanVerifier { /* full declaration omitted */ };

Description

Struct with utility functions that can be used to check the consistency and invariants of a VPlan, including the components of its H-CFG.

Declared at: llvm/lib/Transforms/Vectorize/VPlanVerifier.h:33

Method Overview

Methods

void verifyHierarchicalCFG(
    const llvm::VPRegionBlock* TopRegion) const

Description

Verify the invariants of the H-CFG starting from \p TopRegion. The verification process comprises the following steps: 1. Region/Block verification: Check the Region/Block verification invariants for every region in the H-CFG.

Declared at: llvm/lib/Transforms/Vectorize/VPlanVerifier.h:38

Parameters

const llvm::VPRegionBlock* TopRegion

static bool verifyPlanIsValid(
    const llvm::VPlan& Plan)

Description

Verify invariants for general VPlans. Currently it checks the following: 1. all phi-like recipes must be at the beginning of a block, with no other recipes in between. Note that currently there is still an exception for VPBlendRecipes.

Declared at: llvm/lib/Transforms/Vectorize/VPlanVerifier.h:44

Parameters

const llvm::VPlan& Plan