PTO-TILE-MODEL-STATE-TYPES

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-STATE-TYPES","surface":"tile","classification":["model","state","types"],"depends_on":["PTO-SCALAR-MODEL-TYPES-OPERATIONS"]}2type TileBinaryOperation of enumeration {3    TileBinary_ADD,4    TileBinary_SUB,5    TileBinary_MUL,6    TileBinary_MAX,7    TileBinary_MIN,8    TileBinary_AND,9    TileBinary_OR,10    TileBinary_XOR,11    TileBinary_SHL,12    TileBinary_SHR,13    TileBinary_DIV,14    TileBinary_REM15};16
17type TileUnaryOperation of enumeration {18    TileUnary_ABS,19    TileUnary_NOT,20    TileUnary_NEG,21    TileUnary_RELU,22    TileUnary_SQRT,23    TileUnary_LOG,24    TileUnary_RECIP,25    TileUnary_EXP,26    TileUnary_RSQRT27};28
29type TileComparison of enumeration {30    TileComparison_EQ,31    TileComparison_NE,32    TileComparison_LT,33    TileComparison_LE,34    TileComparison_GT,35    TileComparison_GE36};37
38type TileAxis of enumeration {39    TileAxis_Row,40    TileAxis_Column41};42
43type TileReductionOperation of enumeration {44    TileReduction_SUM,45    TileReduction_PRODUCT,46    TileReduction_MIN,47    TileReduction_MAX,48    TileReduction_ARGMIN,49    TileReduction_ARGMAX50};51
52type TileExpandOperation of enumeration {53    TileExpand_COPY,54    TileExpand_ADD,55    TileExpand_SUB,56    TileExpand_MUL,57    TileExpand_DIV,58    TileExpand_MAX,59    TileExpand_MIN,60    TileExpand_EXPDIF61};62
63type TileExecutionStatus of enumeration {64    TileExecution_Executed,65    TileExecution_Rejected66};67
68type TileStorageKind of enumeration {69    TileStorage_Numeric,70    TileStorage_Predicate71};72
73// Uniform decoded operand carrier for direct tile instructions. Catalog74// bindings select only the fields named by each operation; unused fields have75// no architectural effect.76type TileInstructionOperands of record {77    destination0: TileIndex,78    destination1: TileIndex,79    destination2: TileIndex,80    source0: TileIndex,81    source1: TileIndex,82    source2: TileIndex,83    source3: TileIndex,84    source4: TileIndex,85    source5: TileIndex,86    source6: TileIndex,87    source7: TileIndex,88    source8: TileIndex,89    address: Word,90    scalar0: Word,91    scalar1: Word,92    post_quant_param: Word,93    post_lrelu_param: Word,94    natural0: integer {0..65535},95    natural1: integer {0..65535},96    positive0: integer {1..65535},97    positive1: integer {1..65535},98    positive2: integer {1..65535},99    positive3: integer {1..65535},100    diagonal: integer {-65535..65535},101    byte_count: integer {0..262144},102    selected_byte: integer {0..3},103    sort_width: integer {1..64},104    axis: TileAxis,105    comparison: TileComparison,106    flag0: boolean,107    numeric_control: TileNumericSelection108};109
110pure func DefaultTileInstructionOperands() => TileInstructionOperands111begin112    return TileInstructionOperands {113        destination0 = 0,114        destination1 = 0,115        destination2 = 0,116        source0 = 0,117        source1 = 0,118        source2 = 0,119        source3 = 0,120        source4 = 0,121        source5 = 0,122        source6 = 0,123        source7 = 0,124        source8 = 0,125        address = Zeros{PTO_XLEN},126        scalar0 = Zeros{PTO_XLEN},127        scalar1 = Zeros{PTO_XLEN},128        post_quant_param = Zeros{PTO_XLEN},129        post_lrelu_param = Zeros{PTO_XLEN},130        natural0 = 0,131        natural1 = 0,132        positive0 = 1,133        positive1 = 1,134        positive2 = 1,135        positive3 = 1,136        diagonal = 0,137        byte_count = 0,138        selected_byte = 0,139        sort_width = 32,140        axis = TileAxis_Row,141        comparison = TileComparison_EQ,142        flag0 = FALSE,143        numeric_control = TileNumericSelection {144            use_operation_default = TRUE,145            rounding_mode = NumericRound_RNE,146            saturating = FALSE147        }148    };149end;150
151type TilePayload of array [[PTO_MODEL_TILE_ELEMENTS]] of Word;152type PackedTileDefinedElements of bits(524288);153
154type TileInfo of record {155    allocated: boolean,156    storage_kind: TileStorageKind,157    contents_defined: boolean,158    defined_elements: bits(PTO_MODEL_TILE_ELEMENTS),159    defined_valid_elements: integer {0..524288},160    packed_defined_elements: PackedTileDefinedElements,161    capacity_bytes: integer {0..262144},162    rows: integer {0..65535},163    columns: integer {0..65535},164    valid_rows: integer {0..65535},165    valid_columns: integer {0..65535},166    data_type: TileDataType,167    layout: TileLayout,168    location: TileLocation,169    cube_k_repeat: integer {0..65535},170    cube_n_repeat: integer {0..8192},171    cube_cell_count: integer {0..16384},172    cube_storage_bytes: integer {0..262144},173    payload: TilePayload174};175
176// Requirement reference PTO-REQ-SHARED-TILE-001: S0..S63 are absolute,177// core-private architectural178// Shared registers. Each record is persistent descriptor-plus-payload state;179// initialized_mask identifies producer-written coverage metadata.180// whole_parent_ready is hardware-maintained parent-level readiness; it is181// independent of the producer mask and consumer participation mask. All four182// PEs in one core address the same 64 records.183type SharedTileInfo of record {184    descriptor_valid: boolean,185    allocation_mask: bits(4),186    initialized_mask: bits(4),187    whole_parent_ready: boolean,188    published: boolean,189    tile: TileInfo190};191
192type SharedTileSnapshot of array [[PTO_SHARED_TILE_COUNT]]193    of SharedTileInfo;194