|
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 |