1 //===-- VPlanVerifier.h -----------------------------------------*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 /// 9 /// \file 10 /// This file declares the class VPlanVerifier, which contains utility functions 11 /// to check the consistency of a VPlan. This includes the following kinds of 12 /// invariants: 13 /// 14 /// 1. Region/Block invariants: 15 /// - Region's entry/exit block must have no predecessors/successors, 16 /// respectively. 17 /// - Block's parent must be the region immediately containing the block. 18 /// - Linked blocks must have a bi-directional link (successor/predecessor). 19 /// - All predecessors/successors of a block must belong to the same region. 20 /// - Blocks must have no duplicated successor/predecessor. 21 /// 22 //===----------------------------------------------------------------------===// 23 24 #ifndef LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H 25 #define LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H 26 27 namespace llvm { 28 class VPRegionBlock; 29 30 /// Struct with utility functions that can be used to check the consistency and 31 /// invariants of a VPlan, including the components of its H-CFG. 32 struct VPlanVerifier { 33 /// Verify the invariants of the H-CFG starting from \p TopRegion. The 34 /// verification process comprises the following steps: 35 /// 1. Region/Block verification: Check the Region/Block verification 36 /// invariants for every region in the H-CFG. 37 void verifyHierarchicalCFG(const VPRegionBlock *TopRegion) const; 38 }; 39 } // namespace llvm 40 41 #endif //LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H 42