/*
 * 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
 *
 */

#ifndef VERIFY_H_
#define VERIFY_H_

#include "universal.h"

#if DEBUG
#define P(X) X;
#else
#define P(X) INLINE static X {}
#endif

/**
   \brief VERIFY_LEVEL specifies the depth to which to verify ILI.

   Deeper levels require more time.  A good strategy is to choose a depth for
   which the verification time can be amortized against compiler work that have
   happened since the last verification.
 */
typedef enum VERIFY_LEVEL {
  VERIFY_BLOCK,       /**< Verify down to blocks, but no deeper. */
  VERIFY_ILT,         /**< Verify down to ILTs. */
  VERIFY_ILI_SHALLOW, /**< Verify down to first ILI encountered. */
  VERIFY_ILI_DEEP     /**< Verify down to ILI leaves. */
} VERIFY_LEVEL;

/**
   \brief Verify that a block is structurally correct down to given level.
 */
P(void verify_block(int bihx, VERIFY_LEVEL level))

/**
   \brief Verify that function is structurally correct down to given level.
 */
P(void verify_function_ili(VERIFY_LEVEL level))

/**
   \brief Verify that ILI nodes is structurally correct down to given level.
 */
P(void verify_ili(int ilix, VERIFY_LEVEL level))

/**
   \brief Verify that an ILT is structurally correct down to given level.
 */
P(void verify_ilt(int iltx, VERIFY_LEVEL level))

#undef P
#endif // VERIFY_H_