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| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0 | dimension | B.DIM LB0 |
| 参数 | LB1 | dimension | B.DIM LB1 (optional) |
| 参数 | LB2 | dimension | B.DIM LB2 (optional) |
| 参数 | DataType | data type | BSTART.SFU TINSERT, DataType |
| 输入 | SrcTile0 | persistent old destination | contract.operands[1].source0 |
| 输入 | SrcTile1 | persistent insertion source | contract.operands[2].source1 |
| 输入 | Natural0 | row-offset | contract.operands[3].natural0 |
| 输入 | Natural1 | column-offset | contract.operands[4].natural1 |
| 输出 | DstTile | destination | contract.operands[0].destination0 |
BSTART.SFU TINSERT, DataType
BSTART.SFU TINSERT, DataType必选B.DATR (optional)可选B.DIM LB0必选可重复B.DIM LB1 (optional)可选可重复B.DIM LB2 (optional)可选可重复B.IOT必选B.IOR必选BSTOP必选BSTART.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| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
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
destination0source0source1natural0natural1下面是该指令所有者中的 Operation；页面没有重写这段行为。
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 把源 Tile 插入快照得到的旧目的区域，并使用编码的行列偏移。
ASL DOC 契约通过该指令的选择器编码块载体选择 TileHandler_TINSERT。
任何源快照之前，必须检查维度、描述符、布局、DataType、源已定义性、被消费的编码、目的容量、掩码，以及操作专用索引或偏移。
destination0 是目的地；source0 是持久旧目的地；source1 是持久插入源；natural0 是行偏移；natural1 是列偏移。
除非当前契约明确指出状态被消费或替换，否则源保持持久；只有完整预检后才发布目的描述符。
构造结果之前会先快照源，因此允许的别名看到完整的操作前载荷与已定义性。
完整目的载荷、已定义性、填充 策略和描述符一同发布；拒绝时不会发布部分目的地。
绑定格式错误、类型或布局不受支持、形状无效、被消费元素未定义、属性非法或目的容量不足时，会在源快照或发布之前拒绝操作。
分配失败触发所有者定义的 Tile 分配故障；其他被拒绝的绑定模式或值条件触发所有者定义的合法性、块控制或内存故障，且不产生部分效果。
这是示例性契约模式草图；它用于组织字段和绑定关系，不声称可以直接汇编。
把 BSTART.SFU TINSERT, DataType; B.DATR (optional); B.DIM LB0; B.DIM (LB1/LB2 for 2D); B.IOT; B.IOR; BSTOP 作为示例性绑定演练，再以下方生成契约确认精确维度、属性和故障行为。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
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 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812f1ed676c34403356355be992d9f4a3025b5dd7ae2f38859dc6f2c049830ecd50686cb0981055ae6409c8fd5e41d66139cb22e9384a62f3819d8d1ef6b01ed465asl/tile/layout-and-rearrangement/layout/TINSERT.aslasl/tile/layout-and-rearrangement/layout/TINSERT.aslasl/tile/layout-and-rearrangement/layout/TINSERT.asl