Extract a rectangular source region at the encoded row and column offsets.
PTO-TILE-TEXTRACTTEXTRACT <LB0, LB1, LB2, DataType> SrcTile0, Natural0, Natural1 -> 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 TEXTRACT, DataType |
| Input | SrcTile0 | source | contract.operands[1].source0 |
| Input | Natural0 | row-offset | contract.operands[2].natural0 |
| Input | Natural1 | column-offset | contract.operands[3].natural1 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TEXTRACT, DataType
BSTART.SFU TEXTRACT, DataTypeRequiredB.DATR (optional)OptionalB.DIM LB0RequiredRepeatableB.DIM LB1 (optional)OptionalRepeatableB.DIM LB2 (optional)OptionalRepeatableB.IOTRequiredB.IORRequiredBSTOPRequiredBSTART.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| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
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
destination0source0natural0natural1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
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 is a selector-encoded Tile operation executed by SFU. It copies the rectangle beginning at the encoded row and column offsets into the destination; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler copies the rectangle beginning at the encoded row and column offsets into the destination. 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.natural0 has the exact contract role row-offset.natural1 has the exact contract role column-offset.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 TEXTRACT example, a one-by-one destination at row offset 1 and column offset 1 receives source element [1,1].
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
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 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868128de8eb4a5a6d206783073c07dc88a4f02456c2491ab6ceff64d3ff7ca96812e57b0713d40e714e2cfd3d5a803672386f25c7f78600a06e8fdf21ae6774e98864asl/tile/layout-and-rearrangement/layout/TEXTRACT.aslasl/tile/layout-and-rearrangement/layout/TEXTRACT.aslasl/tile/layout-and-rearrangement/layout/TEXTRACT.asl