Extract a rectangular source region at the encoded row and column offsets.
PTO-TILE-TEXTRACTTEXTRACT <LB0, LB1, LB2, DataType> SrcTile0, Natural0, Natural1 -> 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 TEXTRACT, DataType |
| 输入 | SrcTile0 | source | contract.operands[1].source0 |
| 输入 | Natural0 | row-offset | contract.operands[2].natural0 |
| 输入 | Natural1 | column-offset | contract.operands[3].natural1 |
| 输出 | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TEXTRACT, DataType
BSTART.SFU TEXTRACT, DataType必选B.DATR (optional)可选B.DIM LB0必选可重复B.DIM LB1 (optional)可选可重复B.DIM LB2 (optional)可选可重复B.IOT必选B.IOR必选BSTOP必选BSTART.SFU TEXTRACT, DataTypeB.DIM LB0B.IOTB.IORBSTOPBSTART.SFU TEXTRACT, DataType; B.DATR (optional); B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; B.IOR; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | destination | — |
source0 | — | — | source | — |
natural0 | — | — | row-offset | — |
natural1 | — | — | column-offset | — |
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
destination0source0natural0natural1下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TEXTRACT() => TileOperationbegin return TileOperation_TEXTRACT;end;readonly func InstructionContractHandler_TEXTRACT() => TileSemanticHandlerbegin return TileHandler_TEXTRACT;end;
pure func InstructionContractDataTypeLegal_TEXTRACT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TEXTRACT( destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535}) => booleanbegin return TileOperandsLegal_TEXTRACT( destination, source, row_offset, column_offset);end;
func InstructionContractExecute_TEXTRACT( destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535})begin assert InstructionContractOperandsLegal_TEXTRACT( destination, source, row_offset, column_offset); TEXTRACT(destination, source, row_offset, column_offset);end;// PTO-INSTRUCTION: {"assembly":["TEXTRACT <bundle operands>"],"block":["BSTART.SFU TEXTRACT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","B.IOR","BSTOP"],"catalog_indices":[69],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"natural0"},{"operand":"natural1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TEXTRACT","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":2,"legality_handler":"TileOperandsLegal_TEXTRACT","mode":3,"name":"TEXTRACT","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source"},{"field":"natural0","role":"row-offset"},{"field":"natural1","role":"column-offset"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x062","semantic_handler":"TEXTRACT","state_effects":["operand:destination0:destination","operand:source0:source","operand:natural0:row-offset","operand:natural1:column-offset"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TEXTRACT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","B.IOR","BSTOP"],"canonical_assembly":["TEXTRACT <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_TEXTRACT schema determines which B.IOR, B.IOT, B.IOS, B.DATR, and B.DIM bindings are required or optional for TEXTRACT."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TEXTRACT, DataType; B.DATR (optional); B.DIM LB0; B.DIM LB1 (optional); B.DIM LB2 (optional); B.IOT; B.IOR; 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":["TEXTRACT is selected only by its BSTART carrier and selector/function assignment; it has no standalone opcode.","Before effects, TileOperandsLegal_TEXTRACT 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"},{"field":"natural0","role":"row-offset"},{"field":"natural1","role":"column-offset"}],"ordering":["none"],"standalone_opcode":false,"state_effects":["Extract a rectangular source region at the encoded row and column offsets.","After complete preflight, execute TEXTRACT 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-TEXTRACT","mnemonic":"TEXTRACT","summary":"Extract a rectangular source region at the encoded row and column offsets.","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-TEXTRACT-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TEXTRACT MUST copy one in-range rectangular window selected by two optional// private-GPR offsets into one renamed Local destination.// Omitted offsets MUST select zero. Complete preflight and source snapshot// MUST precede atomic result, padding, and descriptor publication.// NDF-END: PTO-TEXTRACT-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TEXTRACT() => TileOperationbegin return TileOperation_TEXTRACT;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TEXTRACT() => TileSemanticHandlerbegin return TileHandler_TEXTRACT;end;
pure func InstructionContractDataTypeLegal_TEXTRACT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TEXTRACT( destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535}) => booleanbegin return TileOperandsLegal_TEXTRACT( destination, source, row_offset, column_offset);end;
func InstructionContractExecute_TEXTRACT( destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535})begin assert InstructionContractOperandsLegal_TEXTRACT( destination, source, row_offset, column_offset); TEXTRACT(destination, source, row_offset, column_offset);end;// DOC-END: operation
TEXTRACT 是一条由 SFU 执行、通过选择器编码的 Tile 操作。它把从编码行偏移和列偏移开始的矩形区域复制到目标；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数把从编码行偏移和列偏移开始的矩形区域复制到目标。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“目标”。source0 的精确契约角色是“源”。natural0 的精确契约角色是“行偏移”。natural1 的精确契约角色是“列偏移”。组合后的指令束模式在处理函数运行前固定描述符、形状、布局和适用性检查。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
本页不暗示当前处理函数契约之外的填充行为。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
精确的可接受类型或类型组合由下方生成的合法性章节拥有；本指南不会扩大该集合。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TEXTRACT 示例说明：行偏移 1、列偏移 1 的一乘一目标接收源元素 [1,1]。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TEXTRACT MUST copy one in-range rectangular window selected by two optional private-GPR offsets into one renamed Local destination. Omitted offsets MUST select zero. Complete preflight and source snapshot MUST precede atomic result, padding, and descriptor publication.
PTO-TEXTRACT-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TEXTRACT.asl8de8eb4a5a6d206783073c07dc88a4f02456c2491ab6ceff64d3ff7ca96812e5734f75ad0377535d47449ae92ebec3492165c510137c1ca4560d08a478cb61c713 matching entries
PTO-AVS-TILE-TEXTRACT-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TEXTRACT/tile-static-textract-contract-001.asl0863c836aebba47d321b3dc8a593cf2283eecc4334f46ea6e14b925272296867PTO-AVS-TILE-TEXTRACT-WINDOW-001tests/asl/tile/layout-and-rearrangement/layout/TEXTRACT/tile-exec-textract-window-001.asl78483b95534d505b740a5e36e6606d2c14e934cf7ba56c59818aa6575147dfa1PTO-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-0080…
ADR-0080docs/status/decisions/0080-tile-elementwise-and-irregular-operations.md3f6aed3e2ac792a75e46787be99eb8c1d5ce204b098f531aa9fcb80b87448d72Loading 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/TEXTRACT.md",
"id": "PTO-TILE-TEXTRACT",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TEXTRACT",
"ndf_clause": "PTO-INST-TILE-TEXTRACT"
},
"mnemonic": "TEXTRACT",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TEXTRACT-WINDOW-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TEXTRACT.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TEXTRACT-STATIC-001",
"PTO-AVS-TILE-TEXTRACT-WINDOW-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868128de8eb4a5a6d206783073c07dc88a4f02456c2491ab6ceff64d3ff7ca96812e5ebfab06a5a1e86896efedf01d8b6ec47b76440c021ef84b8f13c84921eb6dab9asl/tile/layout-and-rearrangement/layout/TEXTRACT.aslasl/tile/layout-and-rearrangement/layout/TEXTRACT.aslasl/tile/layout-and-rearrangement/layout/TEXTRACT.asl