reachingDefUnfilteredCfg.h

#pragma once

// DQ (10/5/2014): This is more strict now that we include rose_config.h in the sage3basic.h.
// #include "rose.h"
// rose.h and sage3basic.h should not be included in librose header files. [Robb P. Matzke 2014-10-15]
// #include "sage3basic.h"

#include <boost/shared_ptr.hpp>
#include <map>
#include <set>

namespace ssa_unfiltered_cfg
{

    class ReachingDef
    {
    public:

        enum Type
        {
            PHI_FUNCTION,

            ORIGINAL_DEF,

            EXPANDED_DEF,

            EXTERNAL_DEF
        };

        typedef boost::shared_ptr<ReachingDef> ReachingDefPtr;

    private:
        Type defType;

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

        CFGNode thisNode;

        int renamingNumer;

    public:

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

        ReachingDef(const CFGNode& defNode, Type type);

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

        bool isPhiFunction() const;

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

        const CFGNode& getDefinitionNode() const;

        std::set<CFGNode> getActualDefinitions() const;

        int getRenamingNumber() const;

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

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

        Type getType() const
        {
            return defType;
        }

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

        void setDefinitionNode(CFGNode defNode);

        void addJoinedDef(ReachingDefPtr newDef, CFGEdge edge);

        void setRenamingNumber(int n);

        void setType(Type t)
        {
            defType = t;
        }
    };

}