ManagerInterSideEffectStandard.hpp

Go to the documentation of this file.

#ifndef ManagerInterSideEffectStandard_h
#define ManagerInterSideEffectStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/InterSideEffectIRInterface.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectStandard.hpp>
#include <OpenAnalysis/SideEffect/ManagerSideEffectStandard.hpp>
#include <OpenAnalysis/Alias/InterAliasInterface.hpp>
#include <OpenAnalysis/DataFlow/CountDFSet.hpp>
#include <OpenAnalysis/DataFlow/ParamBindings.hpp>
#include <OpenAnalysis/DataFlow/CalleeToCallerVisitor.hpp>
#include <OpenAnalysis/DataFlow/CallGraphDFProblem.hpp>
#include <OpenAnalysis/DataFlow/CallGraphDFSolver.hpp>
//#include <OpenAnalysis/CallGraph/Interface.hpp>


namespace OA {
  namespace SideEffect {


class ManagerInterSideEffectStandard : private DataFlow::CallGraphDFProblem {
public:
  ManagerInterSideEffectStandard(OA_ptr<InterSideEffectIRInterface> _ir);
  ~ManagerInterSideEffectStandard () {}

  OA_ptr<InterSideEffectStandard> 
  performAnalysis(OA_ptr<CallGraph::CallGraphInterface> callGraph,
                  OA_ptr<DataFlow::ParamBindings> paramBind,
                  OA_ptr<Alias::InterAliasInterface> interAlias,
                  OA_ptr<ManagerSideEffectStandard> intraMan,
                  DataFlow::DFPImplement algorithm);

private:
  //========================================================
  // implementation of CallGraphDFProblemNew callbacks
  //========================================================
  //--------------------------------------------------------
  // initialization callbacks
  //--------------------------------------------------------

  OA_ptr<DataFlow::DataFlowSet>  initializeTop();

  OA_ptr<DataFlow::DataFlowSet>  initializeBottom();

  OA_ptr<DataFlow::DataFlowSet> initializeNode(ProcHandle proc);
  
  
 OA_ptr<DataFlow::DataFlowSet>
           initializeNodeIN(OA_ptr<CallGraph::NodeInterface> n);

  OA_ptr<DataFlow::DataFlowSet>
           initializeNodeOUT(OA_ptr<CallGraph::NodeInterface> n);

 
  
  OA_ptr<DataFlow::DataFlowSet> initializeEdge(CallHandle call, 
                                     ProcHandle caller,
                                     ProcHandle callee);
  OA_ptr<DataFlow::DataFlowSet> initializeEdge(CallHandle call, 
                                     ProcHandle caller,
                                     SymHandle callee);

  //--------------------------------------------------------
  // solver callbacks 
  //--------------------------------------------------------
  
  OA_ptr<DataFlow::DataFlowSet> meet(OA_ptr<DataFlow::DataFlowSet> set1, 
                           OA_ptr<DataFlow::DataFlowSet> set2); 

  OA_ptr<DataFlow::DataFlowSet>
  atCallGraphNode(OA_ptr<DataFlow::DataFlowSet> inSet, OA::ProcHandle proc);

  OA_ptr<DataFlow::DataFlowSet>
  atCallGraphEdge(OA_ptr<DataFlow::DataFlowSet> inSet, OA::CallHandle call,
                  ProcHandle caller, ProcHandle callee);
  OA_ptr<DataFlow::DataFlowSet>
  atCallGraphEdge(OA_ptr<DataFlow::DataFlowSet> inSet, CallHandle call,
                  ProcHandle caller, SymHandle callee);

  OA_ptr<DataFlow::DataFlowSet>  nodeToEdge(ProcHandle proc, 
          OA_ptr<DataFlow::DataFlowSet> procDFSet, CallHandle call)
  {
    return procDFSet;
  }

  OA_ptr<DataFlow::DataFlowSet>  edgeToNode(CallHandle call, 
          OA_ptr<DataFlow::DataFlowSet> callDFSet, ProcHandle proc)
  {
      return callDFSet;
  }


private:
  OA_ptr<InterSideEffectIRInterface> mIR;
  OA_ptr<Alias::InterAliasInterface> mInterAlias;
  OA_ptr<InterSideEffectStandard> mInterSideEffect;
  OA_ptr<DataFlow::ParamBindings> mParamBind;
  OA_ptr<ManagerSideEffectStandard> mIntraMan;
  OA_ptr<DataFlow::CallGraphDFSolver> mSolver; 
  
};

  } // end of SideEffect namespace
} // end of OA namespace

#endif