defsAndUsesTraversal.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 "staticSingleAssignment.h"
 
namespace ssa_private
{
 
    class ChildUses
    {
    private:
        SgVarRefExp* currentVar;
 
        std::vector<SgNode*> uses;
 
    public:
 
        ChildUses() : currentVar(NULL)
        {
        }
 
        ChildUses(SgNode* useNode, SgVarRefExp* var)
        {
            uses.push_back(useNode);
            currentVar = var;
        }
 
        ChildUses(const std::vector<SgNode*>& useTree, SgVarRefExp* var = NULL)
        {
            if (useTree.size() > 0)
                uses.assign(useTree.begin(), useTree.end());
            currentVar = var;
        }
 
        std::vector<SgNode*>& getUses()
        {
            return uses;
        }
 
        void setUses(const std::vector<SgNode*>& newUses)
        {
            uses.assign(newUses.begin(), newUses.end());
        }
 
        SgVarRefExp* getCurrentVar() const
        {
            return currentVar;
        }
    };
 
    class DefsAndUsesTraversal : public AstBottomUpProcessing<ChildUses>
    {
        StaticSingleAssignment* ssa;
 
        const bool treatPointersAsStructs;
        
    public:
 
        DefsAndUsesTraversal(StaticSingleAssignment* ssa, bool treatPointersAsStructs = true) : ssa(ssa),
                treatPointersAsStructs(treatPointersAsStructs)
        {
        }
 
        virtual ChildUses evaluateSynthesizedAttribute(SgNode* node, SynthesizedAttributesList attrs);
 
    private:
 
        void addUsesToNode(SgNode* node, std::vector<SgNode*> uses);
 
        void addDefForVarAtNode(SgVarRefExp* currentVar, SgNode* defNode);
    };
 
} //namespace ssa_private