Divide corresponding Local Tile elements under the selected numeric profile.
PTO-TILE-TDIVTDIV <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.SFU TDIV, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | ordered numerator | contract.operands[1].source0 |
| Input | SrcTile1 | ordered denominator | contract.operands[2].source1 |
| Output | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.SFU TDIV, DataType
BSTART.SFU TDIV, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT Numerator, Denominator, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.SFU TDIV, DataTypeB.DIM LB0=ValidColB.IOT Numerator, Denominator, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TDIV, S64; B.DIM LB0=ValidCol; B.IOT Numerator, Denominator, 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 numerator | — |
source1 | — | — | ordered denominator | — |
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_TDIV() => TileOperationbegin return TileOperation_TDIV;end;pure func InstructionContractDataTypeLegal_TDIV( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TDIV( destination: TileIndex, numerator: TileIndex, denominator: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_DIV, destination, numerator, denominator);end;
readonly func InstructionContractHandler_TDIV() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TDIV( destination: TileIndex, numerator: TileIndex, denominator: TileIndex)begin ExecuteTileBinary( TileBinary_DIV, destination, numerator, denominator);end;// PTO-INSTRUCTION: {"assembly":["TDIV <bundle operands>"],"block":["BSTART.SFU TDIV, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT Numerator, Denominator, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[3],"catalog_records":[{"arguments":[{"constant":"TileBinary_DIV"},{"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":3,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TDIV","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"numerator"},{"field":"source1","role":"denominator"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x003","semantic_handler":"ExecuteTileBinary","state_effects":["operand:destination0:destination","operand:source0:numerator","operand:source1:denominator"]}],"classification":["elementwise-tile-tile","transcendental"],"contract":{"block_composition":["BSTART.SFU TDIV, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT Numerator, Denominator, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TDIV <bundle operands>"],"defaults":["LB0 is required and nonzero; omitted LB1 selects ValidRow=1 and omitted LB2 selects Col=ValidCol.","Omitted B.DATR selects PadValue=Null; explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null.","The numeric profile owns fixed rounding, floating exceptional values, and floating positive or negative zero division."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TDIV, S64; B.DIM LB0=ValidCol; B.IOT Numerator, Denominator, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["An integer zero in the valid denominator rectangle raises Fault_TileLegality before source snapshots, allocation publication, or destination effects; denominator padding is not read.","Malformed bindings, unsupported types, undefined inputs, mismatched descriptors, or invalid capacity reject before effects; floating zero is handled by the selected numeric profile."],"field_contracts":{},"field_zero_meanings":{},"legality":["TDIV retains TEPL carrier Mode 0 Function 3 but is canonically classified as SFU.","Exactly one terminating Local B.IOT supplies ordered numerator and denominator sources plus one new Local destination; B.IOR and B.IOS are illegal and PE_MASK zero 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 rectangles are defined and all three Tiles match physical shape, valid shape, row-major layout, DataType, and the selected mask.","Only B.DATR PadValueOrByteId is applicable."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local destination"},{"field":"source0","role":"ordered numerator"},{"field":"source1","role":"ordered denominator"}],"ordering":["Both source payloads are snapshotted after all legality and integer-zero checks, so aliasing is read-before-write."],"standalone_opcode":false,"state_effects":["Signed integers use signed division, unsigned integers use unsigned division, and floating values use the selected floating division profile.","The valid quotient and selected physical padding publish atomically; rejection leaves descriptor, payload, and allocation state unchanged."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"SFU","id":"PTO-TILE-TDIV","mnemonic":"TDIV","summary":"Divide corresponding Local Tile elements under the selected numeric profile.","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-TDIV-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TDIV MUST retain TEPL Mode 0 Function 3 while executing on the SFU engine.// It MUST divide an ordered Local numerator by denominator using the selected// arithmetic type. Integer zero in the valid denominator rectangle MUST raise// Illegal Block Exception before effects; floating zero MUST enter the numeric// profile. Shape defaults, PadValue, snapshots, and publication MUST follow// the closed binary Tile contract.// NDF-END: PTO-TDIV-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TDIV() => TileOperationbegin return TileOperation_TDIV;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TDIV( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TDIV( destination: TileIndex, numerator: TileIndex, denominator: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_DIV, destination, numerator, denominator);end;
readonly func InstructionContractHandler_TDIV() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TDIV( destination: TileIndex, numerator: TileIndex, denominator: TileIndex)begin ExecuteTileBinary( TileBinary_DIV, destination, numerator, denominator);end;// DOC-END: operation
TDIV is a selector-encoded Tile operation executed by SFU. It divides corresponding numerator and denominator elements under the selected integer or floating interpretation; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler divides corresponding numerator and denominator elements under the selected integer or floating interpretation. 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 numerator.source1 has the exact contract role ordered denominator.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 TDIV example, numerator 8 and denominator 2 produce quotient 4.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TDIV MUST retain TEPL Mode 0 Function 3 while executing on the SFU engine. It MUST divide an ordered Local numerator by denominator using the selected arithmetic type. Integer zero in the valid denominator rectangle MUST raise Illegal Block Exception before effects; floating zero MUST enter the numeric profile. Shape defaults, PadValue, snapshots, and publication MUST follow the closed binary Tile contract.
PTO-TDIV-CONTRACT-001asl/tile/elementwise-tile-tile/transcendental/TDIV.aslcb1210c420ca334f659a523b0d84227a57da7afc963b8f207951b14567e9e9f048cc000137ba813a120bf2c126acb95950da0f3dc778705313621193496ccd8516 matching entries
PTO-AVS-TILE-TDIV-DIM-DEFAULTS-001tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-exec-tdiv-dim-defaults-001.asl3708e1a13166213a325f674af8362d0daf3dc2a03ff5ec8fbe32438bf269f76fPTO-AVS-TILE-TDIV-PADDING-001tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-state-tdiv-padding-001.asl323b782f351097634dd07df9602c7efa38ce2921c48952e50ad7746dc32ee406PTO-AVS-TILE-TDIV-SIGNED-001tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-exec-tdiv-signed-001.asl85ebeb3e88f7ce2bc3a5d9eb629e7a54bda8e9900913dd7f4086b3a9834d0041PTO-AVS-TILE-TDIV-STATIC-001tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-static-tdiv-contract-001.aslde7e6a25ade4e34ccaba4144da6029ec09f86cfdb65ddf30f6342b4aef3dcd69PTO-AVS-TILE-TDIV-TYPE-DOMAIN-002tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-bound-tdiv-type-domain-002.asldf0d95b70bec3bbed3f5f7fa8782727562d75d976df9017f22f3f009ff3e03ffPTO-AVS-TILE-TDIV-ZERO-TYPES-001tests/asl/tile/elementwise-tile-tile/transcendental/TDIV/tile-bound-tdiv-zero-types-001.asl29a4aba8e41a07690c06585d6d5e64f458390a76bd424fd0b23bb24b9ba3a474PTO-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",
"transcendental"
],
"documentation": "docs/tile/elementwise-tile-tile/transcendental/TDIV.md",
"id": "PTO-TILE-TDIV",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TDIV",
"ndf_clause": "PTO-INST-TILE-TDIV"
},
"mnemonic": "TDIV",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TDIV-DIM-DEFAULTS-001",
"PTO-AVS-TILE-TDIV-PADDING-001",
"PTO-AVS-TILE-TDIV-SIGNED-001",
"PTO-AVS-TILE-TDIV-TYPE-DOMAIN-002",
"PTO-AVS-TILE-TDIV-ZERO-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/transcendental/TDIV.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TDIV-DIM-DEFAULTS-001",
"PTO-AVS-TILE-TDIV-PADDING-001",
"PTO-AVS-TILE-TDIV-SIGNED-001",
"PTO-AVS-TILE-TDIV-STATIC-001",
"PTO-AVS-TILE-TDIV-TYPE-DOMAIN-002",
"PTO-AVS-TILE-TDIV-ZERO-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812cb1210c420ca334f659a523b0d84227a57da7afc963b8f207951b14567e9e9f0345e5ac1fee404285aab25c4b7a92e4122655b95cd67784b223f19d1ee0a711fasl/tile/elementwise-tile-tile/transcendental/TDIV.aslasl/tile/elementwise-tile-tile/transcendental/TDIV.aslasl/tile/elementwise-tile-tile/transcendental/TDIV.asl