summaryrefslogtreecommitdiffstats
path: root/gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h')
-rw-r--r--gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h44
1 files changed, 0 insertions, 44 deletions
diff --git a/gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h b/gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
deleted file mode 100644
index d2f99d006a6..00000000000
--- a/gnu/llvm/lib/Transforms/Vectorize/VPlanVerifier.h
+++ /dev/null
@@ -1,44 +0,0 @@
-//===-- VPlanVerifier.h -----------------------------------------*- C++ -*-===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-///
-/// \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