Concatenate two source Tiles along columns.
PTO-TILE-TCONCATTCONCAT <LB0, LB1, LB2, DataType> SrcTile0, SrcTile1 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0 | dimension | B.DIM LB0 |
| Parameter | LB1 | dimension | B.DIM LB1 (optional) |
| Parameter | LB2 | dimension | B.DIM LB2 (optional) |
| Parameter | DataType | data type | BSTART.SFU TCONCAT, DataType |
| Input | SrcTile0 | source-left | contract.operands[1].source0 |
| Input | SrcTile1 | source-right | contract.operands[2].source1 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TCONCAT, DataType
BSTART.SFU TCONCAT, DataTypeRequiredB.DATR (optional)OptionalB.DIM LB0RequiredRepeatableB.DIM LB1 (optional)OptionalRepeatableB.DIM LB2 (optional)OptionalRepeatableB.IOTRequiredBSTOPRequiredBSTART.SFU TCONCAT, DataTypeB.DIM LB0B.IOTBSTOPBSTART.SFU TCONCAT, DataType; B.DATR (optional); B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | destination | — |
source0 | — | — | source-left | — |
source1 | — | — | source-right | — |
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
destination0source0source1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TCONCAT() => TileOperationbegin return TileOperation_TCONCAT;end;readonly func InstructionContractHandler_TCONCAT() => TileSemanticHandlerbegin return TileHandler_TCONCAT;end;
pure func InstructionContractDataTypeLegal_TCONCAT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCONCAT( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_TCONCAT( destination, source_left, source_right);end;
func InstructionContractExecute_TCONCAT( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin assert InstructionContractOperandsLegal_TCONCAT( destination, source_left, source_right); TCONCAT(destination, source_left, source_right);end;// PTO-INSTRUCTION: {"assembly":["TCONCAT <bundle operands>"],"block":["BSTART.SFU TCONCAT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","BSTOP"],"catalog_indices":[68],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TCONCAT","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":0,"legality_handler":"TileOperandsLegal_TCONCAT","mode":3,"name":"TCONCAT","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x060","semantic_handler":"TCONCAT","state_effects":["operand:destination0:destination","operand:source0:source-left","operand:source1:source-right"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TCONCAT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","BSTOP"],"canonical_assembly":["TCONCAT <bundle operands>"],"defaults":["At BSTART the bundle descriptor begins with zero-valued B.DATR and B.DIM state; omitted optional commands retain those reset values, and an encoded zero is a value rather than absence.","The TileOperandsLegal_TCONCAT schema determines which B.IOR, B.IOT, B.IOS, B.DATR, and B.DIM bindings are required or optional for TCONCAT."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TCONCAT, DataType; B.DATR (optional); B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; BSTOP"],"exceptions":["ExecuteTileInstruction supplies the operation fault contract; illegal bundles and reserved selector combinations reject before architectural effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{},"legality":["TCONCAT is selected only by its BSTART carrier and selector/function assignment; it has no standalone opcode.","Before effects, TileOperandsLegal_TCONCAT validates the complete assembled bundle, operand roles, dimensions, data attributes, and applicability.","B.DATR applicability is exactly [{\"allowed_nonzero_fields\":[\"Layout\"],\"pad_union\":\"must-zero\"}]."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"ordering":["none"],"standalone_opcode":false,"state_effects":["Concatenate two source Tiles along columns.","After complete preflight, execute TCONCAT with the operand bindings listed above; destination definedness changes only as specified by that handler."]},"depends_on":["PTO-TILE-MODEL-EXECUTION-REARRANGEMENT","PTO-TILE-MODEL-LEGALITY-LAYOUT-REARRANGEMENT"],"engine":"SFU","id":"PTO-TILE-TCONCAT","mnemonic":"TCONCAT","summary":"Concatenate two source Tiles along columns.","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-TCONCAT-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCONCAT MUST concatenate exactly two persistent Local sources along columns.// It MUST NOT accept an axis operand or a vertical concatenation form.// Complete source validation and snapshot MUST precede atomic destination// payload, definedness, Null-padding, and descriptor publication.// NDF-END: PTO-TCONCAT-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCONCAT() => TileOperationbegin return TileOperation_TCONCAT;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TCONCAT() => TileSemanticHandlerbegin return TileHandler_TCONCAT;end;
pure func InstructionContractDataTypeLegal_TCONCAT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCONCAT( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_TCONCAT( destination, source_left, source_right);end;
func InstructionContractExecute_TCONCAT( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin assert InstructionContractOperandsLegal_TCONCAT( destination, source_left, source_right); TCONCAT(destination, source_left, source_right);end;// DOC-END: operation
TCONCAT is a selector-encoded Tile operation executed by SFU. It joins the left and right source Tiles along the column dimension; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler joins the left and right source Tiles along the column dimension. Source payloads are snapshotted before destination writes whenever the contract permits aliasing.
The handler uses the resolved valid region rather than treating physical padding as input data. Its operation-specific dtype, layout, rounding, saturation, and profile hooks remain the executable definition.
destination0 has the exact contract role destination.source0 has the exact contract role source-left.source1 has the exact contract role source-right.The assembled bundle schema fixes descriptor, shape, layout, and applicability checks before the handler runs.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
No padding behavior beyond the current handler contract is implied.
The operation has no GM memory effect; descriptor, payload, definedness, padding, and numeric-status changes are limited to those listed by the current contract.
The exact accepted type or type-pair set is owned by the generated legality section below; this guide does not widen it.
The generated legality and exception sections below are authoritative for dtype pairs, layout, dimensions, capacity, definedness, padding controls, profile behavior, and fault class. Legality and allocation failures occur before partial architectural effects.
This example illustrates the current ASL owner and does not replace the normative operation.
For a small TCONCAT example, one-row sources [1, 2] and [3] concatenate to [1, 2, 3].
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TCONCAT MUST concatenate exactly two persistent Local sources along columns. It MUST NOT accept an axis operand or a vertical concatenation form. Complete source validation and snapshot MUST precede atomic destination payload, definedness, Null-padding, and descriptor publication.
PTO-TCONCAT-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TCONCAT.asl6dab4943fa82ac8c94aa02797e1c4ff0dc483eade778854d22a4a8f8345f15827c9239548575494172bffede20381556a2c7ec96c69319a459bc4e1fa0c8543813 matching entries
PTO-AVS-TILE-TCONCAT-COLUMNS-001tests/asl/tile/layout-and-rearrangement/layout/TCONCAT/tile-exec-tconcat-columns-001.aslbf32bb345b3fc751fd63e6599a1d9ec97516c2310859af4f0ee7aae1f280e7dbPTO-AVS-TILE-TCONCAT-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TCONCAT/tile-static-tconcat-contract-001.asl3fa2d6dc767417446439edd9e0c76acf63949cdad38203042e8f85958aa05827PTO-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-0035…
ADR-0035docs/status/decisions/0035-vec-sfu-carrier-totality.md41f8b83397773a166978831f314557629abe0a5bad906648456dec78198c910eLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading 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-0082…
ADR-0082docs/status/decisions/0082-tile-reduction-expansion-and-generation.md055dc6d42467cea4861c23e7debf7ae5c4b937df4c597b28938ef7997a5d9670Loading 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/TCONCAT.md",
"id": "PTO-TILE-TCONCAT",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCONCAT",
"ndf_clause": "PTO-INST-TILE-TCONCAT"
},
"mnemonic": "TCONCAT",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TCONCAT-COLUMNS-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TCONCAT.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCONCAT-COLUMNS-001",
"PTO-AVS-TILE-TCONCAT-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868126dab4943fa82ac8c94aa02797e1c4ff0dc483eade778854d22a4a8f8345f15828e3a26700a318ff1c63345a6b9c42932c32e1de8890c16f998259b645d9e7326asl/tile/layout-and-rearrangement/layout/TCONCAT.aslasl/tile/layout-and-rearrangement/layout/TCONCAT.aslasl/tile/layout-and-rearrangement/layout/TCONCAT.asl