LLVM API Documentation
#include "llvm/Analysis/Verifier.h"
#include "llvm/Assembly/Writer.h"
#include "llvm/CallingConv.h"
#include "llvm/Constants.h"
#include "llvm/Pass.h"
#include "llvm/Module.h"
#include "llvm/ModuleProvider.h"
#include "llvm/DerivedTypes.h"
#include "llvm/InlineAsm.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/StringExtras.h"
#include "llvm/ADT/STLExtras.h"
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstdarg>
#include "llvm/Intrinsics.gen"
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) |
#define | GET_INTRINSIC_VERIFIER |
Functions | |
FunctionPass * | llvm::createVerifierPass (VerifierFailureAction action) |
bool | llvm::verifyFunction (const Function &f, VerifierFailureAction action) |
bool | llvm::verifyModule (const Module &M, VerifierFailureAction action) |
Variables | |
bool | Broken |
bool | RealPass |
VerifierFailureAction | action |
Module * | Mod |
ETForest * | EF |
std::stringstream | msgs |
std::set< Instruction * > | InstsInThisBlock |
RegisterOpt< Verifier > | X ("verify","Module Verifier") |
Definition at line 249 of file Verifier.cpp.
Referenced by llvm::X86TargetLowering::LowerOperation().
Definition at line 251 of file Verifier.cpp.
Definition at line 253 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 255 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 257 of file Verifier.cpp.
#define GET_INTRINSIC_VERIFIER |
bool Broken |
Definition at line 69 of file Verifier.cpp.
Definition at line 74 of file Verifier.cpp.
std::set<Instruction*> InstsInThisBlock |
InstInThisBlock - when verifying a basic block, keep track of all of the instructions we have seen so far. This allows us to do efficient dominance checks for the case when an instruction has an operand that is an instruction in the same block.
Definition at line 81 of file Verifier.cpp.
Definition at line 73 of file Verifier.cpp.
std::stringstream msgs |
Definition at line 75 of file Verifier.cpp.
bool RealPass |
Definition at line 70 of file Verifier.cpp.
RegisterOpt<Verifier> X("verify","Module Verifier") [static] |