Polaris: ArcSpec.h Source File

ArcSpec.h Go to the documentation of this file. #ifndef ARC_SPECIPICATION_H #define ARC_SPECIPICATION_H /// /// Defintion of the size of each field in an arc in a compacted form. /// Assumption: size(Arc_type) is a byte /// #define A_BYTE 8 /// in bits #define Bytes(bits) (bits/8+1) /// For the last bit(0) marking the arc ending ///#define Valid_low_bound(pos) pos < 0 ? 0 : 1 ///#define Valid_high_bound(pos) pos < A_BYTE ? 1 : 0 ///#define Invalidate(pos) pos = -1 /// /// /// Every arc starts with a bit of active field /// #define ARC_ACTIVE (Arc_type)'\x80' /// /// /// Arc DV field includes a flag marking the new DV field, dependence decision, /// dependence direction, dependence type, a direction vector /// #define ARC_1_BIT (Arc_type)'\x80' #define ARC_2_BIT (Arc_type)'\xc0' #define ARC_3_BIT (Arc_type)'\xe0' #define ARC_8_BIT (Arc_type)'\xff' /// /// /// Number of bits /// #define ONE_BIT 1 #define TWO_BIT 2 #define THREE_BIT 3 #define EIGHT_BIT 8 /// /// /// Offset of each field from the beginning of this DV field /// #define DVF_DDECI 0 #define DVF_DDIREC 1 #define DVF_DTYPE 2 #define DVF_DIREC 4 #define DVF_DDIST 7 /// /// /// Extra constants /// #define CONST_BITS 8 /// New mark, Dep_Deci, Dep_Direc, Dep_type, End mark #define NUM_OF_PTRS 4 /// target_stmt, target_expr, label, next_arc /// /// /// Assumed & Proved dependence /// enum DEP_DECISION { _ASSUMED = 0, _PROVED = ARC_1_BIT, _INDEP }; /// /// /// Normal/Reverse dependence direction (hidden from outside) /// enum DEP_DIREC { _NORMAL = 0, _REVERSE = ARC_1_BIT }; /// /// /// Dependence types: DVfield with a NULL direction vector is assumed to have /// an UNKNOWN dependence type. _UNKNOWN won't be ever stored /// in the arc, but stored in ActiveArc for user access. /// enum DEP_TYPE { _FLOW = 0, _ANTI = (Arc_type)'\x40', _INPUT = ARC_1_BIT, _OUTPUT = ARC_2_BIT, _UNKNOWN }; /// /// /// Direction type: Element of direction vector /// enum DIREC_TYPE { _DELIM = 0, _EQ = (Arc_type)'\x20', _GT = (Arc_type)'\x40', _GE = (Arc_type)'\x60', _LT = ARC_1_BIT, _LE = (Arc_type)'\xa0', _NEQ = ARC_2_BIT, _STAR = ARC_3_BIT }; /// /// Distance type: Element of direction vector /// typedef signed char DDIST_TYPE; #define INV_DDIST -128 /// /// Position offset used to traverse the arc ranging from 0 to 7 /// /// #endif

© 1995-2005 University of Illinois, Urbana-Champaign. All rights reserved.  Fri Mar 25 23:05:37 2005