LLVM API Documentation

Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

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

FunctionPassllvm::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]