ManagerReachDefsStandard.hpp

Go to the documentation of this file.

#ifndef ReachDefsManagerStandard_h
#define ReachDefsManagerStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/ReachDefsIRInterface.hpp>
#include <OpenAnalysis/ReachDefs/ReachDefsStandard.hpp>

//#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/Alias/Interface.hpp>

#include <OpenAnalysis/DataFlow/CFGDFProblem.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/DataFlow/IRHandleDataFlowSet.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>
#include <OpenAnalysis/DataFlow/CFGDFSolver.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>

namespace OA {
  namespace ReachDefs {


class ManagerReachDefsStandard 
    : public virtual DataFlow::CFGDFProblem { 
      //??? eventually public OA::AnnotationManager
public:
  ManagerReachDefsStandard(OA_ptr<ReachDefsIRInterface> _ir);
  //{ CFGDFProblem<IRHandleDataFlowSet<StmtHandle> >( DataFlow::Forward ); } 
  //{ CFGDFProblem( DataFlow::Forward ); } 
  ~ManagerReachDefsStandard () {}

  OA_ptr<ReachDefsStandard> performAnalysis(ProcHandle, 
        OA_ptr<CFG::CFGInterface> cfg, OA_ptr<Alias::Interface> alias, 
        OA_ptr<SideEffect::InterSideEffectInterface> interSE,
        DataFlow::DFPImplement algorithm);

  //virtual Alias::AliasMap* performAnalysis(ProcHandle);

  //------------------------------------------------------------------
  // Implementing the callbacks for CFGDFProblem
  //------------------------------------------------------------------
protected:
  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); 

protected: // member variables

  OA_ptr<ReachDefsIRInterface> mIR;
  OA_ptr<Alias::Interface> mAlias;
  OA_ptr<ReachDefsStandard> mReachDefMap;
  //std::set<MemRefHandle> mMemRefSet;    // set of all memrefs seen so far

  // the statements that may define this MemRefHandle
  //std::map<MemRefHandle,std::set<StmtHandle> > mMayDefMap;

  // all memrefs that a statement may and must define
  //std::map<StmtHandle,DataFlow::IRHandleDataFlowSet<MemRefHandle> > mStmtMayDefMap;
  //std::map<StmtHandle,DataFlow::IRHandleDataFlowSet<MemRefHandle> > mStmtMustDefMap;
  std::map<StmtHandle,std::set<OA_ptr<Location> > > mStmtMayDefMap;
  std::map<StmtHandle,std::set<OA_ptr<Location> > > mStmtMustDefMap;
 // Added by PLM 07/26/06
  OA_ptr<DataFlow::CFGDFSolver> mSolver;
    
};

  } // end of ReachDefs namespace
} // end of OA namespace

#endif