Add corresponding elements of two Local Tiles.
PTO-TILE-TADDTADD <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, SrcTile1 -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| 参数 | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| 参数 | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| 参数 | DataType | data type | BSTART.VEC TADD, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | ordered left Local source | contract.operands[1].source0 |
| 输入 | SrcTile1 | ordered right Local source | contract.operands[2].source1 |
| 输出 | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TADD, DataType
BSTART.VEC TADD, DataType必选B.DATR PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>必选BSTOP必选BSTART.VEC TADD, DataTypeB.DIM LB0=ValidColB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TADD, U64; B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local destination | — |
source0 | — | — | ordered left Local source | — |
source1 | — | — | ordered right Local source | — |
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_TADD() => TileOperationbegin return TileOperation_TADD;end;pure func InstructionContractDataTypeLegal_TADD( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TADD( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_ADD, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TADD() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TADD( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_ADD, destination, source_left, source_right);end;// PTO-INSTRUCTION: {"assembly":["TADD <bundle operands>"],"block":["BSTART.VEC TADD, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[0],"catalog_records":[{"arguments":[{"constant":"TileBinary_ADD"},{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileBinary","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":0,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TADD","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x000","semantic_handler":"ExecuteTileBinary","state_effects":["operand:destination0:destination","operand:source0:source-left","operand:source1:source-right"]}],"classification":["elementwise-tile-tile","arithmetic"],"contract":{"block_composition":["BSTART.VEC TADD, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TADD <bundle operands>"],"defaults":["LB0 is required and supplies nonzero ValidCol. Omitted LB1 defaults ValidRow to one. Omitted LB2 defaults physical Col to ValidCol; an explicitly present zero dimension is illegal.","Omitted B.DATR selects PadValue=Null. Explicit PadValue 00, 01, 10, and 11 select Zero, Max, Min, and Null respectively.","The destination physical Rows are derived from TSize, Col, and DataType; Rows and Col are powers of two and contain ValidRow x ValidCol."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TADD, U64; B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["A missing LB0, malformed Local B.IOT, B.IOR or B.IOS presence, source shape or type mismatch, undefined source element, unsupported DataType, or invalid destination capacity raises Fault_TileLegality before destination effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{},"legality":["TADD is selected only by BSTART.VEC Mode 0 Function 0 and has no standalone opcode.","Exactly one terminating Local B.IOT supplies two ordered Local sources and one newly allocated Local destination. B.IOR and B.IOS are not accepted; all participating Tiles use one PE_MASK and zero mask is a strict no-op.","The selected DataType is exactly FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, or U8.","Both source valid regions are completely defined and source/destination physical shape, valid shape, row-major layout, and DataType match.","B.DATR applicability allows only PadValueOrByteId as PadValue."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local destination"},{"field":"source0","role":"ordered left Local source"},{"field":"source1","role":"ordered right Local source"}],"ordering":["Both source payloads are snapshotted before the first destination write, so source/destination aliasing is read-before-write."],"standalone_opcode":false,"state_effects":["After complete preflight, add corresponding source elements and atomically publish the valid destination region.","Physical destination elements outside ValidRow x ValidCol receive the selected PadValue; Null padding remains undefined while Zero, Max, and Min padding are defined."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TADD","mnemonic":"TADD","summary":"Add corresponding elements of two Local Tiles.","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-TADD-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TADD MUST select VEC Mode 0 Function 0 and MUST consume exactly two// ordered Local Tile sources plus one newly allocated Local Tile destination.// LB0 MUST provide nonzero ValidCol; omitted LB1 MUST select ValidRow=1;// omitted LB2 MUST select Col=ValidCol. Omitted B.DATR MUST select Null// padding; explicit PadValue 00, 01, 10, and 11 MUST select Zero, Max, Min,// and Null respectively. Both sources MUST be completely defined and match// the destination shape, row-major layout, and one supported arithmetic type.// Complete legality and allocation preflight MUST precede source snapshots;// the valid result and padding MUST publish together after elementwise add.// NDF-END: PTO-TADD-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TADD() => TileOperationbegin return TileOperation_TADD;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TADD( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TADD( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_ADD, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TADD() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TADD( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_ADD, destination, source_left, source_right);end;// DOC-END: operation
TADD 是一条由 VEC 执行、通过选择器编码的 Tile 操作。它把有序左右 Local 源中相应的有效元素相加；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数把有序左右 Local 源中相应的有效元素相加。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“新分配的 Local 目标”。source0 的精确契约角色是“有序左 Local 源”。source1 的精确契约角色是“有序右 Local 源”。参与操作的源与目标描述符采用当前契约规定的行优先布局和形状关系。 操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
可接受的数据类型集合为 FP64、FP32、TF32、HF32、FP16、BF16、E4M3、E5M2、S64、S32、S16、S8、U64、U32、U16、U8。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TADD 示例说明：有效行 [1, 2] 与 [3, 4] 产生 [4, 6]。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TADD MUST select VEC Mode 0 Function 0 and MUST consume exactly two ordered Local Tile sources plus one newly allocated Local Tile destination. LB0 MUST provide nonzero ValidCol; omitted LB1 MUST select ValidRow=1; omitted LB2 MUST select Col=ValidCol. Omitted B.DATR MUST select Null padding; explicit PadValue 00, 01, 10, and 11 MUST select Zero, Max, Min, and Null respectively. Both sources MUST be completely defined and match the destination shape, row-major layout, and one supported arithmetic type. Complete legality and allocation preflight MUST precede source snapshots; the valid result and padding MUST publish together after elementwise add.
PTO-TADD-CONTRACT-001asl/tile/elementwise-tile-tile/arithmetic/TADD.aslec065a975042e6c02043612e824930f6f012033c78f075198e541e9b80668cb23d878459e4d993bf304246e0908d2b05dac5904a684cecd5060a828004a45fce19 matching entries
PTO-AVS-TILE-CUBE-ELEMENTWISE-DECODED-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-exec-tadd-cube-decoded-001.asle922a69614636f3594e527a82b9810d59a20c52024305080b148de5861b71274PTO-AVS-TILE-TADD-DATA-TYPES-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-bound-tadd-data-types-001.asl040dccf38157cf4e6a74f95bc952d89ec72703d65fec29eb7f2a5070608350a9PTO-AVS-TILE-TADD-DEFINEDNESS-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-bound-tadd-source-defined-001.asldca21dbff0fa44ad8f50ea659c1b7f4ac8ffe7fd04d070bef024450a856789dePTO-AVS-TILE-TADD-DIM-DEFAULTS-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-exec-tadd-dim-defaults-001.asl130c2f6a8c9a09806da3a91e03bfa2c9c77619d343bdfe03789c334c4ce27a1cPTO-AVS-TILE-TADD-ELEMENTS-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-exec-tadd-elements-001.asl9b751cac50f05d913f456210ce9d6de56646ecfc801de77a66d290153e8986c3PTO-AVS-TILE-TADD-LAYOUT-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-bound-tadd-layout-001.asld20a9cf2073f05b0267466fa6eae8b88004aa3d1e7a57cd426295ae0bac96f12PTO-AVS-TILE-TADD-MISSING-LB0-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-fault-tadd-missing-lb0-001.asl1bcd6e64c6ac9398259bdf2f0e275146275d18b35770b214221b9fca05c2fb07PTO-AVS-TILE-TADD-PADDING-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-state-tadd-padding-001.asl9834b0f7303f517ec7b8e13d33fe81abeed8df47daac2a0db221017f3a945a47PTO-AVS-TILE-TADD-STATIC-001tests/asl/tile/elementwise-tile-tile/arithmetic/TADD/tile-static-tadd-contract-001.asl5d89688b99e5b333be7bec89975b4d52e90e01c8c3c03bb29ac7f4b1ad51183ePTO-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.md3f6aed3e2ac792a75e46787be99eb8c1d5ce204b098f531aa9fcb80b87448d72{
"classification": [
"elementwise-tile-tile",
"arithmetic"
],
"documentation": "docs/tile/elementwise-tile-tile/arithmetic/TADD.md",
"id": "PTO-TILE-TADD",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TADD",
"ndf_clause": "PTO-INST-TILE-TADD"
},
"mnemonic": "TADD",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-CUBE-ELEMENTWISE-DECODED-001",
"PTO-AVS-TILE-TADD-DATA-TYPES-001",
"PTO-AVS-TILE-TADD-DEFINEDNESS-001",
"PTO-AVS-TILE-TADD-DIM-DEFAULTS-001",
"PTO-AVS-TILE-TADD-ELEMENTS-001",
"PTO-AVS-TILE-TADD-LAYOUT-001",
"PTO-AVS-TILE-TADD-MISSING-LB0-001",
"PTO-AVS-TILE-TADD-PADDING-001"
],
"source": "asl/tile/elementwise-tile-tile/arithmetic/TADD.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-CUBE-ELEMENTWISE-DECODED-001",
"PTO-AVS-TILE-TADD-DATA-TYPES-001",
"PTO-AVS-TILE-TADD-DEFINEDNESS-001",
"PTO-AVS-TILE-TADD-DIM-DEFAULTS-001",
"PTO-AVS-TILE-TADD-ELEMENTS-001",
"PTO-AVS-TILE-TADD-LAYOUT-001",
"PTO-AVS-TILE-TADD-MISSING-LB0-001",
"PTO-AVS-TILE-TADD-PADDING-001",
"PTO-AVS-TILE-TADD-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812ec065a975042e6c02043612e824930f6f012033c78f075198e541e9b80668cb2905c33e56fafac1651c9e4cffc6d0ade2ef2dab7bc9d850203b47939da58bdb3asl/tile/elementwise-tile-tile/arithmetic/TADD.aslasl/tile/elementwise-tile-tile/arithmetic/TADD.aslasl/tile/elementwise-tile-tile/arithmetic/TADD.asl