reachingDef.h

Go to the documentation of this file.

#pragma once

#include <boost/shared_ptr.hpp>
#include <map>
#include <set>
#include <rose.h>
#include "dataflowCfgFilter.h"

class ReachingDef
{
public:

    enum Type
    {
        PHI_FUNCTION,

        ORIGINAL_DEF,

        EXPANDED_DEF
    };

    typedef boost::shared_ptr<ReachingDef> ReachingDefPtr;

    typedef FilteredCFGEdge<ssa_private::DataflowCfgFilter> FilteredCfgEdge;

private:
    Type defType;

    std::map<ReachingDefPtr, std::set<FilteredCfgEdge> > parentDefs;

    SgNode* thisNode;

    int renamingNumer;

public:

    //---------CONSTRUCTORS---------

    ReachingDef(SgNode* defNode, Type type);

    //---------ACCESSORS---------

    bool isPhiFunction() const;

    const std::map<ReachingDefPtr, std::set<FilteredCfgEdge> >& getJoinedDefs() const;

    SgNode* getDefinitionNode() const;

    std::set<SgNode*> getActualDefinitions() const;

    int getRenamingNumber() const;

    bool isOriginalDef() const
    {
        return defType == ORIGINAL_DEF;
    }

    bool operator==(const ReachingDef& other) const;

    //---------MODIFIERS---------

    void setDefinitionNode(SgNode* defNode);

    void addJoinedDef(ReachingDefPtr newDef, FilteredCfgEdge edge);

    void setRenamingNumber(int n);
};

---