BSTART.VEC

1// PTO-INSTRUCTION: {"alias_engine":"VEC","alias_of":"BSTART.TEPL","assembly":["BSTART.VEC TileOp, DataType"],"block":[],"catalog_indices":[],"catalog_records":[],"classification":["execution"],"contract":{"block_composition":["TileOp resolves to one assigned TEPL Mode:Function selector whose execution engine is VEC; the alias adds no encoding bits or ownership.","The resulting block uses the same descriptor, header composition, commit, and rollback rules as BSTART.TEPL."],"canonical_assembly":["BSTART.VEC TileOp, DataType"],"defaults":["BSTART.VEC is a canonical engine alias for BSTART.TEPL; it owns no separate encoding or default."],"encoding_class":"encoding-alias","examples":["BSTART.VEC TADD, FP32"],"exceptions":["An unknown TileOp, selector hole, SFU/TLSU/CUBE operation, reserved DataType, or invalid descriptor raises before predecessor retirement or new BARG effects."],"field_contracts":{"DataType":{"ref":"PTO-FIELD-BLOCK-DATATYPE"}},"field_zero_meanings":{},"legality":["TileOp must name an assigned direct operation carried by BSTART.TEPL and assigned to VEC.","The spelling owns no separate encoding; the resolved Mode:Function and DataType bits are exactly the BSTART.TEPL carrier bits.","Canonical assembly and disassembly use BSTART.VEC for every VEC operation."],"memory_effects":["none"],"operands":[{"field":"TileOp","role":"assigned VEC operation mnemonic that resolves the Mode:Function selector"},{"field":"DataType","role":"tile element data type selector"}],"ordering":["Alias resolution, VEC-engine match, carrier fields, and descriptor legality precede predecessor retirement and BARG publication."],"standalone_opcode":false,"state_effects":["Installs exactly the BSTART.TEPL descriptor resolved from TileOp and DataType; this alias has no additional state.","The selected VEC operation executes only when the block commits."]},"depends_on":["PTO-BLOCK-BSTART-TEPL"],"id":"PTO-BLOCK-BSTART-VEC","mnemonic":"BSTART.VEC","summary":"Canonical Block-start spelling for an operation assigned to the VEC execution engine.","surface":"block"}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-BSTART-VEC-DECISION-BINDING-0014// ndf: kind=contract level=L1 layer=block status=accepted5// BSTART.VEC MUST implement the mnemonic-local canonical assembly, encoded6// legality, defaults, state and memory effects, ordering, and fault boundaries7// declared in this owner. The operation region below is the executable binding8// for every accepted decision that names this mnemonic.9// NDF-END: PTO-BSTART-VEC-DECISION-BINDING-00110// DOC-BEGIN: decode11readonly func InstructionContractMatches_BSTART_VEC(12    operation: CommandOperation) => boolean13begin14    return InstructionContractMatches_BSTART_TEPL(operation);15end;16// DOC-END: decode17// DOC-BEGIN: operation18readonly func InstructionContractHandler_BSTART_VEC() => CommandSemanticHandler19begin20    return InstructionContractHandler_BSTART_TEPL();21end;22
23pure func InstructionContractAliasEngine_BSTART_VEC() => TileExecutionEngine24begin25    return TileEngine_VEC;26end;27
28pure func InstructionContractAcceptsTileOperation_BSTART_VEC(29    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean30begin31    return TileTEPLAliasAcceptsOperation(TileTEPLAlias_VEC, operation);32end;33// DOC-END: operation34