Copies peer-resolved Local fragments within a Core4 collective.
PTO-TILE-GMOVGMOV <DataType, Layout> SrcTile0, Scalar0 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | DataType | data type | BSTART.GMOV DataType |
| Parameter | Layout | layout | B.DATR Layout (optional) |
| Input | SrcTile0 | Core4 peer-resolved read-old Local source snapshot | contract.operands[1].source0 |
| Input | Scalar0 | each PE's absolute peer_tid | contract.operands[2].scalar0 |
| Output | DstTile | selected Local destination fragments | contract.operands[0].destination0 |
BSTART.GMOV DataType
BSTART.GMOV DataTypeRequiredB.DATR Layout (optional)OptionalB.IOT source, destination, PE_MASK, TSize, L=1RequiredB.IOR peer_tid (optional)OptionalBSTOPRequiredBSTART.GMOV DataTypeB.IOT source, destination, PE_MASK, TSize, L=1BSTOPBSTART.GMOV U8; B.IOT T#1, mask=0101, size=1, ->T; B.IOR zero, a0; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
destination0 | — | — | selected Local destination fragments | — |
source0 | — | — | Core4 peer-resolved read-old Local source snapshot | — |
scalar0 | — | — | each PE's absolute peer_tid | Zero selects peer PE 0. |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Constant | 26:0 | 27'b000110100010001000110000001 |
{
"reg": [
{
"bits": 27,
"name": "27'b000110100010001000110000001"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.GMOV DataType
destination0source0scalar0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_GMOV() => TileOperationbegin return TileOperation_GMOV;end;pure func InstructionContractDataTypeLegal_GMOV( data_type: TileDataType) => booleanbegin return TileCarrierOrPackedBaselineDataTypeSupported(data_type);end;
readonly func InstructionContractHandler_GMOV() => TileSemanticHandlerbegin return TileHandler_GMOV;end;
pure func InstructionContractRequiresCoreFourReadiness_GMOV() => booleanbegin return TRUE;end;
pure func InstructionContractPartialMaskWritesSelectedPEs_GMOV() => booleanbegin return TRUE;end;// PTO-INSTRUCTION: {"assembly":["GMOV <bundle operands>"],"block":["BSTART.GMOV DataType","B.DATR Layout (optional)","B.IOT source, destination, PE_MASK, TSize, L=1","B.IOR peer_tid (optional)","BSTOP"],"catalog_indices":[90],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"scalar0"}],"command_mnemonic":"BSTART.GMOV","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"GMOV","family":"TLSU","fault_contract":"ExecuteTileInstruction","function":13,"legality_handler":"TileOperandsLegal_GMOV","name":"GMOV","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"resolved-peer-source"},{"field":"scalar0","role":"peer-tid"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","semantic_handler":"GMOV","state_effects":["operand:destination0:destination","operand:source0:resolved-peer-source","operand:scalar0:peer-tid"]}],"classification":["memory-and-data-movement","pe-movement"],"contract":{"block_composition":["BSTART.GMOV DataType","B.DATR Layout (optional)","B.IOT source, destination, PE_MASK, TSize, L=1","B.IOR peer_tid (optional)","BSTOP"],"canonical_assembly":["GMOV <bundle operands>"],"defaults":["Omitted B.DATR selects NORM.","Omitted B.IOR supplies peer_tid zero in each PE; an explicit zero selector reads the zero GPR and is not absence."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.GMOV U8; B.IOT T#1, mask=0101, size=1, ->T; B.IOR zero, a0; BSTOP"],"exceptions":["Reject incompatible source/destination capacity, shape, type, layout, location, incomplete Core4 source readiness, peer_tid outside 0..3 in any PE, nonterminating or surplus bindings, B.DIM, or B.IOS before effects.","A failed collective preflight allocates and writes no destination."],"field_contracts":{},"field_zero_meanings":{"scalar0":"Zero selects peer PE 0."},"legality":["GMOV is TLSU Function 13 and has no standalone opcode.","Exactly one terminating Local source-plus-destination B.IOT is required. Its destination TSize equals the source per-PE capacity.","Any nonzero PE_MASK is legal; it selects destination writes but not rendezvous or source readiness. Mask zero is a strict no-op.","All four peer-resolved source fragments are ready before any selected request; each private peer_tid is 0..3 and may repeat."],"memory_effects":["none; GMOV neither accesses global memory nor emits load, store, atomic, or fence events"],"operands":[{"field":"destination0","role":"selected Local destination fragments"},{"field":"source0","role":"Core4 peer-resolved read-old Local source snapshot"},{"field":"scalar0","role":"each PE's absolute peer_tid"}],"ordering":["Combined Core4 rendezvous, descriptor, readiness, and peer validation precedes destination allocation and payload publication.","The source payload and definedness are snapshotted before any destination write."],"standalone_opcode":false,"state_effects":["Copies the byte-preserving resolved source fragment into each selected PE's newly allocated Local destination and copies definedness.","Unselected destinations and all Shared/GM state remain unchanged."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"TLSU","id":"PTO-TILE-GMOV","mnemonic":"GMOV","summary":"Copies peer-resolved Local fragments within a Core4 collective.","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-GMOV-CORE4-PEER-001// ndf: kind=contract level=L1 layer=tile status=accepted// GMOV MUST complete Core4 source readiness before effects. Each selected PE// reads the Local fragment chosen by its private peer_tid and writes only its// same-index Local destination; partial PE masks are legal and mask zero is a// strict no-op. GMOV MUST NOT access Shared tile state.// NDF-END: PTO-GMOV-CORE4-PEER-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_GMOV() => TileOperationbegin return TileOperation_GMOV;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_GMOV( data_type: TileDataType) => booleanbegin return TileCarrierOrPackedBaselineDataTypeSupported(data_type);end;
readonly func InstructionContractHandler_GMOV() => TileSemanticHandlerbegin return TileHandler_GMOV;end;
pure func InstructionContractRequiresCoreFourReadiness_GMOV() => booleanbegin return TRUE;end;
pure func InstructionContractPartialMaskWritesSelectedPEs_GMOV() => booleanbegin return TRUE;end;// DOC-END: operation
GMOV is a selector-encoded Tile operation executed by TLSU. It resolves one peer-selected read-old Local fragment for each PE and byte-copies it into the selected new Local fragments; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler resolves one peer-selected read-old Local fragment for each PE and byte-copies it into the selected new Local fragments. Source payloads are snapshotted before destination writes whenever the contract permits aliasing.
The handler uses the resolved valid region rather than treating physical padding as input data. Its operation-specific dtype, layout, rounding, saturation, and profile hooks remain the executable definition.
destination0 has the exact contract role selected Local destination fragments.source0 has the exact contract role Core4 peer-resolved read-old Local source snapshot.scalar0 has the exact contract role each PE's absolute peer_tid.PE_MASK=0000 is a strict no-op before descriptor, allocation, payload, numeric-status, or memory effects.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
No padding behavior beyond the current handler contract is implied.
The collective changes selected Local destination fragments only; Shared and GM state remain unchanged.
The exact accepted type or type-pair set is owned by the generated legality section below; this guide does not widen it.
The generated legality and exception sections below are authoritative for dtype pairs, layout, dimensions, capacity, definedness, padding controls, profile behavior, and fault class. Legality and allocation failures occur before partial architectural effects.
This example illustrates the current ASL owner and does not replace the normative operation.
For a small GMOV example, if PE 1 resolves peer_tid=0, the selected destination fragment receives PE 0 source bytes and the same definedness.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
GMOV MUST complete Core4 source readiness before effects. Each selected PE reads the Local fragment chosen by its private peer_tid and writes only its same-index Local destination; partial PE masks are legal and mask zero is a strict no-op. GMOV MUST NOT access Shared tile state.
PTO-GMOV-CORE4-PEER-001asl/tile/memory-and-data-movement/pe-movement/GMOV.asl43c13e3f66674bca7c9e59e211cfe03c1419f5e3883851203a4cbf8404e1b57e8e4616881c747419dfd85a030fdcb14f7d1b8110d800530abba11965bbfcb30c17 matching entries
PTO-AVS-BLOCK-GMOV-COLLECTIVE-001tests/asl/block/execution/BSTART.GMOV/block-exec-bstart-gmov-collective-001.asl4567922075b891155f34e490570c21012b9ecb369a2cbef4dd09696777f4049dPTO-AVS-BLOCK-GMOV-READINESS-001tests/asl/block/execution/BSTART.GMOV/block-fault-bstart-gmov-readiness-001.asl4dc456acbec414c9a7f6d9af9711a9bec135abb5bfa1f279de2df307d6724c64PTO-AVS-TILE-GMOV-COPY-001tests/asl/tile/memory-and-data-movement/pe-movement/GMOV/tile-exec-gmov-copy-001.aslb8127ce000396df0a9f32c1a8a1c31a172625f4d359fd0254e24aa3bdfa87e1ePTO-AVS-TILE-GMOV-STATIC-001tests/asl/tile/memory-and-data-movement/pe-movement/GMOV/tile-static-gmov-contract-001.asl1306fabceb4a4ebf0c894dd9aa9623df2ba3d382c4893eee803d04425679cb43PTO-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-0078…
ADR-0078docs/status/decisions/0078-tlsu-and-global-memory-operations.md467537ae8ea30d9a555acee815808394bf800808267a4e58f2e2bbd14c1ee981Loading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"memory-and-data-movement",
"pe-movement"
],
"documentation": "docs/tile/memory-and-data-movement/pe-movement/GMOV.md",
"id": "PTO-TILE-GMOV",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "GMOV",
"ndf_clause": "PTO-INST-TILE-GMOV"
},
"mnemonic": "GMOV",
"readiness_subjects": [
"ADR-0020",
"ADR-0033",
"ADR-0052",
"ADR-0056",
"ADR-0057",
"ADR-0059",
"ADR-0078",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-GMOV-COPY-001"
],
"source": "asl/tile/memory-and-data-movement/pe-movement/GMOV.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-GMOV-COPY-001",
"PTO-AVS-TILE-GMOV-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681243c13e3f66674bca7c9e59e211cfe03c1419f5e3883851203a4cbf8404e1b57e969644ffa707fb06cdcc335dab06fca5cf2a22c8286b2d9e637434ab6d68d0d4asl/tile/memory-and-data-movement/pe-movement/GMOV.aslasl/tile/memory-and-data-movement/pe-movement/GMOV.aslasl/tile/memory-and-data-movement/pe-movement/GMOV.asl