Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.
PTO-BLOCK-BSTART-TMOVBSTART.TMOV DataTypeLocal 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.
BSTART.TMOV U8RequiredB.IOT T#1, mask=1111, ->U<1>, lastRequiredBSTOPRequiredBSTART.TMOV U8B.IOT T#1, mask=1111, ->U<1>, lastBSTOPCanonical 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.
BSTART.TMOV U8RequiredB.IOT T#1, mask=0001, lastRequiredB.IOS mask=0001, ->S7<9>RequiredBSTOPRequiredBSTART.TMOV U8B.IOT T#1, mask=0001, lastB.IOS mask=0001, ->S7<9>BSTOPFunction 13 GMOV remains the distinct peer-Local operation.
BSTART.TMOV U8RequiredB.IOS S7, mask=0011RequiredB.SUBVIEW 0, a0, 0, 7RequiredB.IOT mask=0011, ->T<7>, lastRequiredBSTOPRequiredBSTART.TMOV U8B.IOS S7, mask=0011B.SUBVIEW 0, a0, 0, 7B.IOT mask=0011, ->T<7>, lastBSTOPBSTART.TMOV U8; B.IOT T#1, mask=1111, ->U<1>, last; BSTOPBSTART.TMOV U8; B.IOT T#1, mask=0001, last; B.IOS mask=0001, ->S7<9>; BSTOPBSTART.TMOV U8; B.IOS S7, mask=0011; B.SUBVIEW 0, a0, 0, 7; B.IOT mask=0011, ->T<7>, last; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | concrete source/destination Tile type or DTYPE_NONE source-descriptor inference | Encoded zero selects FP64. |
B.DATR.Layout | — | — | Local or Shared Tile layout selection | — |
B.DIM.LB0/LB1/LB2 | — | — | ValidCol, ValidRow, and physical Col | — |
B.IOT | — | — | Local source and/or renamed Local destination | — |
B.IOS | — | — | absolute Shared source or atomic Shared destination | — |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Constant | 26:0 | 27'b000001000010001000110000001 |
{
"reg": [
{
"bits": 27,
"name": "27'b000001000010001000110000001"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.TMOV DataType
DataTypeB.DATR.LayoutB.DIM.LB0/LB1/LB2B.IOTB.IOSDecode and Operation come directly from the instruction owner and remain separated by execution phase.
readonly func InstructionContractMatches_BSTART_TMOV(operation: CommandOperation) => booleanbegin return (operation == CommandOperation_bstart_tmov_32_211446509efb);end;// BSTART.TMOV accepts DTYPE_NONE (encoded 31). When neither B.DATR nor BSTART// contributes a concrete type, Local/Shared TMOV inherits the bound source// descriptor type. DTYPE_NONE is never installed in a tile descriptor.readonly func InstructionContractHandler_BSTART_TMOV() => CommandSemanticHandlerbegin return CommandHandler_ExecuteBundleStart;end;
readonly func InstructionContractStartedTileOperation_BSTART_TMOV() => TileOperationbegin return TileOperation_TMOV;end;
pure func InstructionContractStartsTileBundle_BSTART_TMOV() => booleanbegin return TRUE;end;// 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"}// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}// NDF-BEGIN: PTO-BSTART-TMOV-SHARED-001// ndf: kind=contract level=L1 layer=block status=accepted// Canonical Function 2 Local-to-Shared MUST let one participating issuer// atomically publish the complete Shared parent, while a multi-PE producer// MUST use B.ASSEMBLE with explicit ranges and atomic LAST publication.// Shared-to-Local MUST wait without consuming bindings until the complete// parent is whole-ready and published. B.SUBVIEW is the only partial-source// range mechanism. PE_MASK zero MUST have no effect.// NDF-END: PTO-BSTART-TMOV-SHARED-001
// NDF-BEGIN: PTO-ISA-LEGACY-SHARED-MOVEMENT-001// ndf: kind=contract level=L1 layer=block status=accepted// Former independent Shared movement function encodings are reserved.// Canonical TMOV/TSTORE with B.SUBVIEW or B.ASSEMBLE carry all accepted// Shared movement, range, readiness, and publication semantics; Function 13// GMOV remains unchanged.// NDF-END: PTO-ISA-LEGACY-SHARED-MOVEMENT-001// DOC-BEGIN: decodereadonly func InstructionContractMatches_BSTART_TMOV(operation: CommandOperation) => booleanbegin return (operation == CommandOperation_bstart_tmov_32_211446509efb);end;// DOC-END: decode// DOC-BEGIN: operation// BSTART.TMOV accepts DTYPE_NONE (encoded 31). When neither B.DATR nor BSTART// contributes a concrete type, Local/Shared TMOV inherits the bound source// descriptor type. DTYPE_NONE is never installed in a tile descriptor.readonly func InstructionContractHandler_BSTART_TMOV() => CommandSemanticHandlerbegin return CommandHandler_ExecuteBundleStart;end;
readonly func InstructionContractStartedTileOperation_BSTART_TMOV() => TileOperationbegin return TileOperation_TMOV;end;
pure func InstructionContractStartsTileBundle_BSTART_TMOV() => booleanbegin return TRUE;end;// DOC-END: operation
BSTART.TMOV opens an active Block descriptor; the body supplies the attributes and bindings required before completion.
BSTART.TMOV must appear as the starter of its Block. Later attributes, dimensions, and bindings accumulate in the active descriptor until BSTOP or the next accepted BSTART completion boundary.
The accepted carrier uses the L32 encoding class and resolves every displayed field before the command reads bindings or changes state.
At completion, the descriptor runs its selected Block operation only after all schema and state preflight succeeds.
DataType — concrete source/destination Tile type or DTYPE_NONE source-descriptor inference; B.DATR.Layout — Local or Shared Tile layout selection; B.DIM.LB0/LB1/LB2 — ValidCol, ValidRow, and physical Col; B.IOT — Local source and/or renamed Local destination; B.IOS — absolute Shared source or atomic Shared destination.B.IOT for a Local source and renamed Local destination; L2S uses source B.IOT plus destination B.IOS; S2L uses source B.IOS plus destination B.IOT, with matching masks.Starting the Block records the selected carrier and leaves operation execution deferred until the completion boundary.
After complete preflight and computation, every enabled output publishes as the owner-defined atomic group; successful mathematical sources remain available unless the contract explicitly consumes them.
Fixed bits, reserved values, selector domains, and required Block placement are checked before architectural effects.
The current owner reports invalid schema, state, address, or continuation conditions through the owner-defined fault; no prose on this page creates an additional fault rule.
Complete schema, binding, readiness, alias, capacity, and allocation preflight precedes source snapshots and every destination publication.
This example demonstrates placement and carrier flow only; exact behavior remains in the current ASL and instruction contract.
BSTART.TMOV U8; B.IOT T#1, mask=1111, ->U<1>, last; BSTOPThe starter establishes the descriptor first; the following carriers fill its declared schema, and the final completion boundary triggers validation and operation execution.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
18 matching entries
PTO-AVS-BLOCK-BSTART-TMOV-DECODE-001tests/asl/block/execution/BSTART.TMOV/block-decode-bstart-tmov-canonical-001.asl7c50091cb50cb37ab5de1c8f4e9f7b8231f799ca70e2bbd1a0cb21cecb027ca1PTO-AVS-BLOCK-TMOV-EXTRACT-001tests/asl/block/execution/BSTART.TMOV/block-decode-bstart-tmov-extract-001.asl2719e9a6bea76ac1878bef174678afac11b0bbdcf3cd99937cd6174f544a1b47PTO-AVS-BLOCK-TMOV-FORMS-001tests/asl/block/execution/BSTART.TMOV/block-decode-bstart-tmov-forms-001.asl53a60bc80d5296aac06228e16bc4aa47ac0d150f36cda62c62187e757da5ae5ePTO-AVS-BLOCK-TMOV-PUBLISH-001tests/asl/block/execution/BSTART.TMOV/block-state-bstart-tmov-publish-001.asl80aeabaec3a19d28b538f6f2c93cc57e3b69107d39a166ae5f35a4c6863beb1cPTO-AVS-BLOCK-TMOV-ZERO-001tests/asl/block/execution/BSTART.TMOV/block-bound-bstart-tmov-zero-001.asl4cb42e4dc244ceb828adadcd3f161f5465bbc49f1493f654dd59dd7116429dccPTO-EVIDENCE-RELEASE-TRACEABILITYPTO-EVIDENCE-RELEASE-TRACEABILITYspec/evidence/release-traceability-readiness.jsonc7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3ePTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREspec/evidence/instruction-contract-closure.json3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aPTO-EVIDENCE-ARCHITECTURE-READINESSPTO-EVIDENCE-ARCHITECTURE-READINESSspec/evidence/architecture-readiness.json4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004PTO-EVIDENCE-RELEASE-GATE-READINESSPTO-EVIDENCE-RELEASE-GATE-READINESSspec/evidence/release-gate-readiness.jsona0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0PTO-EVIDENCE-RELEASE-MANIFESTPTO-EVIDENCE-RELEASE-MANIFESTspec/release-manifest.json1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Loading ADR-0032…
ADR-0032docs/status/decisions/0032-bundle-command-totality-and-profile-boundaries.mde1f91826817343c0977a565a91e495a15397b83fa2af227124f225821ffa54aeLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading ADR-0054…
ADR-0054docs/status/decisions/0054-pe-local-tile-size-and-32-bit-shared-io-binding.mde16961d1aab87f5046fe49656394168a5c0dd86e85387cd362f24902dd8772acLoading ADR-0055…
ADR-0055docs/status/decisions/0055-complete-bundle-bior-schema-and-defaults.mdd84224ee1980cb16a6c4efb6ce3c5c2649d5db27002e7e6429850da189a2cdffLoading ADR-0059…
ADR-0059docs/status/decisions/0059-mnemonic-field-encoding-closure.mdf18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196Loading ADR-0078…
ADR-0078docs/status/decisions/0078-tlsu-and-global-memory-operations.md467537ae8ea30d9a555acee815808394bf800808267a4e58f2e2bbd14c1ee981Loading ADR-0107…
ADR-0107docs/status/decisions/0107-remove-legacy-shared-movement.md6aeca3a79c6636fef2f4240ca939e5c7d4dac55207788217bf0e5545b4ef630dLoading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"execution"
],
"documentation": "docs/block/execution/BSTART.TMOV.md",
"id": "PTO-BLOCK-BSTART-TMOV",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "BSTART.TMOV",
"ndf_clause": "PTO-INST-BLOCK-BSTART-TMOV"
},
"mnemonic": "BSTART.TMOV",
"readiness_subjects": [
"ADR-0032",
"ADR-0052",
"ADR-0054",
"ADR-0055",
"ADR-0059",
"ADR-0078",
"ADR-0107",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-BLOCK-TMOV-PUBLISH-001",
"PTO-AVS-BLOCK-TMOV-ZERO-001"
],
"source": "asl/block/execution/BSTART.TMOV.asl",
"surface": "block",
"tests": [
"PTO-AVS-BLOCK-BSTART-TMOV-DECODE-001",
"PTO-AVS-BLOCK-TMOV-EXTRACT-001",
"PTO-AVS-BLOCK-TMOV-FORMS-001",
"PTO-AVS-BLOCK-TMOV-PUBLISH-001",
"PTO-AVS-BLOCK-TMOV-ZERO-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812733fade4ff6a4e49e5d3d82aa50fd6890278c14069beab48ba9bf3bd093f5acc9052d6b330853ac2a3658892b3245e0ccf09ea34020f3c6ace4976f6f63797aaasl/block/execution/BSTART.TMOV.aslasl/block/execution/BSTART.TMOV.aslasl/block/execution/BSTART.TMOV.aslasl/block/execution/BSTART.TMOV.asl