ManagerInterDep.hpp

Go to the documentation of this file.

#ifndef ManagerInterDep_H
#define ManagerInterDep_H

//--------------------------------------------------------------------
#include <cassert>

// OpenAnalysis headers
#include <OpenAnalysis/Alias/InterAliasInterface.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>
#include <OpenAnalysis/IRInterface/ActivityIRInterface.hpp>
#include <OpenAnalysis/ExprTree/DifferentiableLocsVisitor.hpp>
#include <OpenAnalysis/ExprTree/EvalToMemRefVisitor.hpp>
//#include <OpenAnalysis/DataFlow/CallGraphDFProblemNew.hpp>
#include <OpenAnalysis/DataFlow/CallGraphDFProblem.hpp>
#include <OpenAnalysis/DataFlow/CallGraphDFSolver.hpp>
#include <OpenAnalysis/DataFlow/ParamBindings.hpp>
#include <OpenAnalysis/Activity/DepDFSet.hpp>
#include <OpenAnalysis/Activity/InterDep.hpp>
#include <OpenAnalysis/DataFlow/CalleeToCallerVisitor.hpp>
#include <OpenAnalysis/CFG/EachCFGInterface.hpp>

#include "ManagerDepStandard.hpp"

namespace OA {
  namespace Activity {

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

  OA_ptr<InterDep> 
  performAnalysis(OA_ptr<CallGraph::CallGraphInterface> callGraph,
                  OA_ptr<DataFlow::ParamBindings> paramBind,
                  OA_ptr<Alias::InterAliasInterface> interAlias,
                  OA_ptr<SideEffect::InterSideEffectInterface> interSE,
                  OA_ptr<CFG::EachCFGInterface> eachCFG,
                  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> 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);

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


private:
  OA_ptr<InterDep> mInterDep;
  OA_ptr<ActivityIRInterface> mIR;
  OA_ptr<Alias::InterAliasInterface> mInterAlias;
  OA_ptr<DataFlow::ParamBindings> mParamBind;
  OA_ptr<CFG::EachCFGInterface> mEachCFG;
  OA_ptr<SideEffect::InterSideEffectInterface> mInterSE;
  OA_ptr<DataFlow::CallGraphDFSolver> mSolver;
  
};

  } // end of Activity namespace
} // end of OA namespace

#endif