BSTART.TMOV

1// PTO-INSTRUCTION: {"assembly":["BSTART.TMOV DataType"],"block":[],"catalog_indices":[47],"catalog_records":[{"asm":"BSTART.TMOV DataType","constraints":[{"field":"DataType","operator":"one-of","values":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,18,19,20,24,25,26,27,28,31]}],"encoding":[{"index":0,"mask":"0x07ffffff","match":"0x00211181","width_bits":32}],"encoding_kind":"L32","fields":[{"name":"DataType","pieces":[{"instruction_lsb":27,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5}],"form_id":"bstart_tmov_32_211446509efb","length_bits":32,"mnemonic":"BSTART.TMOV","semantic_family":"CMD","semantic_group":"Bundle Split","semantic_handler":"ExecuteBundleStart","semantic_summary":"Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.","status":"accepted"}],"classification":["execution"],"contract":{"block_composition":["Local copy: BSTART.TMOV DataType; optional B.DATR Layout; optional B.DIM shape; one terminating B.IOT binds one Local source and one newly allocated Local destination with one common PE_MASK; BSTOP commits.","Canonical Shared TMOV: Function 2 uses one Local source B.IOT and one Shared destination B.IOS, or one Shared source B.IOS and one Local destination B.IOT; B.SUBVIEW and B.ASSEMBLE provide the explicit source/destination ranges.","Function 13 GMOV remains the distinct peer-Local operation."],"canonical_assembly":["BSTART.TMOV DataType"],"defaults":["Concrete DataType codes explicitly select the transfer type. DTYPE_NONE infers the type from the bound source descriptor; failure to resolve a concrete source type rejects before destination effects. Optional B.DATR omission retains NORM layout.","Omitted LB0, LB1, and LB2 inherit ValidCol, ValidRow, and physical Col from an allocated source descriptor. An unallocated, pending, or incomplete Shared source remains waiting and produces no destination effect.","PE_MASK=0000 is a strict no-op before source reads, destination allocation, publication checks, faults, or binding consumption."],"encoding_class":"standalone-encoded","examples":["BSTART.TMOV U8; B.IOT T#1, mask=1111, ->U<1>, last; BSTOP","BSTART.TMOV U8; B.IOT T#1, mask=0001, last; B.IOS mask=0001, ->S7<9>; BSTOP","BSTART.TMOV U8; B.IOS S7, mask=0011; B.SUBVIEW 0, a0, 0, 7; B.IOT mask=0011, ->T<7>, last; BSTOP"],"exceptions":["Reserved DataType, unsupported Layout, malformed or unterminated binding schema, role/size/mask mismatch, incompatible descriptor, incomplete B.ASSEMBLE.LAST, unpublished Shared source, allocation failure, or shape mismatch rejects before destination effects.","A Shared source is hardware-waiting/no-effect until the complete parent is ready and published; no undefined Shared payload is consumed."],"field_contracts":{},"field_zero_meanings":{"DataType":"Encoded zero selects FP64."},"legality":["DataType accepts the 25 concrete TileDataType codes and code 31 DTYPE_NONE for source-descriptor inference; codes 15, 21..23, and 29..30 are reserved.","Function 2 accepts Local-to-Local and canonical Local/Shared or Shared/Local TMOV schemas. A Shared destination with multiple participating PEs requires B.ASSEMBLE; a single-PE no-assemble writer publishes the whole parent.","B.SUBVIEW is the source-range modifier and B.ASSEMBLE is the destination-generation modifier. Shared source legality requires hardware-maintained whole-parent readiness and publication.","Function 13 GMOV remains accepted and unchanged. Other Shared movement function encodings are reserved and raise Fault_IllegalInstruction.","The source and destination descriptors agree on capacity, DataType, Layout, physical Col, and completed valid shape. Local sources persist; Local destinations are renamed and published only after successful preflight."],"memory_effects":["none"],"operands":[{"field":"DataType","role":"concrete source/destination Tile type or DTYPE_NONE source-descriptor inference"},{"field":"B.DATR.Layout","role":"Local or Shared Tile layout selection"},{"field":"B.DIM.LB0/LB1/LB2","role":"ValidCol, ValidRow, and physical Col"},{"field":"B.IOT","role":"Local source and/or renamed Local destination"},{"field":"B.IOS","role":"absolute Shared source or atomic Shared destination"}],"ordering":["Complete role, mask, size, descriptor, shape, data-type, layout, readiness, and allocation preflight precedes every payload, publication, or destination effect.","A singleton Local-to-Shared writer publishes the complete parent atomically. A multi-PE writer publishes only through complete B.ASSEMBLE.LAST; a Shared source read is read-only."],"standalone_opcode":true,"state_effects":["Function 2 Local-to-Local copies Local payload and definedness into one renamed Local destination while preserving the Local source.","A canonical Shared destination performs one whole-parent publication for a single-PE writer or an atomic B.ASSEMBLE generation at LAST. Shared source operations never modify Shared state.","Shared source operations wait/no-op before payload access when whole-parent readiness or publication is absent."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"id":"PTO-BLOCK-BSTART-TMOV","mnemonic":"BSTART.TMOV","summary":"Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.","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-TMOV-SHARED-0014// ndf: kind=contract level=L1 layer=block status=accepted5// Canonical Function 2 Local-to-Shared MUST let one participating issuer6// atomically publish the complete Shared parent, while a multi-PE producer7// MUST use B.ASSEMBLE with explicit ranges and atomic LAST publication.8// Shared-to-Local MUST wait without consuming bindings until the complete9// parent is whole-ready and published. B.SUBVIEW is the only partial-source10// range mechanism. PE_MASK zero MUST have no effect.11// NDF-END: PTO-BSTART-TMOV-SHARED-00112
13// NDF-BEGIN: PTO-ISA-LEGACY-SHARED-MOVEMENT-00114// ndf: kind=contract level=L1 layer=block status=accepted15// Former independent Shared movement function encodings are reserved.16// Canonical TMOV/TSTORE with B.SUBVIEW or B.ASSEMBLE carry all accepted17// Shared movement, range, readiness, and publication semantics; Function 1318// GMOV remains unchanged.19// NDF-END: PTO-ISA-LEGACY-SHARED-MOVEMENT-00120// DOC-BEGIN: decode21readonly func InstructionContractMatches_BSTART_TMOV(operation: CommandOperation) => boolean22begin23    return (operation == CommandOperation_bstart_tmov_32_211446509efb);24end;25// DOC-END: decode26// DOC-BEGIN: operation27// BSTART.TMOV accepts DTYPE_NONE (encoded 31). When neither B.DATR nor BSTART28// contributes a concrete type, Local/Shared TMOV inherits the bound source29// descriptor type. DTYPE_NONE is never installed in a tile descriptor.30readonly func InstructionContractHandler_BSTART_TMOV() => CommandSemanticHandler31begin32    return CommandHandler_ExecuteBundleStart;33end;34
35readonly func InstructionContractStartedTileOperation_BSTART_TMOV()36    => TileOperation37begin38    return TileOperation_TMOV;39end;40
41pure func InstructionContractStartsTileBundle_BSTART_TMOV()42    => boolean43begin44    return TRUE;45end;46// DOC-END: operation47