Extract and zero-extend a raw byte field from Local U32 CUBE words.
PTO-TILE-TUNPACKTUNPACK <LB0, LB1, LB2, Layout> SrcTile0, Scalar0 -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0 | dimension | B.DIM LB0 (optional) |
| 参数 | LB1 | dimension | B.DIM LB0/LB1/LB2 (optional) |
| 参数 | LB2 | dimension | B.DIM LB0/LB1/LB2 (optional) |
| 参数 | Layout | layout | B.DATR Layout (optional) |
| 输入 | SrcTile0 | source | contract.operands[1].source0 |
| 输入 | Scalar0 | unpack-control | contract.operands[2].scalar0 |
| 输出 | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TUNPACK, U32
BSTART.SFU TUNPACK, U32必选B.DATR Layout (optional)可选B.DIM LB0 (optional)可选B.IOT source, ->destination必选B.IOR unpack_control必选BSTOP必选BSTART.SFU TUNPACK, U32B.IOT source, ->destinationB.IOR unpack_controlBSTOPBSTART.SFU TUNPACK, U32; B.DATR Layout; B.DIM LB0; B.IOT source, ->destination; B.IOR a0; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | destination | — |
source0 | — | — | source | — |
scalar0 | — | — | unpack-control | — |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Mode | 26:25 | variable |
| Function | 24:20 | variable |
| Constant | 19:0 | 20'b00011001000110000001 |
{
"reg": [
{
"bits": 20,
"name": "20'b00011001000110000001"
},
{
"bits": 5,
"name": "Function"
},
{
"bits": 2,
"name": "Mode"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.TEPL Mode, Function, DataType
destination0source0scalar0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TUNPACK() => TileOperationbegin return TileOperation_TUNPACK;end;readonly func InstructionContractHandler_TUNPACK() => TileSemanticHandlerbegin return TileHandler_TUNPACK;end;
pure func InstructionContractDataTypeLegal_TUNPACK( data_type: TileDataType) => booleanbegin return data_type == TileDataType_U32;end;
readonly func InstructionContractOperandsLegal_TUNPACK( destination: TileIndex, source: TileIndex, control: Word) => booleanbegin return TileOperandsLegal_TUNPACK(destination, source, control);end;
func InstructionContractExecute_TUNPACK( destination: TileIndex, source: TileIndex, control: Word)begin assert InstructionContractOperandsLegal_TUNPACK(destination, source, control); TUNPACK(destination, source, control);end;// PTO-INSTRUCTION: {"assembly":["TUNPACK <bundle operands>"],"block":["BSTART.SFU TUNPACK, U32","B.DATR Layout (optional)","B.DIM LB0 (optional)","B.IOT source, ->destination","B.IOR unpack_control","BSTOP"],"catalog_indices":[106],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"scalar0"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TUNPACK","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":24,"legality_handler":"TileOperandsLegal_TUNPACK","mode":3,"name":"TUNPACK","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source"},{"field":"scalar0","role":"unpack-control"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x078","semantic_handler":"TUNPACK","state_effects":["operand:destination0:destination","operand:source0:source","operand:scalar0:unpack-control"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TUNPACK, U32","B.DATR Layout (optional)","B.DIM LB0/LB1/LB2 (optional)","B.IOT source, ->destination","B.IOR unpack_control","BSTOP"],"canonical_assembly":["TUNPACK <bundle operands>"],"defaults":["A nonzero PE mask requires exactly one B.IOR control input; RegSrc1, RegSrc2, and RegDst are zero."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TUNPACK, U32; B.DATR Layout; B.DIM LB0; B.IOT source, ->destination; B.IOR a0; BSTOP"],"exceptions":["Illegal offset/count fields reject with Fault_TileLegality before effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior."],"field_contracts":{},"field_zero_meanings":{},"legality":["TUNPACK accepts only Local U32 CUBE_M16 or CUBE_M32 sources and a fresh matching destination.","The control selects one contiguous byte field with offset 0..3 and count 1..4 within a U32 word.","The result is zero-extended raw extraction."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source"},{"field":"scalar0","role":"unpack-control"}],"ordering":["Control and source validation precede destination publication."],"standalone_opcode":false,"state_effects":["Extract and zero-extend one byte field in each active CUBE word group."]},"depends_on":["PTO-TILE-MODEL-EXECUTION-REARRANGEMENT","PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT"],"engine":"SFU","id":"PTO-TILE-TUNPACK","mnemonic":"TUNPACK","summary":"Extract and zero-extend a raw byte field from Local U32 CUBE words.","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-TUNPACK-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TUNPACK extracts one contiguous byte field from each U32 CUBE word and// zero-extends it to U32. Offset/count controls are checked before effects.// NDF-END: PTO-TUNPACK-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TUNPACK() => TileOperationbegin return TileOperation_TUNPACK;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TUNPACK() => TileSemanticHandlerbegin return TileHandler_TUNPACK;end;
pure func InstructionContractDataTypeLegal_TUNPACK( data_type: TileDataType) => booleanbegin return data_type == TileDataType_U32;end;
readonly func InstructionContractOperandsLegal_TUNPACK( destination: TileIndex, source: TileIndex, control: Word) => booleanbegin return TileOperandsLegal_TUNPACK(destination, source, control);end;
func InstructionContractExecute_TUNPACK( destination: TileIndex, source: TileIndex, control: Word)begin assert InstructionContractOperandsLegal_TUNPACK(destination, source, control); TUNPACK(destination, source, control);end;// DOC-END: operation
使用场景。 TUNPACK 从每个 Local U32 CUBE 字中提取一个连续的原始字节字段，并将该字段放入零扩展的 U32 结果中。
工作方式。 控制值的低字节给出源字节偏移，下一字节给出字节数；选中的字节向下复制到目标的第零字节位置，而结果的所有更高位保持为零。
输入与结果。 source 是 Local U32 CUBE_M16 或 CUBE_M32 Tile，unpack_control 选择字段，destination 是具有匹配布局与几何形状的新 Local U32 Tile。
效果。 控制信息与源数据校验先于完整定义的目标有效区域发布；源 Tile 保持不变，目标填充为 Null，且该操作不产生内存效果。
拒绝条件。 偏移必须在 0 到 3 之间，字节数必须在 1 到 4 之间，两者之和不得超过 4，控制位 63:32 必须为零，并且源与目标不得重叠；拒绝不会产生目标效果。
具体示例。 源字 0x44332211 与控制值 0x00000201 选择从字节偏移 1 开始的两个字节，得到 0x00003322。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TUNPACK extracts one contiguous byte field from each U32 CUBE word and zero-extends it to U32. Offset/count controls are checked before effects.
PTO-TUNPACK-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TUNPACK.asl66d9ec2b9df00fc0c716bab78d3765716daca3f11278a142668d09fe6acd0c3f9c91153fdc9baeaac3327afedb14d0e05fe1007386375a3ae036124f36a9a72e9 matching entries
PTO-AVS-TILE-TUNPACK-FIELD-001tests/asl/tile/layout-and-rearrangement/layout/TUNPACK/tile-exec-tunpack-field-001.asl3ab0d71cdbcedbd965caa1b67b63907f0de5e9a52909c005f6cfd94c1cb1904dPTO-AVS-TILE-TUNPACK-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TUNPACK/tile-static-tunpack-contract-001.asl7a0a1a4172994de59bbd4c591a358e87371e697b93567fbfdb1c37240099c32aPTO-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-0103…
ADR-0103docs/status/decisions/0103-private-cube-vector-and-cell-rearrangement.md3b3d67683fb0987dc85ba20c2d2effef9e7e1b170d3950cb505cc1f3ab6109d7Loading 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/TUNPACK.md",
"id": "PTO-TILE-TUNPACK",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TUNPACK",
"ndf_clause": "PTO-INST-TILE-TUNPACK"
},
"mnemonic": "TUNPACK",
"readiness_subjects": [
"ADR-0103",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TUNPACK-FIELD-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TUNPACK.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TUNPACK-FIELD-001",
"PTO-AVS-TILE-TUNPACK-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd8681266d9ec2b9df00fc0c716bab78d3765716daca3f11278a142668d09fe6acd0c3ff61dcaf5046865ebc915963ae7c876da3d9c698847a3f610d1beed0e369ce2c4asl/tile/layout-and-rearrangement/layout/TUNPACK.aslasl/tile/layout-and-rearrangement/layout/TUNPACK.aslasl/tile/layout-and-rearrangement/layout/TUNPACK.asl