PDG.h

Go to the documentation of this file.

/* 
 * File:   PDG.h
 * Author: Cong Hou [hou_cong@gatech.edu]
 */

#ifndef ___________PDG_H__________
#define ___________PDG_H__________

#include "cong_staticCFG.h"

namespace SDG
{


typedef std::vector<SgInitializedName*> VarName;

struct PDGNode
{
    bool isEntry;
    StaticCFG::CFGNodePtr cfgNode;
};



struct PDGEdge
{
    //typedef std::vector<SgInitializedName*> VarName;

    enum EdgeType
    {
        ControlDependence,
        DataDependence
    };

    EdgeType type;

    /**************************************************************************/    
    // Control dependence

    VirtualCFG::EdgeConditionKind condition;

    SgExpression* caseLabel;

    /**************************************************************************/  



    /**************************************************************************/    
    // Data dependence

    std::set<VarName> varNames;

    /**************************************************************************/    

    //CDGEdge cdEdge;

    //DDGEdge ddEdge;

    //std::set<VarName> varNames;
};

class ProgramDependenceGraph : public boost::adjacency_list<boost::vecS, boost::vecS, boost::bidirectionalS,
StaticCFG::CFGNodePtr, PDGEdge >
{
    public:
        typedef boost::graph_traits<ProgramDependenceGraph>::vertex_descriptor Vertex;
        typedef boost::graph_traits<ProgramDependenceGraph>::edge_descriptor   Edge;

    protected:
        typedef StaticCFG::ControlFlowGraph CFG;
        typedef CFG::Vertex                 CFGVertex;
        typedef CFG::Edge                   CFGEdge;


        Vertex entry_;

    public:
        ProgramDependenceGraph() {}

        ProgramDependenceGraph(const CFG& cfg)
        {
            build(cfg);
        }

        ProgramDependenceGraph(SgFunctionDefinition* funcDef)
        {
            StaticCFG::ControlFlowGraph cfg(funcDef);
            build(cfg);
        }

        void build(const CFG& cfg);

        void toDot(const std::string& filename) const;

        Vertex getEntry() const { return entry_; }

    protected:

        void addControlDependenceEdges(
                const std::map<CFGVertex, Vertex>& cfgVerticesToPdgVertices,
                const CFG& cfg);

        void addDataDependenceEdges(
                const std::map<CFGVertex, Vertex>& cfgVerticesToPdgVertices,
                const CFG& cfg);

        void writeGraphNode(std::ostream& out, const Vertex& node) const
        {
            if (node == entry_)
            {
                out << "[label=\"ENTRY\"]";
            }
            else
                StaticCFG::writeCFGNode(out, *(*this)[node]);
        }

        void writeGraphEdge(std::ostream& out, const Edge& edge) const;
};



} // end of namespace SystemDependenceGraph



#endif /* ___________PDG_H__________ */