ManagerAliasMapBasic.hpp

Go to the documentation of this file.

#ifndef ALIASMANAGERAliasMapBasic_H
#define ALIASMANAGERAliasMapBasic_H

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

// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/Alias/AliasMap.hpp>

#include <OpenAnalysis/MemRefExpr/MemRefExprVisitor.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/IRInterface/AliasIRInterface.hpp>

namespace OA {
  namespace Alias {

class ManagerAliasMapBasic { //??? eventually public OA::AnnotationManager
public:
  ManagerAliasMapBasic(OA_ptr<AliasIRInterface> _ir) : mIR(_ir) {}
  ~ManagerAliasMapBasic () {}

  OA_ptr<Alias::AliasMap> performAnalysis(ProcHandle proc);

  /*
  OA_ptr<Alias::AliasMap> performAnalysis(ProcHandle proc) 
  {
    // optimistic assumption that reference parameters don't alias
    // each other or globals
    OA_ptr<AliasMap> seedAliasMap;
    seedAliasMap = new AliasMap(proc);
    return performAnalysis(proc,seedAliasMap);
  }
  */

  //OA_ptr<Location> trivialMREToLoc(OA_ptr<MemRefExpr> mre);

private:
  OA_ptr<AliasIRInterface> mIR;
  ProcHandle mProc;

};

  } // end of Alias namespace
} // end of OA namespace

#endif