Extract and zero-extend a raw byte field from Local U32 CUBE words.
PTO-TILE-TUNPACKTUNPACK <LB0, LB1, LB2, Layout> SrcTile0, Scalar0 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0 | dimension | B.DIM LB0 (optional) |
| Parameter | LB1 | dimension | B.DIM LB0/LB1/LB2 (optional) |
| Parameter | LB2 | dimension | B.DIM LB0/LB1/LB2 (optional) |
| Parameter | Layout | layout | B.DATR Layout (optional) |
| Input | SrcTile0 | source | contract.operands[1].source0 |
| Input | Scalar0 | unpack-control | contract.operands[2].scalar0 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TUNPACK, U32
BSTART.SFU TUNPACK, U32RequiredB.DATR Layout (optional)OptionalB.DIM LB0 (optional)OptionalB.IOT source, ->destinationRequiredB.IOR unpack_controlRequiredBSTOPRequiredBSTART.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| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
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
destination0source0scalar0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
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
Why use it. TUNPACK extracts a contiguous raw byte field from each Local U32 CUBE word and places that field in a zero-extended U32 result.
How it works. The low control byte gives the source byte offset, the next control byte gives the count, and the selected bytes are copied down to destination byte zero while all higher result bits remain zero.
Inputs and result. source is a Local U32 CUBE_M16 or CUBE_M32 Tile, unpack_control selects the field, and destination is a fresh Local U32 Tile with matching layout and geometry.
Effects. Control and source validation precedes publication of the fully defined valid destination region; the source persists, destination padding is Null, and the operation has no memory effect.
What is rejected. The offset must be from 0 through 3, the count from 1 through 4, their sum must not exceed 4, control bits 63:32 must be zero, and source and destination must not alias; rejection has no destination effect.
Concrete example. Source word 0x44332211 with control 0x00000201 selects two bytes starting at byte offset 1 and produces 0x00003322.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
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 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681266d9ec2b9df00fc0c716bab78d3765716daca3f11278a142668d09fe6acd0c3f5327175d8538a93f08b18189e4d347ec8b8a81e7ba197a8c6cb907c850b0ecd2asl/tile/layout-and-rearrangement/layout/TUNPACK.aslasl/tile/layout-and-rearrangement/layout/TUNPACK.aslasl/tile/layout-and-rearrangement/layout/TUNPACK.asl