defsAndUsesUnfilteredCfg.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 <uniqueNameTraversal.h>
#include <map>
#include <virtualCFG.h>
 
namespace ssa_unfiltered_cfg
{
 
    class ChildUses
    {
    private:
        SgVarRefExp* currentVar;
 
        std::set<SgVarRefExp*> uses;
 
    public:
 
        ChildUses() : currentVar(NULL) { }
 
        ChildUses(SgVarRefExp* useNode, SgVarRefExp* var)
        {
            uses.insert(useNode);
            currentVar = var;
        }
 
        ChildUses(const std::set<SgVarRefExp*>& useTree, SgVarRefExp* var = NULL)
        {
            uses = useTree;
            currentVar = var;
        }
 
        std::set<SgVarRefExp*>& getUses()
        {
            return uses;
        }
 
        void setUses(const std::set<SgVarRefExp*>& newUses)
        {
            uses = newUses;
        }
 
        SgVarRefExp* getCurrentVar() const
        {
            return currentVar;
        }
    };
 
    class DefsAndUsesTraversal : private AstBottomUpProcessing<ChildUses>
    {
    public:
 
        typedef std::map<CFGNode, std::set<ssa_private::UniqueNameTraversal::VarName> > CFGNodeToVarsMap;
 
        static void CollectDefsAndUses(SgNode* traversalRoot, CFGNodeToVarsMap& defs,
                std::map<SgNode*, std::set<SgVarRefExp*> >& uses);
 
    private:
        CFGNodeToVarsMap cfgNodeToDefinedVars;
 
        std::map<SgNode*, std::set<SgVarRefExp*> > astNodeToUsedVars;
 
    public:
 
        virtual ChildUses evaluateSynthesizedAttribute(SgNode* node, SynthesizedAttributesList attrs);
 
    private:
 
        void addUsesToNode(SgNode* node, std::set<SgVarRefExp*> uses);
 
        void addDefForVarAtNode(SgVarRefExp* var, const CFGNode& node);
 
    };
 
} //namespace ssa_unfiltered_cfg