Verifier.cpp File Reference

#include "llvm/IR/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/IR/CFG.h"
#include "llvm/IR/CallSite.h"
#include "llvm/IR/CallingConv.h"
#include "llvm/IR/ConstantRange.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DebugInfo.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/InstVisitor.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Pass.h"
#include "llvm/Support/CommandLine.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.

Defines
#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
static bool	isTypeCongruent (Type *L, Type *R)
static AttrBuilder	getParameterABIAttributes (int I, AttributeSet Attrs)
static bool	isContiguous (const ConstantRange &A, const ConstantRange &B)
	INITIALIZE_PASS (DebugInfoVerifierLegacyPass,"verify-di","Debug Info Verifier", false, false) FunctionPass *llvm
Variables
static cl::opt< bool >	VerifyDebugInfo ("verify-debug-info", cl::init(false))

---

Define Documentation

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

Definition at line 359 of file Verifier.cpp.

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

Definition at line 361 of file Verifier.cpp.

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

Definition at line 363 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 365 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 367 of file Verifier.cpp.

---

Function Documentation

static AttrBuilder getParameterABIAttributes	(	int	I,
		AttributeSet	Attrs
	)		[static]

Definition at line 1630 of file Verifier.cpp.

References llvm::AttrBuilder::addAlignmentAttr(), llvm::AttrBuilder::addAttribute(), llvm::Attribute::Alignment, llvm::Attribute::ByVal, llvm::AttributeSet::getParamAlignment(), llvm::AttributeSet::hasAttribute(), llvm::Attribute::InAlloca, llvm::Attribute::InReg, llvm::Attribute::Returned, and llvm::Attribute::StructRet.

INITIALIZE_PASS	(	DebugInfoVerifierLegacyPass	,
		"verify-di"	,
		"Debug Info Verifier"	,
		false	,
		false
	)

Definition at line 2689 of file Verifier.cpp.

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

Definition at line 1884 of file Verifier.cpp.

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

static bool isTypeCongruent	(	Type *	L,
		Type *	R
	)		[static]

Two types are "congruent" if they are identical, or if they are both pointer types with different pointee types and the same address space.

Definition at line 1620 of file Verifier.cpp.

References llvm::dyn_cast(), llvm::PointerType::getAddressSpace(), and llvm::AArch64CC::PL.

---

Variable Documentation

cl::opt<bool> VerifyDebugInfo("verify-debug-info", cl::init(false)) [static]