Copy the source Tile payload and definedness into the destination.
PTO-TILE-TMOVTMOV <LB0, LB1, LB2, DataType> SrcTile0 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0 | dimension | B.DIM LB0 |
| Parameter | LB1 | dimension | B.DIM LB1 (optional) |
| Parameter | LB2 | dimension | B.DIM LB2 (optional) |
| Parameter | DataType | data type | BSTART.TLSU TMOV, DataType |
| Input | SrcTile0 | source | contract.operands[1].source0 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.TLSU TMOV, DataType
BSTART.TLSU TMOV, DataTypeRequiredB.DIM LB0RequiredRepeatableB.DIM LB1 (optional)OptionalRepeatableB.DIM LB2 (optional)OptionalRepeatableB.IOTRequiredBSTOPRequiredBSTART.TLSU TMOV, DataTypeB.DIM LB0B.IOTBSTOPBSTART.TLSU TMOV, DataType; B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
destination0 | — | — | destination | — |
source0 | — | — | source | — |
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
destination0source0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TMOV() => TileOperationbegin return TileOperation_TMOV;end;readonly func InstructionContractHandler_TMOV() => TileSemanticHandlerbegin return TileHandler_TMOV;end;
readonly func InstructionContractOperandsLegal_TMOV( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_TMOV(destination, source);end;
func InstructionContractExecute_TMOV( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TMOV(destination, source); TMOV(destination, source);end;// PTO-INSTRUCTION: {"assembly":["TMOV <bundle operands>"],"block":["BSTART.TLSU TMOV, DataType","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","BSTOP"],"catalog_indices":[83],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"}],"command_mnemonic":"BSTART.TMOV","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TMOV","family":"TLSU","fault_contract":"ExecuteTileInstruction","function":2,"legality_handler":"TileOperandsLegal_TMOV","name":"TMOV","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","semantic_handler":"TMOV","state_effects":["operand:destination0:destination","operand:source0:source"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.TLSU TMOV, DataType","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","BSTOP"],"canonical_assembly":["TMOV <bundle operands>"],"defaults":["At BSTART the bundle descriptor begins with zero-valued B.DATR and B.DIM state; omitted optional commands retain those reset values, and an encoded zero is a value rather than absence.","The TileOperandsLegal_TMOV schema determines which B.IOR, B.IOT, B.IOS, B.DATR, and B.DIM bindings are required or optional for TMOV."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.TLSU TMOV, DataType; B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; BSTOP"],"exceptions":["ExecuteTileInstruction supplies the operation fault contract; illegal bundles and reserved selector combinations reject before architectural effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{},"legality":["TMOV is selected only by its BSTART carrier and selector/function assignment; it has no standalone opcode.","Before effects, TileOperandsLegal_TMOV validates the complete assembled bundle, operand roles, dimensions, data attributes, and applicability.","B.DATR applicability is exactly [{\"allowed_nonzero_fields\":[\"Layout\"],\"pad_union\":\"must-zero\"}]."],"memory_effects":["Perform only the global, Local, or Shared data movement named by the mnemonic after complete access, shape, stride, and descriptor validation; a fault produces no partial destination or memory effect."],"operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source"}],"ordering":["none"],"standalone_opcode":false,"state_effects":["Copy the source Tile payload and definedness into the destination.","After complete preflight, execute TMOV with the operand bindings listed above; destination definedness changes only as specified by that handler."]},"depends_on":["PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT","PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA"],"engine":"TLSU","id":"PTO-TILE-TMOV","mnemonic":"TMOV","summary":"Copy the source Tile payload and definedness into the destination.","surface":"tile"}// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}// NDF-BEGIN: PTO-TMOV-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// Local TMOV MUST copy payload and per-element definedness from one persistent// Local source to one renamed Local destination after exact shape/type preflight.// Shared INSERT, PUBLISH, BROADCAST, and EXTRACT modes MUST use the distinct// BSTART.TMOV schemas and MUST preserve the accepted publication rules.// NDF-END: PTO-TMOV-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TMOV() => TileOperationbegin return TileOperation_TMOV;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TMOV() => TileSemanticHandlerbegin return TileHandler_TMOV;end;
readonly func InstructionContractOperandsLegal_TMOV( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_TMOV(destination, source);end;
func InstructionContractExecute_TMOV( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TMOV(destination, source); TMOV(destination, source);end;// DOC-END: operation
TMOV copies source payload and definedness into the destination.
The ASL DOC contract selects TileHandler_TMOV through the instruction's selector-encoded block carrier.
Dimensions, descriptors, layouts, DataTypes, source definedness, consumed encodings, destination capacity, masks, and operation-specific indices or offsets are checked before any source snapshot.
destination0 is the destination; source0 is the source.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Sources are snapshotted before construction, so allowed aliases observe complete pre-operation payload and definedness.
The complete destination payload, definedness, padding policy, and descriptor publish together; rejection publishes no partial destination.
Malformed bindings, unsupported types or layouts, invalid shapes, undefined consumed elements, illegal attributes, or insufficient destination capacity are rejected before source snapshots or publication.
Allocation failure raises the owner-defined Tile allocation fault; other rejected schema or value conditions raise the owner-defined legality, bundle-control, or memory fault without partial effects.
This is a illustrative contract schema sketch; it organizes fields and bindings but is not claimed to be directly assembleable.
Read BSTART.TLSU TMOV, DataType; B.DIM LB0; B.DIM (LB1/LB2 for 2D); B.IOT; BSTOP as a illustrative binding walkthrough, then use the generated contract below for exact dimensions, attributes, and fault behavior.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
Local TMOV MUST copy payload and per-element definedness from one persistent Local source to one renamed Local destination after exact shape/type preflight. Shared INSERT, PUBLISH, BROADCAST, and EXTRACT modes MUST use the distinct BSTART.TMOV schemas and MUST preserve the accepted publication rules.
PTO-TMOV-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TMOV.asld7e55b0adf7a3ec7fdeb74b2902c222038056fddf641eb7bcc677f90e7ba8e0e1023d0c7bed478191b0b288d89160a2c1ef4a11d0722160b34b4a007b914615616 matching entries
PTO-AVS-TILE-TMOV-DEFINED-001tests/asl/tile/layout-and-rearrangement/layout/TMOV/tile-exec-tmov-defined-001.asla90d4c20660b02903054d8046c5bc8390063b768c51e7984961209ebf1eb7ab6PTO-AVS-TILE-TMOV-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TMOV/tile-static-tmov-contract-001.asl7c036f2b85bfafbd92357f2a14a6ae109ad16988ffa0b0e6e17c3069ab667ce5PTO-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-0020…
ADR-0020docs/status/decisions/0020-production-memory-events-and-atomic-corners.md215b18f05d0b53120949373fce6a5ce22f7ab534fb22df24743a9b2b4beb2decLoading ADR-0033…
ADR-0033docs/status/decisions/0033-tlsu-four-bit-memory-packing.md6fd4f3016f503498cf6a1068907f48998e39f3c29b034d7ddfc486cd6494104bLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading ADR-0056…
ADR-0056docs/status/decisions/0056-pto-encoding-ownership-and-gm-access.md846120c256746358eb7b2bd649687e7dddd7e116495b0447afb04be370676d29Loading ADR-0057…
ADR-0057docs/status/decisions/0057-tile-classification-and-engine-aliases.mdb812b5d70b7e6749b2772d5b4b23ed790aa62c915452392b4552a5ac056cad78Loading ADR-0059…
ADR-0059docs/status/decisions/0059-mnemonic-field-encoding-closure.mdf18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196Loading ADR-0080…
ADR-0080docs/status/decisions/0080-tile-elementwise-and-irregular-operations.md3f6aed3e2ac792a75e46787be99eb8c1d5ce204b098f531aa9fcb80b87448d72Loading 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": [
"layout-and-rearrangement",
"layout"
],
"documentation": "docs/tile/layout-and-rearrangement/layout/TMOV.md",
"id": "PTO-TILE-TMOV",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TMOV",
"ndf_clause": "PTO-INST-TILE-TMOV"
},
"mnemonic": "TMOV",
"readiness_subjects": [
"ADR-0020",
"ADR-0033",
"ADR-0052",
"ADR-0056",
"ADR-0057",
"ADR-0059",
"ADR-0080",
"ADR-0107",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TMOV-DEFINED-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TMOV.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TMOV-DEFINED-001",
"PTO-AVS-TILE-TMOV-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812d7e55b0adf7a3ec7fdeb74b2902c222038056fddf641eb7bcc677f90e7ba8e0e98ffeae61958fb84278fbe188f70c1ffda84cfbf83da6db025ed081d4d1ec120asl/tile/layout-and-rearrangement/layout/TMOV.aslasl/tile/layout-and-rearrangement/layout/TMOV.aslasl/tile/layout-and-rearrangement/layout/TMOV.asl