SymAliasSets.hpp

Go to the documentation of this file.

#ifndef SymAliasSets_H
#define SymAliasSets_H

#include <OpenAnalysis/DataFlow/DataFlowSet.hpp>
#include <OpenAnalysis/DataFlow/IRHandleDataFlowSet.hpp>
#include <map>

namespace OA {
  namespace Alias {

class SymAliasSets : public virtual DataFlow::DataFlowSet {
  private:
    class SymSetIterator;
    friend class SymSetIterator;

  public:
    SymAliasSets() : mNextSetId(0) {}
    SymAliasSets(const SymAliasSets& other);
    ~SymAliasSets() {}

    static const int SET_ID_NONE = -1; 

    OA_ptr<SymHandleIterator> getSymIterator(SymHandle sym);

    //*****************************************************************
    // DataFlowSet interface
    //*****************************************************************
    bool operator ==(DataFlow::DataFlowSet &other) const;
    bool operator !=(DataFlow::DataFlowSet &other) const;

    OA_ptr<DataFlow::DataFlowSet> clone();

    void dump(std::ostream &os, OA_ptr<IRHandlesIRInterface>);
    void dump(std::ostream &os);

    //*****************************************************************
    // Meet routine
    //*****************************************************************

    OA_ptr<SymAliasSets> meet(SymAliasSets& other);
    
    //*****************************************************************
    // Construction methods 
    //*****************************************************************
    
    /*
    void mapSymsToSameInvSym(ExprHandle call, SymHandle sym1, SymHandle sym2);
    */

    void mergeSyms(SymHandle sym1, SymHandle sym2);

  private:
    class SymSet;
    std::map<int,OA_ptr<SymSet> >  mIdToSymSetMap;
    std::map<SymHandle,int> mSymToIdMap;
    int mNextSetId;
    //std::set<ExprHandle> mCallSet;

    void insertSet(OA_ptr<SymSet> pSet);

    void replaceSet(int oldSetId, OA_ptr<SymSet> pSet);

    int getAliasSetId(SymHandle sym);

  class SymSet : public DataFlow::IRHandleDataFlowSet<SymHandle> {
  public:
    SymSet() : DataFlow::IRHandleDataFlowSet<SymHandle>() {}
    SymSet(const SymSet& other) 
        : DataFlow::IRHandleDataFlowSet<SymHandle>(other) {}
    ~SymSet() {}

  };

  class SymSetIterator : public virtual SymHandleIterator,
                         public DataFlow::IRHandleIterator<SymHandle>
  {
  public:
    SymSetIterator(OA_ptr<SymSet> pSet) : DataFlow::IRHandleIterator<SymHandle>(pSet) {}
    ~SymSetIterator() {}

    void operator++() { DataFlow::IRHandleIterator<SymHandle>::operator++(); }
    void operator++(int i) { DataFlow::IRHandleIterator<SymHandle>::operator++(i); }
    bool isValid() const 
      { return DataFlow::IRHandleIterator<SymHandle>::isValid(); }
    SymHandle current() const 
      { return DataFlow::IRHandleIterator<SymHandle>::current(); }
    void reset() { DataFlow::IRHandleIterator<SymHandle>::current(); }
  };


};

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

#endif