LoopAbstraction.hpp

Go to the documentation of this file.

#ifndef LoopAbstraction_hpp
#define LoopAbstraction_hpp

#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/Utils/SetIterator.hpp>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <OpenAnalysis/Utils/GenOutputTool.hpp>
#include <OpenAnalysis/Utils/Iterator.hpp>
#include "LoopIndex.hpp"
#include <list>
using namespace std;

namespace OA {
  namespace Loop {

typedef SetIterator<StmtHandle> StmtIterator;

class LoopAbstraction : public virtual Annotation {
  public:
  //[Construction]
    LoopAbstraction(
        OA_ptr<LoopIndex> loopIndex,
        StmtHandle loopStmt,
        StmtHandle endStmt,
        OA_ptr<LoopAbstraction> parent);

  //[Accessor methods]
    StmtHandle getLoopStatement() { return mLoopStatement; }

    StmtHandle getEndStatement() { return mEndStatement; }

    OA_ptr<LoopIndex> getLoopIndex() { return mLoopIndex; }

    OA_ptr<LoopAbstraction> getParent() { return mParent; }

  //[Ordering operators]
    virtual bool operator<(LoopAbstraction &other);

    virtual bool operator==(LoopAbstraction &other);
    
    bool operator!=(LoopAbstraction& other) { return ! ((*this)==other); }

  //[Output methods] (derived from Annotation)
    virtual void output(IRHandlesIRInterface &ir);


  private:
  OUTPUT
    GENOUT  StmtHandle mLoopStatement;
    GENOUT  StmtHandle mEndStatement;
    GENOUT  OA_ptr<LoopIndex>  mLoopIndex;
    GENOUT  OA_ptr<LoopAbstraction> mParent;
    int mOrder;
    static int sAbstractionsBuilt;
};

} } // namespaces

#endif