Miscellaneous instrumentation helpers.
Definition in file Instrumentation.cpp.
#include <libtesla.h>#include "Automaton.h"#include "Debug.h"#include "Instrumentation.h"#include "Names.h"#include "State.h"#include "Transition.h"#include "llvm/IR/DataLayout.h"#include "llvm/IR/IRBuilder.h"#include "llvm/IR/Module.h"#include "llvm/Support/raw_ostream.h"
Include dependency graph for Instrumentation.cpp:Go to the source code of this file.
Namespaces | |
| namespace | tesla |
Functions | |
| llvm::Value * | tesla::ConstructKey (llvm::IRBuilder<> &Builder, llvm::Module &M, llvm::Function::ArgumentListType &InstrumentationArgs, FunctionEvent FnEventDescription) |
| Map instrumentation arguments into a tesla_key that can be used to look up automata. More... | |
| BasicBlock * | tesla::MatchPattern (LLVMContext &Ctx, StringRef Name, Function *Fn, BasicBlock *MatchTarget, BasicBlock *NonMatchTarget, Value *Val, const tesla::Argument &Pattern) |
| BasicBlock * | tesla::FindBlock (StringRef Name, Function &Fn) |
| StructType * | tesla::KeyType (Module &M) |
| Function * | tesla::Printf (Module &Mod) |
| Find (or create) printf() declaration. More... | |
| Function * | tesla::TeslaDebugging (Module &Mod) |
| Find (or create) tesla_debugging() declaration. More... | |
| const char * | tesla::Format (Type *T) |