llvm/llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp

//===-- VPlanVerifier.cpp -------------------------------------------------===//
//
// 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 defines the class VPlanVerifier, which contains utility functions
/// to check the consistency and invariants of a VPlan.
///
//===----------------------------------------------------------------------===//

#include "VPlanVerifier.h"
#include "VPlan.h"
#include "VPlanCFG.h"
#include "VPlanDominatorTree.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/CommandLine.h"

#define DEBUG_TYPE …

usingnamespacellvm;

namespace {
class VPlanVerifier { … };
} // namespace

bool VPlanVerifier::verifyPhiRecipes(const VPBasicBlock *VPBB) { … }

bool VPlanVerifier::verifyEVLRecipe(const VPInstruction &EVL) const { … }

bool VPlanVerifier::verifyVPBasicBlock(const VPBasicBlock *VPBB) { … }

/// Utility function that checks whether \p VPBlockVec has duplicate
/// VPBlockBases.
static bool hasDuplicates(const SmallVectorImpl<VPBlockBase *> &VPBlockVec) { … }

bool VPlanVerifier::verifyBlock(const VPBlockBase *VPB) { … }

bool VPlanVerifier::verifyBlocksInRegion(const VPRegionBlock *Region) { … }

bool VPlanVerifier::verifyRegion(const VPRegionBlock *Region) { … }

bool VPlanVerifier::verifyRegionRec(const VPRegionBlock *Region) { … }

bool VPlanVerifier::verify(const VPlan &Plan) { … }

bool llvm::verifyVPlanIsValid(const VPlan &Plan) { … }