Pack two low-order raw byte fields into Local U32 CUBE words.
PTO-TILE-TPACKTPACK <LB0, LB1, LB2, Layout> SrcTile0, SrcTile1, 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 | source0 | contract.operands[1].source0 |
| Input | SrcTile1 | source1 | contract.operands[2].source1 |
| Input | Scalar0 | pack-control | contract.operands[3].scalar0 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TPACK, U32
BSTART.SFU TPACK, U32RequiredB.DATR Layout (optional)OptionalB.DIM LB0 (optional)OptionalB.IOT source0, source1, ->destinationRequiredB.IOR pack_controlRequiredBSTOPRequiredBSTART.SFU TPACK, U32B.IOT source0, source1, ->destinationB.IOR pack_controlBSTOPBSTART.SFU TPACK, U32; B.DATR Layout; B.IOT source0, source1, ->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 | — | — | source0 | — |
source1 | — | — | source1 | — |
scalar0 | — | — | pack-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
destination0source0source1scalar0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TPACK() => TileOperationbegin return TileOperation_TPACK;end;readonly func InstructionContractHandler_TPACK() => TileSemanticHandlerbegin return TileHandler_TPACK;end;
pure func InstructionContractDataTypeLegal_TPACK( data_type: TileDataType) => booleanbegin return data_type == TileDataType_U32;end;
readonly func InstructionContractOperandsLegal_TPACK( destination: TileIndex, source0: TileIndex, source1: TileIndex, control: Word) => booleanbegin return TileOperandsLegal_TPACK(destination, source0, source1, control);end;
func InstructionContractExecute_TPACK( destination: TileIndex, source0: TileIndex, source1: TileIndex, control: Word)begin assert InstructionContractOperandsLegal_TPACK( destination, source0, source1, control); TPACK(destination, source0, source1, control);end;// PTO-INSTRUCTION: {"assembly":["TPACK <bundle operands>"],"block":["BSTART.SFU TPACK, U32","B.DATR Layout (optional)","B.DIM LB0 (optional)","B.IOT source0, source1, ->destination","B.IOR pack_control","BSTOP"],"catalog_indices":[105],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"},{"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":"TPACK","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":23,"legality_handler":"TileOperandsLegal_TPACK","mode":3,"name":"TPACK","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source0"},{"field":"source1","role":"source1"},{"field":"scalar0","role":"pack-control"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x077","semantic_handler":"TPACK","state_effects":["operand:destination0:destination","operand:source0:source0","operand:source1:source1","operand:scalar0:pack-control"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TPACK, U32","B.DATR Layout (optional)","B.DIM LB0/LB1/LB2 (optional)","B.IOT source0, source1, ->destination","B.IOR pack_control","BSTOP"],"canonical_assembly":["TPACK <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 TPACK, U32; B.DATR Layout; B.IOT source0, source1, ->destination; B.IOR a0; BSTOP"],"exceptions":["Illegal field widths reject with Fault_TileLegality before effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior."],"field_contracts":{},"field_zero_meanings":{},"legality":["TPACK accepts only Local U32 CUBE_M16 or CUBE_M32 sources and a fresh matching destination.","The control selects two low-order byte fields with widths 1..3 whose sum is at most four.","The result is raw zero-filled field assembly with no numeric conversion."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source0"},{"field":"source1","role":"source1"},{"field":"scalar0","role":"pack-control"}],"ordering":["Control and source validation precede destination publication."],"standalone_opcode":false,"state_effects":["Pack corresponding source U32 words independently in every active CUBE word group."]},"depends_on":["PTO-TILE-MODEL-EXECUTION-REARRANGEMENT","PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT"],"engine":"SFU","id":"PTO-TILE-TPACK","mnemonic":"TPACK","summary":"Pack two low-order raw byte fields into 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-TPACK-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TPACK assembles two low-order byte fields into each corresponding U32 word.// Widths are explicit control bytes in 1..3 with total width at most four;// all unselected result bits are zero.// NDF-END: PTO-TPACK-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TPACK() => TileOperationbegin return TileOperation_TPACK;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TPACK() => TileSemanticHandlerbegin return TileHandler_TPACK;end;
pure func InstructionContractDataTypeLegal_TPACK( data_type: TileDataType) => booleanbegin return data_type == TileDataType_U32;end;
readonly func InstructionContractOperandsLegal_TPACK( destination: TileIndex, source0: TileIndex, source1: TileIndex, control: Word) => booleanbegin return TileOperandsLegal_TPACK(destination, source0, source1, control);end;
func InstructionContractExecute_TPACK( destination: TileIndex, source0: TileIndex, source1: TileIndex, control: Word)begin assert InstructionContractOperandsLegal_TPACK( destination, source0, source1, control); TPACK(destination, source0, source1, control);end;// DOC-END: operation
Why use it. TPACK joins low-order byte fields from two corresponding Local U32 CUBE words, which is useful when the fields must be rearranged as raw storage rather than numerically converted.
How it works. For every active word position, the selected low bytes of source0 occupy the low destination bytes, the selected low bytes of source1 follow them, and every remaining destination bit is zero.
Inputs and result. source0 and source1 are matching Local U32 CUBE_M16 or CUBE_M32 Tiles, pack_control supplies the two field widths, and destination is a fresh Tile with matching layout and geometry.
Effects. Complete control and source validation precedes publication of the fully defined valid destination region; the sources persist, padding is Null, and the operation has no memory effect.
What is rejected. Each field width must be from 1 through 3, their sum must not exceed 4, control bits 63:32 must be zero, and the destination must not alias either source; rejection occurs before destination effects.
Concrete example. With corresponding source words 0x00001234 and 0x00ABCDEF, control 0x00000202 selects two low bytes from each and produces 0xCDEF1234.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TPACK assembles two low-order byte fields into each corresponding U32 word. Widths are explicit control bytes in 1..3 with total width at most four; all unselected result bits are zero.
PTO-TPACK-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TPACK.asl3744e3f592f0b88d44806845a029be372fc48a8565a8ff4702d07a3631a5a7a0441a5b19f6da84cc48f6c4786b6df464a581b0920a8d42e73616e314b468ed3c9 matching entries
PTO-AVS-TILE-TPACK-FIELDS-001tests/asl/tile/layout-and-rearrangement/layout/TPACK/tile-exec-tpack-fields-001.aslf3269ea2913bebdd8053337720a0a8da08e97661a112006f849efd8eff9c7e2fPTO-AVS-TILE-TPACK-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TPACK/tile-static-tpack-contract-001.asl94f5ade767e412e858f01a8b835ff9a28f429817e6c9daa71f951574c5b7851cPTO-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/TPACK.md",
"id": "PTO-TILE-TPACK",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TPACK",
"ndf_clause": "PTO-INST-TILE-TPACK"
},
"mnemonic": "TPACK",
"readiness_subjects": [
"ADR-0103",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TPACK-FIELDS-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TPACK.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TPACK-FIELDS-001",
"PTO-AVS-TILE-TPACK-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868123744e3f592f0b88d44806845a029be372fc48a8565a8ff4702d07a3631a5a7a0557d346642f39c05a40f47ec60862a2fa831775065511e470968ad9c106f1f87asl/tile/layout-and-rearrangement/layout/TPACK.aslasl/tile/layout-and-rearrangement/layout/TPACK.aslasl/tile/layout-and-rearrangement/layout/TPACK.asl