Static Value-Flow Analysis
|
#include <Annotator.h>
Public Member Functions | |
Annotator () | |
Constructor. More... | |
virtual | ~Annotator () |
Destructor. More... | |
bool | hasSBSourceFlag (Instruction *inst) const |
SB Has flag methods. More... | |
bool | hasSBSinkFlag (Instruction *inst) const |
bool | hasDRNotCheckFlag (Instruction *inst) const |
Race Detection Has flag methods. More... | |
bool | hasDRNotCheckFlag (const Instruction *inst) const |
bool | hasDRCheckFlag (Instruction *inst) const |
bool | hasDRCheckFlag (const Instruction *inst) const |
void | addMDTag (Instruction *inst, std::string str) |
Simple add/remove meta data information. More... | |
void | removeMDTag (Instruction *inst, std::string str) |
void | addMDTag (Instruction *inst, Value *val, std::string str) |
manipulate llvm meta data on instructions for a specific value More... | |
void | removeMDTag (Instruction *inst, Value *val, std::string str) |
remove flag from llvm metadata More... | |
Protected Attributes | |
const char * | SB_SLICESOURCE |
Saber annotations. More... | |
const char * | SB_SLICESINK |
const char * | SB_FESIBLE |
const char * | SB_INFESIBLE |
const char * | DR_NOT_CHECK |
Race Detection annotations. More... | |
const char * | DR_CHECK |
Private Member Functions | |
bool | evalMDTag (const Instruction *inst, const Value *val, std::string str, std::vector< Value * > &) const |
evaluate llvm metadata More... | |
Program annotator to write meta data information on LLVM IR
Definition at line 21 of file Annotator.h.
|
inline |
Constructor.
Definition at line 26 of file Annotator.h.
|
inlinevirtual |
|
inline |
Simple add/remove meta data information.
Definition at line 90 of file Annotator.h.
|
inline |
manipulate llvm meta data on instructions for a specific value
add flag to llvm metadata
Definition at line 103 of file Annotator.h.
|
inlineprivate |
evaluate llvm metadata
When mdNode has operands and value is not null
Definition at line 139 of file Annotator.h.
|
inline |
Definition at line 80 of file Annotator.h.
|
inline |
Definition at line 73 of file Annotator.h.
|
inline |
Definition at line 66 of file Annotator.h.
|
inline |
|
inline |
Definition at line 50 of file Annotator.h.
|
inline |
SB Has flag methods.
Definition at line 44 of file Annotator.h.
|
inline |
Definition at line 94 of file Annotator.h.
|
inline |
|
protected |
Definition at line 174 of file Annotator.h.
|
protected |
Race Detection annotations.
Definition at line 173 of file Annotator.h.
|
protected |
Definition at line 167 of file Annotator.h.
|
protected |
Definition at line 168 of file Annotator.h.
|
protected |
Definition at line 166 of file Annotator.h.
|
protected |
Saber annotations.
Definition at line 165 of file Annotator.h.