Copies peer-resolved Local fragments within a Core4 collective.
PTO-TILE-GMOVGMOV <DataType, Layout> SrcTile0, Scalar0 -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | DataType | data type | BSTART.GMOV DataType |
| 参数 | Layout | layout | B.DATR Layout (optional) |
| 输入 | SrcTile0 | Core4 peer-resolved read-old Local source snapshot | contract.operands[1].source0 |
| 输入 | Scalar0 | each PE's absolute peer_tid | contract.operands[2].scalar0 |
| 输出 | DstTile | selected Local destination fragments | contract.operands[0].destination0 |
BSTART.GMOV DataType
BSTART.GMOV DataType必选B.DATR Layout (optional)可选B.IOT source, destination, PE_MASK, TSize, L=1必选B.IOR peer_tid (optional)可选BSTOP必选BSTART.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| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
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
destination0source0scalar0下面是该指令所有者中的 Operation；页面没有重写这段行为。
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 是一条由 TLSU 执行、通过选择器编码的 Tile 操作。它为每个 PE 解析一个由对等标识选择的旧 Local 片段，并逐字节复制到被选中的新 Local 片段；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数为每个 PE 解析一个由对等标识选择的旧 Local 片段，并逐字节复制到被选中的新 Local 片段。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“被选中的 Local 目标片段”。source0 的精确契约角色是“Core4 对等解析的旧 Local 源快照”。scalar0 的精确契约角色是“每个 PE 的绝对 peer_tid”。PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
本页不暗示当前处理函数契约之外的填充行为。
该协同操作只改变被选中的 Local 目标片段；Shared 与 GM 状态保持不变。
精确的可接受类型或类型组合由下方生成的合法性章节拥有；本指南不会扩大该集合。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 GMOV 示例说明：若 PE 1 解析得到 peer_tid=0，则被选中的目标片段接收 PE 0 的源字节及相同已定义性。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
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 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd8681243c13e3f66674bca7c9e59e211cfe03c1419f5e3883851203a4cbf8404e1b57e8aaddfd0cd528e6cedae2509d91ee915873ec81931e9bd396a6a3e15d334e3a7asl/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