ROSE 0.11.145.192
ConstrGraphAnalysis.h
1#include <featureTests.h>
2#ifdef ROSE_ENABLE_SOURCE_ANALYSIS
3
4#ifndef SCALAR_FW_DATAFLOW_H
5#define SCALAR_FW_DATAFLOW_H
6
7#include <sstream>
8#include <iostream>
9#include <string>
10#include <functional>
11#include <queue>
12
13#include "genericDataflowCommon.h"
14#include "VirtualCFGIterator.h"
15#include "cfgUtils.h"
16#include "CallGraphTraverse.h"
17#include "rwAccessLabeler.h"
18#include "analysisCommon.h"
19#include "analysis.h"
20#include "dataflow.h"
21#include "latticeFull.h"
22#include "liveDeadVarAnalysis.h"
23#include "divAnalysis.h"
24// GB : 2011-03-05 (Removing Sign Lattice Dependence) #include "sgnAnalysis.h"
25#include "affineInequality.h"
26
27#include "ConstrGraph.h"
28
30{
31 protected:
32 static map<varID, Lattice*> constVars;
33 DivAnalysis* divAnalysis;
34 // GB : 2011-03-05 (Removing Sign Lattice Dependence) SgnAnalysis* sgnAnalysis;
35 //affineInequalitiesPlacer* affIneqPlacer;
36
37 // The LiveDeadVarsAnalysis that identifies the live/dead state of all application variables.
38 // Needed to create a FiniteVarsExprsProductLattice.
40
41 public:
42 ConstrGraphAnalysis(LiveDeadVarsAnalysis* ldva, DivAnalysis* divAnalysis/* GB : 2011-03-05 (Removing Sign Lattice Dependence) , SgnAnalysis* sgnAnalysis*/ /*, affineInequalitiesPlacer* affIneqPlacer*/): IntraFWDataflow()
43 {
44 this->divAnalysis = divAnalysis;
45 // GB : 2011-03-05 (Removing Sign Lattice Dependence) this->sgnAnalysis = sgnAnalysis;
46 this->ldva = ldva;
47 //this->affIneqPlacer = affIneqPlacer;
48 //rwAccessLabeler::addRWAnnotations(cfgUtils::getProject());
49 }
50
51 // generates the initial lattice state for the given dataflow node, in the given function, with the given NodeState
52 //vector<Lattice*> genInitState(const Function& func, const DataflowNode& n, const NodeState& state);
53 void genInitState(const Function& func, const DataflowNode& n, const NodeState& state,
54 vector<Lattice*>& initLattices, vector<NodeFact*>& initFacts);
55
56 // Returns a map of special constant variables (such as zeroVar) and the lattices that correspond to them
57 // These lattices are assumed to be constants: it is assumed that they are never modified and it is legal to
58 // maintain only one copy of each lattice may for the duration of the analysis.
59 //map<varID, Lattice*>& genConstVarLattices() const;
60
61 bool transfer(const Function& func, const DataflowNode& n, NodeState& state, const vector<Lattice*>& dfInfo);
62
63 // incorporates the current node's inequality information from conditionals (ifs, fors, etc.) into the current node's
64 // constraint graph
65 // returns true if this causes the constraint graph to change and false otherwise
66 bool incorporateConditionalsInfo(const Function& func, const DataflowNode& n,
67 NodeState& state, const vector<Lattice*>& dfInfo);
68
69 // incorporates the current node's divisibility information into the current node's constraint graph
70 // returns true if this causes the constraint graph to change and false otherwise
71 //bool incorporateDivInfo(const Function& func, const DataflowNode& n, NodeState& state, const vector<Lattice*>& dfInfo, string indent="");
72
73 // For any variable for which we have divisibility info, remove its constraints to other variables (other than its
74 // divisibility variable)
75 bool removeConstrDivVars(const Function& func, const DataflowNode& n, NodeState& state, const vector<Lattice*>& dfInfo, string indent="");
76};
77
78// Prints the Lattices set by the given ConstrGraphAnalysis
79void printConstrGraphAnalysisStates(ConstrGraphAnalysis* cga, string indent="");
80
81#endif
82#endif