defsAndUsesUnfilteredCfg.h

Go to the documentation of this file.

#pragma once
#include <rose.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

---