Verifier.cpp File Reference

#include "llvm/Analysis/Verifier.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Analysis/Dominators.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/DebugInfo.h"
#include "llvm/IR/CallingConv.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Module.h"
#include "llvm/InstVisitor.h"
#include "llvm/Pass.h"
#include "llvm/PassManager.h"
#include "llvm/Support/CFG.h"
#include "llvm/Support/CallSite.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/ConstantRange.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <cstdarg>

Include dependency graph for Verifier.cpp:

Go to the source code of this file.

Macros
#define	Assert(C, M)   do { if (!(C)) { CheckFailed(M); return; } } while (0)
#define	Assert1(C, M, V1)   do { if (!(C)) { CheckFailed(M, V1); return; } } while (0)
#define	Assert2(C, M, V1, V2)   do { if (!(C)) { CheckFailed(M, V1, V2); return; } } while (0)
#define	Assert3(C, M, V1, V2, V3)   do { if (!(C)) { CheckFailed(M, V1, V2, V3); return; } } while (0)
#define	Assert4(C, M, V1, V2, V3, V4)   do { if (!(C)) { CheckFailed(M, V1, V2, V3, V4); return; } } while (0)

Functions
	INITIALIZE_PASS (PreVerifier,"preverify","Preliminary module verification", false, false) static char &PreVerifyID
static bool	isContiguous (const ConstantRange &A, const ConstantRange &B)

Variables
static cl::opt< bool >	DisableDebugInfoVerifier ("disable-debug-info-verifier", cl::init(true))

Macro Definition Documentation

#define Assert	(		C,
			M
	)		do { if (!(C)) { CheckFailed(M); return; } } while (0)

Definition at line 403 of file Verifier.cpp.

#define Assert1	(		C,
			M,
			V1
	)		do { if (!(C)) { CheckFailed(M, V1); return; } } while (0)

Definition at line 405 of file Verifier.cpp.

#define Assert2	(		C,
			M,
			V1,
			V2
	)		do { if (!(C)) { CheckFailed(M, V1, V2); return; } } while (0)

Definition at line 407 of file Verifier.cpp.

#define Assert3	(		C,
			M,
			V1,
			V2,
			V3
	)		do { if (!(C)) { CheckFailed(M, V1, V2, V3); return; } } while (0)

Definition at line 409 of file Verifier.cpp.

#define Assert4	(		C,
			M,
			V1,
			V2,
			V3,
			V4
	)		do { if (!(C)) { CheckFailed(M, V1, V2, V3, V4); return; } } while (0)

Definition at line 411 of file Verifier.cpp.

Function Documentation

INITIALIZE_PASS	(	PreVerifier	,
		"preverify"	,
		"Preliminary module verification"	,
		false	,
		false
	)

static bool isContiguous ( const ConstantRange &  A, const ConstantRange &  B  )

static

Definition at line 1757 of file Verifier.cpp.

References llvm::ConstantRange::getLower(), and llvm::ConstantRange::getUpper().

Variable Documentation

cl::opt<bool> DisableDebugInfoVerifier("disable-debug-info-verifier", cl::init(true))

static