This file contains NVVM-specific IR verification logic. More...

#include "VerifierInternal.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/IntrinsicsNVPTX.h"
#include "llvm/IR/NVVMIntrinsicUtils.h"
#include "llvm/Support/FormatVariadic.h"
#include "llvm/Support/MathExtras.h"
#include <optional>

Macros
#define	Check(C, ...)

Functions
static bool	isValidSPElemSize (unsigned ElemSize)
static bool	isValidSPIdxSize (unsigned IdxSize)
static bool	isValidSPRepeatFactor (unsigned RepeatFactor)
static bool	isValidSPDecompressFactor (unsigned NumSrc, unsigned NumTgt)
static std::optional< SPOperandLayout >	getSPCompressLayout (unsigned ElemSize, unsigned IdxSize, unsigned RepeatFactor)
static std::optional< SPOperandLayout >	getSPDecompressLayout (unsigned NumSrc, unsigned NumTgt, unsigned ElemSize, unsigned IdxSize, unsigned RepeatFactor)
static std::optional< SPVectorInfo >	getSPVectorInfo (Type *Ty)
static std::optional< unsigned >	getSPMetadataRegisters (Type *Ty)
static void	verifySPCompress (VerifierSupport &VS, CallBase &Call)
static void	verifySPDecompress (VerifierSupport &VS, CallBase &Call)
static bool	isSupportedFPArith (Intrinsic::ID ID, Type *Ty, APFloat::roundingMode RoundingMode)
static void	verifyFPArith (VerifierSupport &VS, Intrinsic::ID ID, CallBase &Call)

Variables
constexpr unsigned	MaxSPOperandRegisters = 253

Detailed Description

This file contains NVVM-specific IR verification logic.

These checks are always compiled and linked as part of LLVMCore.

Definition in file VerifierNVVM.cpp.

Macro Definition Documentation

◆ Check

#define Check	(		C,
			... )

Value:

  do {                                                                         \
    if (!(C)) {                                                                \
      VS.CheckFailed(__VA_ARGS__);                                             \
      return;                                                                  \
    }                                                                          \
  } while (false)

Definition at line 26 of file VerifierNVVM.cpp.

Referenced by verifyFPArith(), verifySPCompress(), and verifySPDecompress().

Function Documentation

◆ getSPCompressLayout()

std::optional< SPOperandLayout > getSPCompressLayout	(	unsigned	ElemSize,
		unsigned	IdxSize,
		unsigned	RepeatFactor )

static

Definition at line 81 of file VerifierNVVM.cpp.

References llvm::divideCeil(), isValidSPElemSize(), isValidSPIdxSize(), isValidSPRepeatFactor(), and MaxSPOperandRegisters.

Referenced by verifySPCompress().

◆ getSPDecompressLayout()

std::optional< SPOperandLayout > getSPDecompressLayout	(	unsigned	NumSrc,
		unsigned	NumTgt,
		unsigned	ElemSize,
		unsigned	IdxSize,
		unsigned	RepeatFactor )