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