Verifier.cpp File Reference

#include "llvm/Analysis/Verifier.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/Constants.h"
#include "llvm/Pass.h"
#include "llvm/Module.h"
#include "llvm/ModuleProvider.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Instructions.h"
#include "llvm/Intrinsics.h"
#include "llvm/PassManager.h"
#include "llvm/SymbolTable.h"
#include "llvm/Analysis/Dominators.h"
#include "llvm/Support/CFG.h"
#include "llvm/Support/InstVisitor.h"
#include "llvm/ADT/STLExtras.h"
#include <algorithm>
#include <iostream>
#include <sstream>

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

FunctionPass * llvm::createVerifierPass (VerifierFailureAction action)

bool llvm::verifyFunction (const Function &f, VerifierFailureAction action)

bool llvm::verifyModule (const Module &M, VerifierFailureAction action)

Define Documentation

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

Definition at line 240 of file Verifier.cpp.

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

Definition at line 242 of file Verifier.cpp.

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

Definition at line 244 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 246 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 248 of file Verifier.cpp.

Variable Documentation

RegisterOpt<Verifier> X("verify","Module Verifier") [static]


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
FunctionPass *	llvm::createVerifierPass (VerifierFailureAction action)
bool	llvm::verifyFunction (const Function &f, VerifierFailureAction action)
bool	llvm::verifyModule (const Module &M, VerifierFailureAction action)