aboutsummaryrefslogtreecommitdiff
path: root/contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h')
-rw-r--r--contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h43
1 files changed, 0 insertions, 43 deletions
diff --git a/contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h b/contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
deleted file mode 100644
index 7d2b26252172..000000000000
--- a/contrib/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
+++ /dev/null
@@ -1,43 +0,0 @@
-//===-- VPlanVerifier.h -----------------------------------------*- C++ -*-===//
-//
-// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
-// See https://llvm.org/LICENSE.txt for license information.
-// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
-//
-//===----------------------------------------------------------------------===//
-///
-/// \file
-/// This file declares the class VPlanVerifier, which contains utility functions
-/// to check the consistency of a VPlan. This includes the following kinds of
-/// invariants:
-///
-/// 1. Region/Block invariants:
-/// - Region's entry/exit block must have no predecessors/successors,
-/// respectively.
-/// - Block's parent must be the region immediately containing the block.
-/// - Linked blocks must have a bi-directional link (successor/predecessor).
-/// - All predecessors/successors of a block must belong to the same region.
-/// - Blocks must have no duplicated successor/predecessor.
-///
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H
-#define LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H
-
-#include "VPlan.h"
-
-namespace llvm {
-
-/// Class with utility functions that can be used to check the consistency and
-/// invariants of a VPlan, including the components of its H-CFG.
-class VPlanVerifier {
-public:
- /// 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.
- void verifyHierarchicalCFG(const VPRegionBlock *TopRegion) const;
-};
-} // namespace llvm
-
-#endif //LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H