Add corresponding elements of two Local Tiles.
PTO-TILE-TADDTADD <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, SrcTile1 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| Parameter | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| Parameter | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| Parameter | DataType | data type | BSTART.VEC TADD, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | ordered left Local source | contract.operands[1].source0 |
| Input | SrcTile1 | ordered right Local source | contract.operands[2].source1 |
| Output | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TADD, DataType
BSTART.VEC TADD, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.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| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
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
destination0source0source1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
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 is a selector-encoded Tile operation executed by VEC. It adds corresponding valid elements from the ordered left and right Local sources; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler adds corresponding valid elements from the ordered left and right Local sources. 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 new Local destination.source0 has the exact contract role ordered left Local source.source1 has the exact contract role ordered right Local source.Participating source and destination descriptors use the row-major and shape relationships stated by the current contract. Every source coordinate read by the operation must be defined before execution reaches destination publication. PE_MASK=0000 is a strict no-op before descriptor, allocation, payload, numeric-status, or memory effects.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
Physical coordinates outside the valid rectangle follow the contract-selected padding rule; Null padding remains undefined when that rule applies.
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 accepted data-type set is FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, U8.
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 TADD example, valid rows [1, 2] and [3, 4] produce [4, 6].
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
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 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812ec065a975042e6c02043612e824930f6f012033c78f075198e541e9b80668cb2481f8457ea14ca5d86d653dbec9a21e7048aa8dad3059effeea0bc47d6771a49asl/tile/elementwise-tile-tile/arithmetic/TADD.aslasl/tile/elementwise-tile-tile/arithmetic/TADD.aslasl/tile/elementwise-tile-tile/arithmetic/TADD.asl