Scatter the valid source region to GM at signed or unsigned byte displacements.
PTO-TILE-MSCATTERMSCATTER <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, Layout> Address, SrcTile0, SrcTile1| 分组 | 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.MSCATTER DataType |
| 参数 | Layout | layout | B.DATR Layout (optional) |
| 输入 | Address | base-address | contract.operands[0].address |
| 输入 | SrcTile0 | source data | contract.operands[1].source0 |
| 输入 | SrcTile1 | byte-displacement indices | contract.operands[2].source1 |
BSTART.MSCATTER DataType
BSTART.MSCATTER DataType必选B.DATR Layout (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT DataTile, IndexTile, mask=PE_MASK, <last>必选B.IOR BaseGPR, zero, zero, ->zero必选BSTOP必选BSTART.MSCATTER DataTypeB.DIM LB0=ValidColB.IOT DataTile, IndexTile, mask=PE_MASK, <last>B.IOR BaseGPR, zero, zero, ->zeroBSTOPBSTART.MSCATTER DataType; B.DATR Layout (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT DataTile, IndexTile, mask=PE_MASK, <last>; B.IOR BaseGPR, zero, zero, ->zero; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
address | — | — | base-address | — |
source0 | — | — | source data | — |
source1 | — | — | byte-displacement 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'b000010100010001000110000001 |
{
"reg": [
{
"bits": 27,
"name": "27'b000010100010001000110000001"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.MSCATTER DataType
addresssource0source1下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_MSCATTER() => TileOperationbegin return TileOperation_MSCATTER;end;readonly func InstructionContractHandler_MSCATTER() => TileSemanticHandlerbegin return TileHandler_MSCATTER;end;
pure func InstructionContractUsesByteDisplacements_MSCATTER() => booleanbegin return TRUE;end;
pure func InstructionContractUsesMaskTile_MSCATTER() => booleanbegin return FALSE;end;
pure func InstructionContractIsAtomicMemoryOperation_MSCATTER() => booleanbegin return FALSE;end;
pure func InstructionContractWritesMemory_MSCATTER() => booleanbegin return TRUE;end;// PTO-INSTRUCTION: {"assembly":["MSCATTER <bundle operands>"],"block":["BSTART.MSCATTER DataType","B.DATR Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT DataTile, IndexTile, mask=PE_MASK, <last>","B.IOR BaseGPR, zero, zero, ->zero","BSTOP"],"catalog_indices":[86],"catalog_records":[{"arguments":[{"operand":"address"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.MSCATTER","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"MSCATTER","family":"TLSU","fault_contract":"ExecuteTileInstruction","function":5,"legality_handler":"TileOperandsLegal_MSCATTER","name":"MSCATTER","operands":[{"field":"address","role":"base-address"},{"field":"source0","role":"source"},{"field":"source1","role":"byte-displacement-indices"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","semantic_handler":"MSCATTER","state_effects":["operand:address:base-address","operand:source0:source","operand:source1:byte-displacement-indices"]}],"classification":["memory-and-data-movement","irregular"],"contract":{"block_composition":["BSTART.MSCATTER DataType","B.DATR Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT DataTile, IndexTile, mask=PE_MASK, <last>","B.IOR BaseGPR, zero, zero, ->zero","BSTOP"],"canonical_assembly":["MSCATTER <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 Layout=NORM. PadValueOrByteId and every other B.DATR field must remain zero.","Each IndexTile logical element is a signed or unsigned byte displacement added directly to BaseGPR."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.MSCATTER DataType; B.DATR Layout (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT DataTile, IndexTile, mask=PE_MASK, <last>; B.IOR BaseGPR, zero, zero, ->zero; BSTOP"],"exceptions":["A missing B.IOR, missing LB0, malformed B.IOT, undefined source, source DataType mismatch, non-integer IndexTile, shape or layout mismatch, invalid dimensions, or packed four-bit transfer DataType raises Fault_TileLegality before memory events or writes.","Every valid-region address is generated and probed before the first store or event; any access fault produces no partial memory or event effect.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{},"legality":["MSCATTER is selected only by BSTART.MSCATTER function 5 in the TLSU selector space; it has no standalone opcode.","Exactly one terminating Local B.IOT supplies DataTile and IndexTile with no destination or TSize. B.IOS and additional Tile bindings are not accepted.","DataTile and IndexTile must be allocated and fully defined. DataTile DataType must equal the BSTART transfer DataType. IndexTile must use S32, U32, S64, or U64.","DataTile physical Col equals resolved LB2. Both sources have resolved ValidRow x ValidCol and selected Layout; IndexTile may use a different physical shape outside that valid rectangle.","Packed four-bit transfer DataTypes E2M1X2, E1M2X2, HiF4X2, S4X2, and U4X2 are rejected because the block carries no nibble selector.","B.IOT PE_MASK=0000 is a strict no-op before schema, GPR, source, dimension, address, permission, event, or memory checks.","B.DATR applicability allows only Layout."],"memory_effects":["For every valid coordinate, store the corresponding DataTile element to BaseGPR plus the sign- or zero-extended byte displacement in the IndexTile coordinate.","Only ValidRow x ValidCol is written; source physical elements outside the valid rectangle have no memory effect.","All valid-lane addresses are preflighted before stores. Duplicate or overlapping target addresses have an implementation-defined final winner."],"operands":[{"field":"address","role":"base-address"},{"field":"source0","role":"source data"},{"field":"source1","role":"byte-displacement indices"}],"ordering":["No lane or inter-PE issue order is architecturally guaranteed.","B.CATR.atomic=1 makes the complete block memory effect non-interleavable but does not define an internal lane order or a duplicate-address winner."],"standalone_opcode":false,"state_effects":["Source Tile descriptors and payloads persist unchanged after success or rejection.","On success only memory and memory-event state change; MSCATTER allocates no destination Tile."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"TLSU","id":"PTO-TILE-MSCATTER","mnemonic":"MSCATTER","summary":"Scatter the valid source region to GM at signed or unsigned byte displacements.","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-MSCATTER-BYTE-DISPLACEMENT-001// ndf: kind=contract level=L1 layer=tile status=accepted// MSCATTER 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, preflight every valid lane before its first store, and leave// source descriptors unchanged. Packed transfer types MUST reject.// NDF-END: PTO-MSCATTER-BYTE-DISPLACEMENT-001// NDF-BEGIN: PTO-MSCATTER-DUPLICATE-ORDER-001// ndf: kind=contract level=L1 layer=tile status=accepted// Duplicate or overlapping target addresses MUST have an// implementation-defined winner. B.CATR.atomic MUST NOT impose an internal// lane order; it only makes the complete block effect non-interleavable.// NDF-END: PTO-MSCATTER-DUPLICATE-ORDER-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_MSCATTER() => TileOperationbegin return TileOperation_MSCATTER;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_MSCATTER() => TileSemanticHandlerbegin return TileHandler_MSCATTER;end;
pure func InstructionContractUsesByteDisplacements_MSCATTER() => booleanbegin return TRUE;end;
pure func InstructionContractUsesMaskTile_MSCATTER() => booleanbegin return FALSE;end;
pure func InstructionContractIsAtomicMemoryOperation_MSCATTER() => booleanbegin return FALSE;end;
pure func InstructionContractWritesMemory_MSCATTER() => booleanbegin return TRUE;end;// DOC-END: operation
MSCATTER 是一条由 TLSU 执行、通过选择器编码的 Tile 操作。它把每个整数索引解释为 GM 字节位移，并存储相应的有效源元素；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数把每个整数索引解释为 GM 字节位移，并存储相应的有效源元素。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
address 的精确契约角色是“基址”。source0 的精确契约角色是“源数据”。source1 的精确契约角色是“字节位移索引”。操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有源、谓词、地址与权限完成完整预检后，GM 写入和内存事件才开始；该操作没有 Tile 目标。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
操作在首次存储或内存事件前预检每个启用的 GM 地址，并且不分配目标 Tile。
索引 Tile 使用 S32、U32、S64 或 U64。紧凑四位传输类型 E2M1X2、E1M2X2、HiF4X2、S4X2 与 U4X2 会被拒绝，因为该索引传输没有半字节选择器。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 MSCATTER 示例说明：索引 4 与源值 7 在完整预检后把 7 存到 base + 4。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
MSCATTER 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, preflight every valid lane before its first store, and leave source descriptors unchanged. Packed transfer types MUST reject.
PTO-MSCATTER-BYTE-DISPLACEMENT-001asl/tile/memory-and-data-movement/irregular/MSCATTER.aslba2677c93c08c2ac8fe2d5a802a5ecfab65bee61586db88cf36780725d2ef3eeeca4d6eb65f51e5d212279e2fbe87fa6610233362f04964a719692175fb63cd0Duplicate or overlapping target addresses MUST have an implementation-defined winner. B.CATR.atomic MUST NOT impose an internal lane order; it only makes the complete block effect non-interleavable.
PTO-MSCATTER-DUPLICATE-ORDER-001asl/tile/memory-and-data-movement/irregular/MSCATTER.aslba2677c93c08c2ac8fe2d5a802a5ecfab65bee61586db88cf36780725d2ef3eef3e58c7c1978bebc689a9f97c0f3f481c9c25d808f5070a3c26aced7a5563fa322 matching entries
PTO-AVS-BLOCK-MSCATTER-DUP-001tests/asl/block/execution/BSTART.MSCATTER/block-order-bstart-mscatter-duplicate-001.asl9b181a6bab8cb26f08bf2705d02157f90de66a40fbc98313d0947dd23c50b79cPTO-AVS-BLOCK-MSCATTER-FAULT-001tests/asl/block/execution/BSTART.MSCATTER/block-fault-bstart-mscatter-lane-preflight-001.asld09f3e011ba904d7dac0ab541e980fe6fdb00d6532ae0c863d6b1690e07e2b48PTO-AVS-BLOCK-MSCATTER-PACKED-001tests/asl/block/execution/BSTART.MSCATTER/block-bound-bstart-mscatter-packed-001.asld93619696ee4c5c5d2fef8abcdc24346b4a8078ae1b02c000f246aa00287c97bPTO-AVS-BLOCK-MSCATTER-SCATTER-001tests/asl/block/execution/BSTART.MSCATTER/block-exec-bstart-mscatter-scatter-001.asl47fedfbb8998b5b3f656a38278a86cea13714413e8dddd010755a2ede0b62f3fPTO-AVS-BLOCK-MSCATTER-SCHEMA-001tests/asl/block/execution/BSTART.MSCATTER/block-bound-bstart-mscatter-schema-001.asldf2122ff9775e12369da2a387bf8f7432b561eda7b16ba8de7e3e82ca118cca0PTO-AVS-BLOCK-MSCATTER-STAGE2-WIDTH-001tests/asl/block/execution/BSTART.MSCATTER/block-exec-bstart-mscatter-stage2-width-001.asl844bce8b2280cb2c2d6506733699be7ed3ec31246d512eb1d92b8f7953803490PTO-AVS-TILE-MSCATTER-BYTES-001tests/asl/tile/memory-and-data-movement/irregular/MSCATTER/tile-exec-mscatter-bytes-001.asl95f2960cfcb276632261b95c6e73a2e67057e84c6985e6f7b1e9b871b7d0d6a1PTO-AVS-TILE-MSCATTER-STATIC-001tests/asl/tile/memory-and-data-movement/irregular/MSCATTER/tile-static-mscatter-contract-001.asl9e672ecc49c34b76661f8a6751536fa0338fe8160fcde19de7d1eb6e1ac27932PTO-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-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/MSCATTER.md",
"id": "PTO-TILE-MSCATTER",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "MSCATTER",
"ndf_clause": "PTO-INST-TILE-MSCATTER"
},
"mnemonic": "MSCATTER",
"readiness_subjects": [
"ADR-0020",
"ADR-0033",
"ADR-0052",
"ADR-0053",
"ADR-0056",
"ADR-0057",
"ADR-0059",
"ADR-0078",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-MSCATTER-BYTES-001"
],
"source": "asl/tile/memory-and-data-movement/irregular/MSCATTER.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-MSCATTER-BYTES-001",
"PTO-AVS-TILE-MSCATTER-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812ba2677c93c08c2ac8fe2d5a802a5ecfab65bee61586db88cf36780725d2ef3ee5e19010bb8fa3d5d5026ad19ce2ad201ea61e8c1262276ad20b4fd9c0285d1d6asl/tile/memory-and-data-movement/irregular/MSCATTER.aslasl/tile/memory-and-data-movement/irregular/MSCATTER.aslasl/tile/memory-and-data-movement/irregular/MSCATTER.aslasl/tile/memory-and-data-movement/irregular/MSCATTER.asl