9923d29cfa
Unify VPlan verifiers in verifyVPlanIsValid. This adds verification for various properties on blocks to the verifier used for VPlans generated by the inner loop vectorizer. It also adds def-use checks for the verifier used in the VPlan native path. This drops the separate flag to enable HCFG verification. Instead, all VPlans are verified once they have been created, if assertions are enabled. This also removes VPWidenPHIRecipe from VPHeaderPHIRecipe; it is used to model any phi node in the native path.
41 lines
1.6 KiB
C++
41 lines
1.6 KiB
C++
//===-- 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
|
|
|
|
namespace llvm {
|
|
class VPlan;
|
|
|
|
/// Verify invariants for general VPlans. Currently it checks the following:
|
|
/// 1. Region/Block verification: Check the Region/Block verification
|
|
/// invariants for every region in the H-CFG.
|
|
/// 2. all phi-like recipes must be at the beginning of a block, with no other
|
|
/// recipes in between. Note that currently there is still an exception for
|
|
/// VPBlendRecipes.
|
|
bool verifyVPlanIsValid(const VPlan &Plan);
|
|
|
|
} // namespace llvm
|
|
|
|
#endif //LLVM_TRANSFORMS_VECTORIZE_VPLANVERIFIER_H
|