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;
        }
    };
 
}