ManagerUDDUChainsStandard.hpp

Go to the documentation of this file.

#ifndef ManagerUDDUChainsStandard_h
#define ManagerUDDUChainsStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/UDDUChainsIRInterface.hpp>
#include <OpenAnalysis/ReachDefs/Interface.hpp>
#include <OpenAnalysis/Alias/Interface.hpp>
#include <OpenAnalysis/UDDUChains/UDDUChainsStandard.hpp>
#include <OpenAnalysis/SideEffect/InterSideEffectInterface.hpp>
#include <OpenAnalysis/MemRefExpr/MemRefExprVisitor.hpp>
#include <OpenAnalysis/MemRefExpr/MemRefExpr.hpp>

namespace OA {
  namespace UDDUChains {


class ManagerUDDUChainsStandard {
      //??? eventually public OA::AnnotationManager
public:
  ManagerUDDUChainsStandard(OA_ptr<UDDUChainsIRInterface> _ir);
  ~ManagerUDDUChainsStandard () {}
  OA_ptr<UDDUChainsStandard> performAnalysis(ProcHandle, 
        OA_ptr<Alias::Interface> alias, OA_ptr<ReachDefs::Interface> reachDefs,
        OA_ptr<SideEffect::InterSideEffectInterface> interSE);

private:
  // helper functions
  bool locMayAliasMemRef(OA_ptr<Alias::Interface> alias,
                         OA_ptr<Location> loc,
                         MemRefHandle memref);

  bool locMustAliasMemRef(OA_ptr<Alias::Interface> alias,
                          OA_ptr<Location> loc,
                          MemRefHandle memref);
private:
  OA_ptr<UDDUChainsIRInterface> mIR;

};

  } // end of UDDUChains namespace
} // end of OA namespace

#endif