Gather GM elements at signed or unsigned byte displacements into a newly allocated Local Tile.
PTO-TILE-MGATHERMGATHER <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, Layout, PadValue> Address, SrcTile0 -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| 参数 | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| 参数 | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| 参数 | DataType | data type | BSTART.MGATHER DataType |
| 参数 | Layout | layout | B.DATR PadValue, Layout (optional) |
| 参数 | PadValue | padding value | B.DATR PadValue, Layout (optional) |
| 输入 | Address | base-address | contract.operands[1].address |
| 输入 | SrcTile0 | indices | contract.operands[2].source0 |
| 输出 | DstTile | destination | contract.operands[0].destination0 |
BSTART.MGATHER DataType
BSTART.MGATHER DataType必选B.DATR PadValue, Layout (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>必选B.IOR BaseGPR, zero, zero, ->zero必选BSTOP必选BSTART.MGATHER DataTypeB.DIM LB0=ValidColB.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>B.IOR BaseGPR, zero, zero, ->zeroBSTOPBSTART.MGATHER DataType; B.DATR PadValue, Layout (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR BaseGPR, zero, zero, ->zero; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
destination0 | — | — | destination | — |
address | — | — | base-address | — |
source0 | — | — | indices | — |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Constant | 26:0 | 27'b000010000010001000110000001 |
{
"reg": [
{
"bits": 27,
"name": "27'b000010000010001000110000001"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.MGATHER DataType
destination0addresssource0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_MGATHER() => TileOperationbegin return TileOperation_MGATHER;end;readonly func InstructionContractHandler_MGATHER() => TileSemanticHandlerbegin return TileHandler_MGATHER;end;
pure func InstructionContractUsesByteDisplacements_MGATHER() => booleanbegin return TRUE;end;
pure func InstructionContractUsesMaskTile_MGATHER() => booleanbegin return FALSE;end;
pure func InstructionContractIsAtomicMemoryOperation_MGATHER() => booleanbegin return FALSE;end;
pure func InstructionContractWritesMemory_MGATHER() => booleanbegin return FALSE;end;// PTO-INSTRUCTION: {"assembly":["MGATHER <bundle operands>"],"block":["BSTART.MGATHER DataType","B.DATR PadValue, Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR BaseGPR, zero, zero, ->zero","BSTOP"],"catalog_indices":[85],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"address"},{"operand":"source0"},{"runtime":"CurrentBundlePadValue"}],"command_mnemonic":"BSTART.MGATHER","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId","Layout"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"MGATHER","family":"TLSU","fault_contract":"ExecuteTileInstruction","function":4,"legality_handler":"TileOperandsLegal_MGATHER","name":"MGATHER","operands":[{"field":"destination0","role":"destination"},{"field":"address","role":"base-address"},{"field":"source0","role":"indices"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","semantic_handler":"MGATHER","state_effects":["operand:destination0:destination","operand:address:base-address","operand:source0:byte-displacement-indices","runtime:CurrentBundlePadValue:physical-padding"]}],"classification":["memory-and-data-movement","irregular"],"contract":{"block_composition":["BSTART.MGATHER DataType","B.DATR PadValue, Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR BaseGPR, zero, zero, ->zero","BSTOP"],"canonical_assembly":["MGATHER <bundle operands>"],"defaults":["B.IOR is required. RegSrc0 names the PE-private absolute GPR containing the byte-address base; zero selects architectural base address zero. Unused B.IOR fields must encode zero.","LB0 is required and supplies ValidCol. Omitted LB1 defaults ValidRow to one. Omitted LB2 defaults physical Col to ValidCol. Explicit zero is illegal for every present dimension.","Omitted B.DATR selects PadValue=Null and Layout=NORM. An explicit encoded PadValue is used for every physical destination element outside ValidRow x ValidCol.","Each IndexTile logical element is a signed or unsigned byte displacement and is added directly to the base without transfer-data-type scaling."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.MGATHER DataType; B.DATR PadValue, Layout (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT IndexTile, mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR BaseGPR, zero, zero, ->zero; BSTOP"],"exceptions":["A missing B.IOR, missing LB0, malformed B.IOT, non-integer IndexTile, shape mismatch, non-power-of-two physical Col, or packed four-bit transfer DataType raises Fault_TileLegality before allocation, memory events, or destination effects.","Every valid-region address is probed before the first event or destination update; any access fault leaves the destination unallocated and produces no partial event or payload effect.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{},"legality":["MGATHER is selected only by BSTART.MGATHER function 4 in the TLSU selector space; it has no standalone opcode.","Exactly one Local B.IOT binding supplies IndexTile and one destination, uses L=1, and carries the common PE_MASK and destination TSize. B.IOS is not accepted.","IndexTile must be allocated, fully defined, generically indexable, and use S32, U32, S64, or U64. Its ValidRow x ValidCol must equal the resolved destination valid region.","The transfer DataType may be any accepted BSTART.MGATHER DataType except E2M1X2, E1M2X2, HiF4X2, S4X2, and U4X2, whose missing nibble selector makes them reserved for indexed TLSU transfer.","Destination physical Rows are derived from TSize, physical Col, and transfer DataType. Rows and Col are powers of two and the physical region must contain ValidRow x ValidCol.","B.IOT PE_MASK=0000 is a strict no-op before all schema, GPR, source, dimension, allocation, and memory checks.","B.DATR applicability allows only PadValueOrByteId as PadValue and Layout."],"memory_effects":["For every valid destination coordinate, load one transfer-typed element from BaseGPR plus the sign- or zero-extended byte displacement in the corresponding IndexTile coordinate.","Probe the complete valid region before recording memory events. After successful preflight, publish the loaded valid region and pad every remaining physical destination coordinate atomically."],"operands":[{"field":"destination0","role":"destination"},{"field":"address","role":"base-address"},{"field":"source0","role":"indices"}],"ordering":["Selected lanes contribute load events in destination row/column order using the block memory-order attributes; no cross-PE request order is guaranteed."],"standalone_opcode":false,"state_effects":["Allocate a new Local destination descriptor using B.IOT TSize, resolved dimensions, selected transfer DataType, selected Layout, and PE_MASK.","Initialize every physical destination coordinate from the selected PadValue carrier before enabled valid-lane writes.","On success overwrite enabled valid coordinates with loaded or observed values, mark the full physical destination defined, set contents_defined=TRUE, and publish atomically."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"TLSU","id":"PTO-TILE-MGATHER","mnemonic":"MGATHER","summary":"Gather GM elements at signed or unsigned byte displacements into a newly allocated Local Tile.","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-MGATHER-BYTE-DISPLACEMENT-001// ndf: kind=contract level=L1 layer=tile status=accepted// MGATHER MUST accept non-packed B8-NP, B16, B32, or B64 transfer data with// S32, U32, S64, or U64 IndexTile elements. It MUST interpret each index as a// full-width byte displacement, move raw carrier bits without numeric-validity// rejection, probe the complete valid region before effects, and define the// full physical destination using B.DATR padding outside the valid region.// Packed four-bit transfer DataTypes MUST reject before allocation.// NDF-END: PTO-MGATHER-BYTE-DISPLACEMENT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_MGATHER() => TileOperationbegin return TileOperation_MGATHER;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_MGATHER() => TileSemanticHandlerbegin return TileHandler_MGATHER;end;
pure func InstructionContractUsesByteDisplacements_MGATHER() => booleanbegin return TRUE;end;
pure func InstructionContractUsesMaskTile_MGATHER() => booleanbegin return FALSE;end;
pure func InstructionContractIsAtomicMemoryOperation_MGATHER() => booleanbegin return FALSE;end;
pure func InstructionContractWritesMemory_MGATHER() => booleanbegin return FALSE;end;// DOC-END: operation
MGATHER 是一条由 TLSU 执行、通过选择器编码的 Tile 操作。它把每个整数索引解释为有符号或无符号 GM 字节位移，并把相应元素汇聚到新的 Local Tile；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数把每个整数索引解释为有符号或无符号 GM 字节位移，并把相应元素汇聚到新的 Local Tile。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“目标”。address 的精确契约角色是“基址”。source0 的精确契约角色是“索引”。操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
完整地址预检后，所选 PadValue 载体先初始化每个物理目标坐标；随后汇聚到的有效值覆盖相应坐标。
成功时，完整物理目标被标记为已定义，并设置 contents_defined=TRUE；载荷、已定义性与描述符同时发布。
操作在首次读取、原子事件或目标更新前预检每个启用的 GM 地址；访问失败不会留下部分目标或事件。
索引 Tile 使用 S32、U32、S64 或 U64。紧凑四位传输类型 E2M1X2、E1M2X2、HiF4X2、S4X2 与 U4X2 会被拒绝，因为该索引传输没有半字节选择器。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 MGATHER 示例说明：当一个有效索引为 4 时，目标接收从 base + 4 读取的元素。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
MGATHER MUST accept non-packed B8-NP, B16, B32, or B64 transfer data with S32, U32, S64, or U64 IndexTile elements. It MUST interpret each index as a full-width byte displacement, move raw carrier bits without numeric-validity rejection, probe the complete valid region before effects, and define the full physical destination using B.DATR padding outside the valid region. Packed four-bit transfer DataTypes MUST reject before allocation.
PTO-MGATHER-BYTE-DISPLACEMENT-001asl/tile/memory-and-data-movement/irregular/MGATHER.asl23bb5acd9c309a151a75c30f9d80f6b02530a1d3b14abcabc46ce675c964779993b6dbddf9d1d4fd4321542f7665071c4b020a76f7b3c00aee6b0d130971400824 matching entries
PTO-AVS-BLOCK-MGATHER-FAULT-001tests/asl/block/execution/BSTART.MGATHER/block-fault-bstart-mgather-lane-preflight-001.asl5ba20933e5bc29bee8688408d03b68e137248fc8a25b9b2a627ef9a9a20d6e34PTO-AVS-BLOCK-MGATHER-GATHER-001tests/asl/block/execution/BSTART.MGATHER/block-exec-bstart-mgather-gather-001.asl6ceeda6491a582a76f428a85aaa16a35f596469f4b92a830a815a31c715c87bdPTO-AVS-BLOCK-MGATHER-S4-INDEX-002tests/asl/block/execution/BSTART.MGATHER/block-exec-bstart-mgather-s4-index-002.asl456fd89f843de6a6d2eb5aae6075af3a9cc6b5ed65a1eff17c3f3162ebd93226PTO-AVS-BLOCK-MGATHER-SCHEMA-001tests/asl/block/execution/BSTART.MGATHER/block-bound-bstart-mgather-schema-001.aslb314a4075ea72734b8b48e8485fecee53f36fa36f42cf6748cb412c3287b0f2aPTO-AVS-BLOCK-MGATHER-SIGNED-001tests/asl/block/execution/BSTART.MGATHER/block-bound-bstart-mgather-signed-001.asl4289829df97322f2205ea545ebf6fba3574ee2ecfa0b98b3860b352fafe15d34PTO-AVS-BLOCK-MGATHER-STAGE2-WIDTH-001tests/asl/block/execution/BSTART.MGATHER/block-exec-bstart-mgather-stage2-width-001.aslb402f8ca8ca42d2aee027b8a7e113181f5cd5d002864cad1613fe66e5964fbe8PTO-AVS-BLOCK-MGATHER-U4-INDEX-003tests/asl/block/execution/BSTART.MGATHER/block-exec-bstart-mgather-u4-index-003.asld57baf1f283c61cc12c3a471148235c0951286306b7bb6d09557481333e43f9aPTO-AVS-TILE-MGATHER-BYTES-001tests/asl/tile/memory-and-data-movement/irregular/MGATHER/tile-exec-mgather-bytes-001.asldf326f8c9af0183d0edb4a2e4ff3cd1d36d08902468c4e2b4a7d599f89bdadb7PTO-AVS-TILE-MGATHER-STATIC-001tests/asl/tile/memory-and-data-movement/irregular/MGATHER/tile-static-mgather-contract-001.asl33e2c4366ffcd3fa6764554132c795d94f137f3786c3e7561121c489ab09e58dPTO-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-0053…
ADR-0053docs/status/decisions/0053-pto-isa-0580-tile-operation-cleanup.md0957f3ccf0b6dee3a95e373d7acaa56724bd276f6852b0e2ad8bc5af05aaff5fLoading 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-0102…
ADR-0102docs/status/decisions/0102-0584-1-publication-contract-corrections.md480299ecf735572f5673aa43f9f2b521469d78be64454baf4fbaeb1cf57ad603Loading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"memory-and-data-movement",
"irregular"
],
"documentation": "docs/tile/memory-and-data-movement/irregular/MGATHER.md",
"id": "PTO-TILE-MGATHER",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "MGATHER",
"ndf_clause": "PTO-INST-TILE-MGATHER"
},
"mnemonic": "MGATHER",
"readiness_subjects": [
"ADR-0020",
"ADR-0033",
"ADR-0052",
"ADR-0053",
"ADR-0056",
"ADR-0057",
"ADR-0059",
"ADR-0078",
"ADR-0102",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-MGATHER-BYTES-001"
],
"source": "asl/tile/memory-and-data-movement/irregular/MGATHER.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-MGATHER-BYTES-001",
"PTO-AVS-TILE-MGATHER-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd8681223bb5acd9c309a151a75c30f9d80f6b02530a1d3b14abcabc46ce675c964779948d9ef142c94cb1d63d23cee58374095b9fe430d9427e0f46fd6117c09a91551asl/tile/memory-and-data-movement/irregular/MGATHER.aslasl/tile/memory-and-data-movement/irregular/MGATHER.aslasl/tile/memory-and-data-movement/irregular/MGATHER.asl