Spatial
Simple Static Analysis in LLVM
|
#include <ValueContext.h>
Public Member Functions | |
ValueContext (DataflowValue BI, DataflowValue Top) | |
DataflowValue | getBI () |
DataflowValue | getTop () |
std::vector< std::pair< Context, llvm::Instruction * > > | getContextChild (Context Src) |
int | getSavedContext (llvm::Function *Func, DataflowValue BI) |
int | initializeContext (llvm::Function *Func, DataflowValue BI) |
void | setResult (Context C, DataflowValue Value) |
DataflowValue | getResult (Context C) |
void | updateContextGraph (Context Src, Context Dest, llvm::Instruction *CallSite) |
std::vector< Context > | getContexts (llvm::Function *Func) |
Public Attributes | |
std::map< Context, std::map< llvm::Instruction *, DataflowValue > > | getDataFlowIn |
std::map< Context, std::map< llvm::Instruction *, DataflowValue > > | getDataFlowOut |
spatial::ValueContext< DataflowValue >::ValueContext | ( | DataflowValue | BI, |
DataflowValue | Top | ||
) |
DataflowValue spatial::ValueContext< DataflowValue >::getBI |
std::vector< std::pair< Context, llvm::Instruction * > > spatial::ValueContext< DataflowValue >::getContextChild | ( | Context | Src | ) |
std::vector< Context > spatial::ValueContext< DataflowValue >::getContexts | ( | llvm::Function * | Func | ) |
DataflowValue spatial::ValueContext< DataflowValue >::getResult | ( | Context | C | ) |
int spatial::ValueContext< DataflowValue >::getSavedContext | ( | llvm::Function * | Func, |
DataflowValue | BI | ||
) |
DataflowValue spatial::ValueContext< DataflowValue >::getTop |
int spatial::ValueContext< DataflowValue >::initializeContext | ( | llvm::Function * | Func, |
DataflowValue | BI | ||
) |
void spatial::ValueContext< DataflowValue >::setResult | ( | Context | C, |
DataflowValue | Value | ||
) |
void spatial::ValueContext< DataflowValue >::updateContextGraph | ( | Context | Src, |
Context | Dest, | ||
llvm::Instruction * | CallSite | ||
) |
std::map<Context, std::map<llvm::Instruction *, DataflowValue> > spatial::ValueContext< DataflowValue >::getDataFlowIn |
std::map<Context, std::map<llvm::Instruction *, DataflowValue> > spatial::ValueContext< DataflowValue >::getDataFlowOut |