host_info.h

Go to the documentation of this file.

#include "misc.h"
#include "timerange.h" 

#ifndef HOST_INFO_H
#define HOST_INFO_H
#include "nodes.h"

class CHostInfo {
    CHostInfo * Next;
    CCDGNode * Node; // if !IsLoopTx, this is host node, else is loop to be txd
    long PaddingNeeded;
    CCDGNode * NodeToPad;
    POS_TYPE GuestPos;

    // only valid if node is loop 
    bool IsLoopTx, LoopIsOpen;
    float Iteration;
    LOOP_TX_TYPE Tx;
    CHostInfo * Children, * Parent;
public:
    CHostInfo() { Next = NULL; Node = NULL;
    GuestPos = POS_UNINIT; Tx = LTX_UNINIT; Children = Parent = NULL; 
    IsLoopTx = LoopIsOpen = FALSE; Iteration = INVALID; };
    CHostInfo(CCDGNode * node, bool is_loop_tx, POS_TYPE pos, 
          long padding, CCDGNode * pad_node, 
          CHostInfo * parent=NULL);
    CHostInfo * Add_Node(CCDGNode * node, bool is_loop_tx,
                 POS_TYPE pos, long padding,
                 CCDGNode * pad_node);
    CHostInfo * Get_Next() { return Next; };
    void Set_Next(CHostInfo * n) { Next = n; };
    CCDGNode * Get_Node() { return Node; };
    CHostInfo * Get_Last(); // Get the last node -- either in an open
    // loop or else after the last root node

    CHostInfo * Get_Children() { return Children; };
    CHostInfo * Add_Child(CCDGNode * host, bool is_loop_tx, POS_TYPE pos);

    // When building loop list, need to store loop information before 
    // we actually find the node which will be the host. So until that
    // node is found, Is_Nodeless is true.
    bool Is_Nodeless() { return !Node; };
    void Set_Node(CCDGNode * node) { 
      //    HACK - Commented out but should work:   assert(!Node); 
      Node = node; };
    void Set_GuestPos(POS_TYPE p) { GuestPos = p; };
    POS_TYPE Get_GuestPos() { return GuestPos; };

    LOOP_TX_TYPE Get_Tx() { return Tx; };
    float Get_Iteration() { return Iteration; };
    void Set_Iteration(float i) { Iteration = i; };

    void Do_Current_Padding();
    void Set_Pad_Info(long pad_cy, CCDGNode * pad_node);

    bool Get_LoopIsOpen() { return LoopIsOpen; };
    void Set_LoopIsOpen(bool v) { LoopIsOpen = v; };
    bool Get_IsLoopTx() { return IsLoopTx; };

    void Set_Loop_Info(float it, LOOP_TX_TYPE tx);
    void Do_Loop_Tx();
    CPred * Create_Guard_Nodes(CGuestInfo * g_int_info );
    void Set_to_LoopTransformed_Version_of_Node(LOOP_TX_TYPE ltx, POS_TYPE pos);
    void Create_Guarded_Loop(CGuestInfo * guest_loop);
    CCDGNode * Adjust_Host_Node(CGuestInfo * guest);
    void Output_Debug(bool do_all, int indent, ostream &stream = cout );    
};

class CLTXList {
    CHostInfo * LTx;
    CLTXList * Next;
public:
  CLTXList() { LTx = NULL; Next = NULL; };
    CLTXList(CHostInfo * ltx) { LTx = ltx; Next = NULL; };
    CLTXList * Add_Node(CHostInfo * ltx);
    CLTXList * Get_Next() { return Next; };
    CHostInfo * Get_LTx() { return LTx; };
    void Output_Debug();
};
#endif

---