Concatenate two source Tiles along columns.
PTO-TILE-TCONCATTCONCAT <LB0, LB1, LB2, DataType> SrcTile0, SrcTile1 -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0 | dimension | B.DIM LB0 |
| 参数 | LB1 | dimension | B.DIM LB1 (optional) |
| 参数 | LB2 | dimension | B.DIM LB2 (optional) |
| 参数 | DataType | data type | BSTART.SFU TCONCAT, DataType |
| 输入 | SrcTile0 | source-left | contract.operands[1].source0 |
| 输入 | SrcTile1 | source-right | contract.operands[2].source1 |
| 输出 | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TCONCAT, DataType
BSTART.SFU TCONCAT, DataType必选B.DATR (optional)可选B.DIM LB0必选可重复B.DIM LB1 (optional)可选可重复B.DIM LB2 (optional)可选可重复B.IOT必选BSTOP必选BSTART.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| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
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
destination0source0source1下面是该指令所有者中的 Operation；页面没有重写这段行为。
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 是一条由 SFU 执行、通过选择器编码的 Tile 操作。它沿列维度拼接左右源 Tile；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数沿列维度拼接左右源 Tile。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“目标”。source0 的精确契约角色是“左源”。source1 的精确契约角色是“右源”。组合后的指令束模式在处理函数运行前固定描述符、形状、布局和适用性检查。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
本页不暗示当前处理函数契约之外的填充行为。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
精确的可接受类型或类型组合由下方生成的合法性章节拥有；本指南不会扩大该集合。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TCONCAT 示例说明：单行源 [1, 2] 与 [3] 拼接为 [1, 2, 3]。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
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 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868126dab4943fa82ac8c94aa02797e1c4ff0dc483eade778854d22a4a8f8345f15825c60ba2f7d4906c95f33f2f89d936b44d0bdaaa42bc68a4dbc720e6cbff05928asl/tile/layout-and-rearrangement/layout/TCONCAT.aslasl/tile/layout-and-rearrangement/layout/TCONCAT.aslasl/tile/layout-and-rearrangement/layout/TCONCAT.asl