LLVM API Documentation
#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) |
|
Definition at line 240 of file Verifier.cpp. |
|
Definition at line 242 of file Verifier.cpp. |
|
Definition at line 244 of file Verifier.cpp. |
|
Definition at line 246 of file Verifier.cpp. |
|
Definition at line 248 of file Verifier.cpp. |
|
|