Description
Definition at line 354 of file partitionedAnalysis.h.
Inheritance diagram for IntraPartitionFWDataflow:
Collaboration diagram for IntraPartitionFWDataflow:
Public Types | |
| enum | splitType { noSplit , splitNew , splitParent } |
| enum | partitionTranferRet { retFalse , cont , normal } |
Public Member Functions | |
| IntraPartitionFWDataflow (PartitionedAnalysis *parent) | |
| IntraPartitionFWDataflow (const IntraPartitionFWDataflow &that) | |
| virtual bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, splitType &splitAnalysis, std::vector< printable * > &splitConditions, bool &joinNode)=0 |
| bool | runAnalysis (const Function &func, NodeState *fState, bool analyzeDueToCallers, std::set< Function > calleesUpdated) |
| bool | runAnalysis (const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt) |
| bool | runAnalysisResume (const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt) |
| partitionTranferRet | partitionTranfer (const Function &func, NodeState *fState, const DataflowNode &n, NodeState *state, VirtualCFG::dataflow &dfIt, const std::vector< Lattice * > &dfInfoBelow, bool &splitPart, std::set< DataflowNode > &joinNodes, IntraPartitionDataflowCheckpoint *&outChkpt) |
| bool | propagateFWStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) |
 Public Member Functions inherited from IntraPartitionDataflow | |
| IntraPartitionDataflow (const IntraPartitionDataflow &that) | |
| IntraPartitionDataflow (PartitionedAnalysis *parent) | |
| PartitionedAnalysis * | getParent () const |
| virtual IntraPartitionDataflow * | copy ()=0 |
| virtual void | initDFfromPartCond (const Function &, const DataflowNode &, NodeState &, const std::vector< Lattice * > &, const std::vector< NodeFact * > &, printable *) |
| bool | runAnalysis (const Function &func, NodeState *state) |
| Public Member Functions inherited from IntraProceduralDataflow | |
| virtual void | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0 |
| void | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) |
| void | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) |
| bool | runAnalysis (const Function &func, NodeState *state) |
| InterProceduralDataflow * | getInterAnalysis () const |
| Public Member Functions inherited from IntraProceduralAnalysis | |
| void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
| Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Additional Inherited Members | |
| Public Attributes inherited from IntraPartitionDataflow | |
| printable * | partitionCond |
| Public Attributes inherited from IntraProceduralDataflow | |
| std::set< Function > | visited |
| Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
| Protected Attributes inherited from IntraPartitionDataflow | |
| PartitionedAnalysis * | parent |
| Protected Attributes inherited from IntraProceduralAnalysis | |
| InterProceduralAnalysis * | interAnalysis |
Member Enumeration Documentation
◆ splitType
| enum IntraPartitionFWDataflow::splitType |
Definition at line 380 of file partitionedAnalysis.h.
◆ partitionTranferRet
| enum IntraPartitionFWDataflow::partitionTranferRet |
Definition at line 408 of file partitionedAnalysis.h.
Constructor & Destructor Documentation
◆ IntraPartitionFWDataflow() [1/2]
|
inline |
Definition at line 357 of file partitionedAnalysis.h.
◆ IntraPartitionFWDataflow() [2/2]
|
inline |
Definition at line 360 of file partitionedAnalysis.h.
Member Function Documentation
◆ runAnalysis() [1/2]
|
virtual |
Reimplemented from IntraPartitionDataflow.
◆ runAnalysis() [2/2]
|
virtual |
Implements IntraPartitionDataflow.
◆ runAnalysisResume()
|
virtual |
Implements IntraPartitionDataflow.
The documentation for this class was generated from the following file:
