46 lines · c
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-exception6//7//===----------------------------------------------------------------------===//8///9/// \file10/// This file declares the class VPlanVerifier, which contains utility functions11/// to check the consistency of a VPlan. This includes the following kinds of12/// 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_H25#define LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H26 27#include "llvm/Support/Compiler.h"28 29namespace llvm {30class VPlan;31 32/// Verify invariants for general VPlans. If \p VerifyLate is passed, skip some33/// checks that are not applicable at later stages of the transform pipeline.34/// Currently it checks the following:35/// 1. Region/Block verification: Check the Region/Block verification36/// invariants for every region in the H-CFG.37/// 2. all phi-like recipes must be at the beginning of a block, with no other38/// recipes in between. Note that currently there is still an exception for39/// VPBlendRecipes.40LLVM_ABI_FOR_TEST bool verifyVPlanIsValid(const VPlan &Plan,41 bool VerifyLate = false);42 43} // namespace llvm44 45#endif //LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H46