PTO-BLOCK-MODEL-STATE-TYPES

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-STATE-TYPES","surface":"block","classification":["model","state","types"],"depends_on":["PTO-ARCH-DATA-TYPES-FAULT"]}2type BundleKind of enumeration {3    BundleKind_Standard,4    BundleKind_Floating,5    BundleKind_System,6    BundleKind_TileElement,7    BundleKind_TileMemory,8    BundleKind_TileMatrix,9    BundleKind_FrameTemplate10};11
12type BundleTransfer of enumeration {13    BundleTransfer_Fallthrough,14    BundleTransfer_Direct,15    BundleTransfer_Conditional,16    BundleTransfer_Call,17    BundleTransfer_Return,18    BundleTransfer_Indirect,19    BundleTransfer_IndirectCall20};21
22// BARG is the single architectural continuation record installed by BSTART.23// BPC is stored by the architectural program-control state; the remaining24// fields are stored here and are consumed only at the block commit boundary.25type BundleArgumentRegister of record {26    block_type: BundleKind,27    transfer_type: BundleTransfer,28    taken: boolean,29    bpcn: Word30};31
32// A bundle start always installs one descriptor. Control-only starts retain33// their exact form and modifiers, while operation-bearing starts additionally34// carry the selector consumed when the bundle is committed.35// PTO-REQ-BUNDLE-OPERATION-001: exact start fields survive decode and commit.36type BundleOperationClass of enumeration {37    BundleOperation_Control,38    BundleOperation_TileElement,39    BundleOperation_TileMemory,40    BundleOperation_TileMatrix,41    BundleOperation_FixedPoint42};43
44type BundleOperationDescriptor of record {45    valid: boolean,46    form_identity: bits(7),47    operation_class: BundleOperationClass,48    selector_valid: boolean,49    selector: bits(10),50    data_type_valid: boolean,51    data_type: bits(5),52    mode_valid: boolean,53    mode: bits(2),54    branch_type_valid: boolean,55    branch_type: bits(3)56};57
58type BundleScalarBinding of record {59    valid: boolean,60    destination: Reg5Selector,61    source0: Reg5Selector,62    source1: Reg5Selector,63    source2: Reg5Selector,64    source_count: integer {0..3}65};66
67// A B.SUBVIEW carrier retains the pure descriptor derived from its parent.68// The descriptor is intentionally separate from TileInfo: the parent remains69// the live architectural allocation and the view is a bounded read-only70// interpretation until the selected operation has passed preflight.71type BundleSubviewDescriptor of record {72    valid: boolean,73    parent: TileIndex,74    offset_cells: integer {0..65535},75    origin_row: integer {0..65535},76    origin_column: integer {0..65535},77    rows: integer {0..65535},78    columns: integer {0..65535},79    valid_rows: integer {0..65535},80    valid_columns: integer {0..65535},81    cell_count: integer {0..16384},82    capacity_bytes: integer {0..262144}83};84
85// A portable speculation identity is deliberately opaque.  The instruction86// instance provides replay identity and the execution-domain token separates87// distinct dynamic writers that happen to use the same range.88type PortableSpeculationIdentity of record {89    instruction_instance: Word,90    execution_domain_token: integer91};92
93type LocalGenerationWriter of record {94    valid: boolean,95    offset_cells: integer {0..2047},96    cell_count: integer {0..2048},97    destination: TileIndex,98    ready: boolean,99    identity: PortableSpeculationIdentity100};101
102type LocalGenerationWriterSnapshot of array [[16]] of LocalGenerationWriter;103
104type BundleConsumerDependencyMode of enumeration {105    BundleConsumerDependency_Range,106    BundleConsumerDependency_WholeParent107};108
109type BundleConsumerDependencyState of enumeration {110    BundleConsumerDependency_Waiting,111    BundleConsumerDependency_Eligible,112    BundleConsumerDependency_Retired,113    BundleConsumerDependency_Cancelled114};115
116// A consumer dependency is a portable readiness carrier.  It records the117// logical required CELL set and lifecycle without exposing a backend queue or118// physical ready table.119type BundleConsumerDependency of record {120    valid: boolean,121    source: TileIndex,122    generation_instance: Word,123    execution_domain_token: integer,124    mode: BundleConsumerDependencyMode,125    required_cells: bits(2048),126    required_cell_count: integer {0..2048},127    after_last: boolean,128    state: BundleConsumerDependencyState,129    consumer_instruction_instance: Word130};131
132type BundleConsumerDependencySnapshot of array [[16]] of BundleConsumerDependency;133
134type BundleProducerEffectClass of enumeration {135    BundleProducerEffect_RollbackSafe,136    BundleProducerEffect_AtomicAuxiliary,137    BundleProducerEffect_NonRollbackAuxiliary138};139
140// The descriptor captured by INIT is the normalized architectural object141// identity.  It is compared on every later writer before the operation body;142// a matching range alone is not sufficient to rebind an open generation.143type LocalGenerationParentDescriptor of record {144    valid: boolean,145    object_name: TileIndex,146    object_kind: TileStorageKind,147    participant_mask: bits(4),148    capacity_bytes: integer {0..262144},149    rows: integer {0..65535},150    columns: integer {0..65535},151    valid_rows: integer {0..65535},152    valid_columns: integer {0..65535},153    data_type: TileDataType,154    layout: TileLayout,155    location: TileLocation,156    cube_k_repeat: integer {0..65535},157    cube_n_repeat: integer {0..8192},158    cube_cell_count: integer {0..16384},159    cube_storage_bytes: integer {0..262144}160};161
162type LocalGenerationState of record {163    open: boolean,164    closed: boolean,165    published: boolean,166    destination_hand: integer {0..3},167    participant_mask: bits(4),168    generation_instance: Word,169    init_tpc: Word,170    init_tpc_valid: boolean,171    parent_size_code: integer {0..12},172    parent_cell_count: integer {0..2048},173    parent_descriptor: LocalGenerationParentDescriptor,174    covered_cells: bits(2048),175    ready_cells: bits(2048),176    writer_count: integer {0..16},177    writers: LocalGenerationWriterSnapshot,178    last_seen: boolean,179    consumers: BundleConsumerDependencySnapshot,180    consumer_count: integer {0..16},181    working_destination: TileIndex,182    published_destination: TileIndex,183    committed_destination: TileIndex,184    committed_valid: boolean185};186
187// One aggregate state is retained for each architectural hand and each188// decoded four-PE participation mask.  This preserves independent open189// generation domains instead of collapsing distinct selected-PE identities.190type LocalGenerationSnapshot of array [[64]] of LocalGenerationState;191
192type SharedGenerationState of record {193    open: boolean,194    closed: boolean,195    published: boolean,196    shared_tile_id: SharedTileID,197    participant_mask: bits(4),198    parent_size_code: integer {0..12},199    parent_cell_count: integer {0..2048},200    covered_cells: bits(2048),201    ready_cells: bits(2048),202    last_seen: boolean,203    working_valid: boolean,204    working_tile: TileInfo,205    working_initialized_mask: bits(4)206};207
208type SharedGenerationSnapshot of array [[PTO_SHARED_TILE_COUNT]]209    of SharedGenerationState;210
211// Range modifiers are retained as decoded carriers until the enclosing212// B.IOT/B.IOS syntax group is closed.  `offset` is the XLEN-wrapped result of213// GPR[reg_src] + zero-extended uimm11; the carrier is deliberately inert until214// the later bundle schema consumes it.215type BundleRangeModifier of record {216    valid: boolean,217    reg_src: Reg5Selector,218    uimm11: bits(11),219    size_code: integer {0..12},220    offset: Word,221    init: boolean,222    last: boolean,223    derived: BundleSubviewDescriptor,224    materialized: boolean,225    materialized_index: TileIndex226};227
228type BundleRangeGroupKind of enumeration {229    BundleRangeGroup_None,230    BundleRangeGroup_Local,231    BundleRangeGroup_Shared232};233
234// This is syntactic header state only.  It records the immediately preceding235// binder and modifier roles; destination allocation and operation binding stay236// deferred to bundle closure.237type BundleRangeGroupState of record {238    open: boolean,239    zero_mode: boolean,240    kind: BundleRangeGroupKind,241    tile_binding: integer {0..15},242    shared_binding: integer {0..3},243    source0_allowed: boolean,244    source1_allowed: boolean,245    destination_allowed: boolean,246    source0_seen: boolean,247    source1_seen: boolean,248    destination_seen: boolean249};250
251type BundleTileBinding of record {252    valid: boolean,253    destination_valid: boolean,254    destination: TileIndex,255    destination_hand: bits(2),256    destination_allocated_by_bundle: boolean,257    destination_reused_by_generation: boolean,258    destination_size: integer {0..15},259    pe_mask: bits(4),260    source0_valid: boolean,261    source1_valid: boolean,262    source0: TileIndex,263    source1: TileIndex,264    last: boolean,265    source0_subview: BundleRangeModifier,266    source1_subview: BundleRangeModifier,267    destination_assemble: BundleRangeModifier268};269
270type BundleSharedBinding of record {271    valid: boolean,272    shared_tile_id: SharedTileID,273    size_code: integer {0..12},274    pe_mask: bits(4),275    consumed: boolean,276    source0_subview: BundleRangeModifier,277    destination_assemble: BundleRangeModifier278};279
280type BundleControlAttributes of record {281    present: boolean,282    trap_enabled: boolean,283    atomic: boolean,284    acquire: boolean,285    release: boolean,286    far: boolean,287    dimension_reduction: boolean288};289
290type BundleDataAttributes of record {291    data_type_present: boolean,292    data_type: bits(5),293    data_layout: bits(5),294    pad_value: bits(2),295    comparison_mode: bits(3),296    rounding_mode: bits(3),297    saturating: boolean,298    canonicalize: boolean299};300
301type BundleHintAttributes of record {302    present: boolean,303    trace: boolean,304    trace_end: boolean,305    branch_valid: boolean,306    branch_likely: boolean,307    temperature: bits(2),308    prefetch_size: bits(12)309};310
311// B.FPATR is a complete-bundle post-processing descriptor.  `valid` tracks312// encoded presence separately from the field values so omission, duplicate313// headers, and encoded zero remain distinct at bundle commit.314type BundleFixedPointAttributes of record {315    valid: boolean,316    pre_quant_mode: bits(6),317    relu_mode: bits(3),318    group_n_code: bits(4),319    row_max_en: boolean,320    group_max_en: boolean,321    row_max_init: boolean,322    max_abs_en: boolean,323    trans_a: boolean,324    trans_b: boolean,325    c_scale_en: boolean326};327
328// MCOPY retains the complete operand snapshot and the next byte offset across329// a recoverable memory fault.  Progress names the first byte not yet committed.330type MemoryCopyTemplateState of record {331    active: boolean,332    instruction_pc: Word,333    destination: Word,334    source: Word,335    length: Word,336    progress: Word337};338
339type FrameTemplateKind of enumeration {340    FrameTemplate_Entry,341    FrameTemplate_Exit,342    FrameTemplate_ReturnAddress,343    FrameTemplate_ReturnStack344};345
346type FrameRegisterCount of integer {0..22};347type FrameRegisterOrdinal of integer {0..21};348type FrameRegisterSnapshot of array [[22]] of Word;349
350// Frame-template progress names the next register memory event that has not351// committed.  Source values are retained before FENTRY changes sp, and the352// whole record survives a recoverable memory fault.353type FrameTemplateState of record {354    active: boolean,355    kind: FrameTemplateKind,356    instruction_pc: Word,357    begin_reg: Reg5Selector,358    end_reg: Reg5Selector,359    register_count: FrameRegisterCount,360    frame_size: Word,361    caller_sp: Word,362    stack_adjusted: boolean,363    progress: FrameRegisterCount,364    return_target: Word,365    return_target_valid: boolean,366    source_values: FrameRegisterSnapshot367};368
369// ACR0 is the root ring. The active profile defines permissions and the370// implemented Access Control Ring subtree.371type AccessControlRing of integer {0..15};372type TemporaryQueueSnapshot of array [[PTO_TEMPORARY_QUEUE_DEPTH]] of Word;373type TemporaryQueueValiditySnapshot of array374    [[PTO_TEMPORARY_QUEUE_DEPTH]] of boolean;375type PredicateSnapshot of array [[PTO_PREDICATE_REGISTER_COUNT]]376    of PredicateWord;377type BundleDimensionSnapshot of array [[PTO_BUNDLE_DIMENSION_COUNT]] of Word;378type BundleDimensionPresenceSnapshot of array [[PTO_BUNDLE_DIMENSION_COUNT]]379    of boolean;380type BundleScalarBindingSnapshot of array [[PTO_BUNDLE_SCALAR_BINDING_COUNT]]381    of BundleScalarBinding;382type BundleTileBindingSnapshot of array [[PTO_BUNDLE_TILE_BINDING_COUNT]]383    of BundleTileBinding;384type BundleSharedBindingSnapshot of array [[4]] of BundleSharedBinding;385