ManagerDepStandard.hpp

Go to the documentation of this file.

#ifndef ManagerDepStandard_H
#define ManagerDepStandard_H

//--------------------------------------------------------------------
// OpenAnalysis headers
#include "DepStandard.hpp"
#include "InterDep.hpp"
#include "DepDFSet.hpp"
#include <OpenAnalysis/IRInterface/ActivityIRInterface.hpp>
#include <OpenAnalysis/ExprTree/DifferentiableLocsVisitor.hpp>
#include <OpenAnalysis/ExprTree/EvalToMemRefVisitor.hpp>

#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/DataFlow/CFGDFProblem.hpp>
#include <OpenAnalysis/DataFlow/LocDFSet.hpp>
#include <OpenAnalysis/DataFlow/ParamBindings.hpp>
#include <OpenAnalysis/DataFlow/CFGDFSolver.hpp>

namespace OA {
  namespace Activity {

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

  OA_ptr<DepStandard> performAnalysis(ProcHandle, 
        OA_ptr<Alias::Interface> alias,
        OA_ptr<CFG::CFGInterface> cfg, OA_ptr<InterDep> interDep,
        OA_ptr<DataFlow::ParamBindings> paramBind,
        DataFlow::DFPImplement algorithm);

  //------------------------------------------------------------------
  // Implementing the callbacks for CFGDFProblem
  //------------------------------------------------------------------
private:
  OA_ptr<DataFlow::DataFlowSet> initializeTop();
  OA_ptr<DataFlow::DataFlowSet> initializeBottom();

 // void initializeNode(OA_ptr<CFG::Interface::Node> n);

  // Added by PLM 07/26/06
  OA_ptr<DataFlow::DataFlowSet>
        initializeNodeIN(OA_ptr<CFG::NodeInterface> n);
  OA_ptr<DataFlow::DataFlowSet>
        initializeNodeOUT(OA_ptr<CFG::NodeInterface> n);
 

  OA_ptr<DataFlow::DataFlowSet> 
  meet (OA_ptr<DataFlow::DataFlowSet> set1, OA_ptr<DataFlow::DataFlowSet> set2); 

  OA_ptr<DataFlow::DataFlowSet> 
  transfer(OA_ptr<DataFlow::DataFlowSet> in, OA::StmtHandle stmt); 

  
private: // member variables

  OA_ptr<ActivityIRInterface> mIR;
  OA_ptr<DepStandard> mDep;
  OA_ptr<Alias::Interface> mAlias;
  OA_ptr<InterDep> mInterDep;
  OA_ptr<CFG::CFGInterface> mCFG;
  OA_ptr<DataFlow::ParamBindings> mParamBind;
  // Added by PLM 07/26/06
  OA_ptr<DataFlow::CFGDFSolver> mSolver;
  
};

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

#endif