Insert a source Tile into a snapshotted old destination region at the encoded row and column offsets.
PTO-TILE-TINSERTTINSERT <LB0, LB1, LB2, DataType> SrcTile0, SrcTile1, 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 TINSERT, DataType |
| Input | SrcTile0 | persistent old destination | contract.operands[1].source0 |
| Input | SrcTile1 | persistent insertion source | contract.operands[2].source1 |
| Input | Natural0 | row-offset | contract.operands[3].natural0 |
| Input | Natural1 | column-offset | contract.operands[4].natural1 |
| Output | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TINSERT, DataType
BSTART.SFU TINSERT, DataTypeRequiredB.DATR (optional)OptionalB.DIM LB0RequiredRepeatableB.DIM LB1 (optional)OptionalRepeatableB.DIM LB2 (optional)OptionalRepeatableB.IOTRequiredB.IORRequiredBSTOPRequiredBSTART.SFU TINSERT, DataTypeB.DIM LB0B.IOTB.IORBSTOPBSTART.SFU TINSERT, 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 | — | — | persistent old destination | — |
source1 | — | — | persistent insertion 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
destination0source0source1natural0natural1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TINSERT() => TileOperationbegin return TileOperation_TINSERT;end;readonly func InstructionContractHandler_TINSERT() => TileSemanticHandlerbegin return TileHandler_TINSERT;end;
pure func InstructionContractDataTypeLegal_TINSERT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TINSERT( destination: TileIndex, old_destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535}) => booleanbegin return TileOperandsLegal_TINSERT( destination, old_destination, source, row_offset, column_offset);end;
func InstructionContractExecute_TINSERT( destination: TileIndex, old_destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535})begin assert InstructionContractOperandsLegal_TINSERT( destination, old_destination, source, row_offset, column_offset); TINSERT( destination, old_destination, source, row_offset, column_offset);end;// PTO-INSTRUCTION: {"assembly":["TINSERT <bundle operands>"],"block":["BSTART.SFU TINSERT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","B.IOR","BSTOP"],"catalog_indices":[70],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"},{"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":"TINSERT","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":3,"legality_handler":"TileOperandsLegal_TINSERT","mode":3,"name":"TINSERT","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"persistent old destination"},{"field":"source1","role":"persistent insertion source"},{"field":"natural0","role":"row-offset"},{"field":"natural1","role":"column-offset"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x063","semantic_handler":"TINSERT","state_effects":["operand:destination0:destination","operand:source0:persistent-old-destination","operand:source1:persistent-insertion-source","operand:natural0:row-offset","operand:natural1:column-offset"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TINSERT, DataType","B.DATR (optional)","B.DIM LB0","B.DIM LB1 (optional)","B.DIM LB2 (optional)","B.IOT","B.IOR","BSTOP"],"canonical_assembly":["TINSERT <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_TINSERT schema determines which B.IOR, B.IOT, B.IOS, B.DATR, and B.DIM bindings are required or optional for TINSERT."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TINSERT, 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":["TINSERT is selected only by its BSTART carrier and selector/function assignment; it has no standalone opcode.","Before effects, TileOperandsLegal_TINSERT 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":"persistent old destination"},{"field":"source1","role":"persistent insertion source"},{"field":"natural0","role":"row-offset"},{"field":"natural1","role":"column-offset"}],"ordering":["none"],"standalone_opcode":false,"state_effects":["Insert a source Tile into a snapshotted old destination region at the encoded row and column offsets.","After complete preflight, execute TINSERT 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-TINSERT","mnemonic":"TINSERT","summary":"Insert a source Tile into a snapshotted old destination 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-TINSERT-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TINSERT MUST snapshot one persistent old destination and one persistent// insertion source, then replace only the selected in-range result window.// Uncovered payload and definedness MUST remain identical to the old// destination, and the renamed result MUST publish atomically.// NDF-END: PTO-TINSERT-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TINSERT() => TileOperationbegin return TileOperation_TINSERT;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_TINSERT() => TileSemanticHandlerbegin return TileHandler_TINSERT;end;
pure func InstructionContractDataTypeLegal_TINSERT( data_type: TileDataType) => booleanbegin return TileCarrierOrMove24BaselineDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TINSERT( destination: TileIndex, old_destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535}) => booleanbegin return TileOperandsLegal_TINSERT( destination, old_destination, source, row_offset, column_offset);end;
func InstructionContractExecute_TINSERT( destination: TileIndex, old_destination: TileIndex, source: TileIndex, row_offset: integer {0..65535}, column_offset: integer {0..65535})begin assert InstructionContractOperandsLegal_TINSERT( destination, old_destination, source, row_offset, column_offset); TINSERT( destination, old_destination, source, row_offset, column_offset);end;// DOC-END: operation
TINSERT inserts a source Tile into a snapshotted old destination at encoded offsets.
The ASL DOC contract selects TileHandler_TINSERT through the instruction's selector-encoded block carrier.
Dimensions, descriptors, layouts, DataTypes, source definedness, consumed encodings, destination capacity, masks, and operation-specific indices or offsets are checked before any source snapshot.
destination0 is the destination; source0 is the persistent old destination; source1 is the persistent insertion source; natural0 is the row-offset; natural1 is the column-offset.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Sources are snapshotted before construction, so allowed aliases observe complete pre-operation payload and definedness.
The complete destination payload, definedness, padding policy, and descriptor publish together; rejection publishes no partial destination.
Malformed bindings, unsupported types or layouts, invalid shapes, undefined consumed elements, illegal attributes, or insufficient destination capacity are rejected before source snapshots or publication.
Allocation failure raises the owner-defined Tile allocation fault; other rejected schema or value conditions raise the owner-defined legality, bundle-control, or memory fault without partial effects.
This is a illustrative contract schema sketch; it organizes fields and bindings but is not claimed to be directly assembleable.
Read BSTART.SFU TINSERT, DataType; B.DATR (optional); B.DIM LB0; B.DIM (LB1/LB2 for 2D); B.IOT; B.IOR; BSTOP as a illustrative binding walkthrough, then use the generated contract below for exact dimensions, attributes, and fault behavior.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TINSERT MUST snapshot one persistent old destination and one persistent insertion source, then replace only the selected in-range result window. Uncovered payload and definedness MUST remain identical to the old destination, and the renamed result MUST publish atomically.
PTO-TINSERT-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TINSERT.aslf1ed676c34403356355be992d9f4a3025b5dd7ae2f38859dc6f2c049830ecd50924df6d77ff1d19287d6178e687bd558f1bac6153c68c2359a41c62253c5e7ea13 matching entries
PTO-AVS-TILE-TINSERT-OLD-001tests/asl/tile/layout-and-rearrangement/layout/TINSERT/tile-exec-tinsert-old-001.asl45f40be2b243cb4e0c08c82628c728b75a8d8a86b85c25c0de122a130e6418fcPTO-AVS-TILE-TINSERT-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TINSERT/tile-static-tinsert-contract-001.asl37817c85342bcb9c9a1a816a3834f7d11243b1bc2d3e3581dcdd063276c60e40PTO-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/TINSERT.md",
"id": "PTO-TILE-TINSERT",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TINSERT",
"ndf_clause": "PTO-INST-TILE-TINSERT"
},
"mnemonic": "TINSERT",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TINSERT-OLD-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TINSERT.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TINSERT-OLD-001",
"PTO-AVS-TILE-TINSERT-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812f1ed676c34403356355be992d9f4a3025b5dd7ae2f38859dc6f2c049830ecd50aae06a6a279434441d62e6ade75995e679a4c2b150f349ff00ee72306e9da188asl/tile/layout-and-rearrangement/layout/TINSERT.aslasl/tile/layout-and-rearrangement/layout/TINSERT.aslasl/tile/layout-and-rearrangement/layout/TINSERT.asl