Multiply corresponding elements of two Local Tiles.
PTO-TILE-TMULTMUL <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 TMUL, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | left factor | contract.operands[1].source0 |
| Input | SrcTile1 | right factor | contract.operands[2].source1 |
| Output | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TMUL, DataType
BSTART.VEC TMUL, 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 TMUL, DataTypeB.DIM LB0=ValidColB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TMUL, U64; B.DIM LB0=ValidCol; 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 | — | — | left factor | — |
source1 | — | — | right factor | — |
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_TMUL() => TileOperationbegin return TileOperation_TMUL;end;pure func InstructionContractDataTypeLegal_TMUL( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TMUL( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_MUL, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TMUL() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TMUL( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_MUL, destination, source_left, source_right);end;// PTO-INSTRUCTION: {"assembly":["TMUL <bundle operands>"],"block":["BSTART.VEC TMUL, 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":[2],"catalog_records":[{"arguments":[{"constant":"TileBinary_MUL"},{"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":2,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TMUL","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x002","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 TMUL, 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":["TMUL <bundle operands>"],"defaults":["LB0 is required and supplies nonzero ValidCol; omitted LB1 defaults ValidRow to one and omitted LB2 defaults Col to ValidCol.","Omitted B.DATR selects PadValue=Null; explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TMUL, U64; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["Malformed bindings, missing or zero dimensions, undefined or mismatched sources, unsupported DataType, or invalid destination capacity raises Fault_TileLegality before effects."],"field_contracts":{},"field_zero_meanings":{},"legality":["TMUL is BSTART.VEC Mode 0 Function 2 and has no standalone opcode.","Exactly one terminating Local B.IOT supplies two ordered Local sources and one new Local destination; B.IOR and B.IOS are illegal.","DataType is one of S32, U32, FP32, S16, U16, FP16, or BF16.","Sources are fully defined and all three Tiles match physical shape, valid shape, row-major layout, DataType, and PE_MASK.","Only B.DATR PadValueOrByteId is applicable."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local destination"},{"field":"source0","role":"left factor"},{"field":"source1","role":"right factor"}],"ordering":["Both sources are snapshotted before destination writes."],"standalone_opcode":false,"state_effects":["Publish the elementwise products after complete preflight.","Pad the remaining physical region using the selected PadValue; Null padding is undefined."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TMUL","mnemonic":"TMUL","summary":"Multiply 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-TMUL-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TMUL MUST select VEC Mode 0 Function 2 and MUST multiply corresponding// elements of two ordered Local sources. The closed binary Tile schema,// shape defaults, arithmetic DataType set, PadValue behavior, complete// preflight, source snapshot, and atomic destination publication MUST match// the TADD family contract. Rejection MUST precede all effects.// NDF-END: PTO-TMUL-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TMUL() => TileOperationbegin return TileOperation_TMUL;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TMUL( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TMUL( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_MUL, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TMUL() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TMUL( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_MUL, destination, source_left, source_right);end;// DOC-END: operation
TMUL multiplies corresponding elements of two Local Tiles.
The ASL DOC contract selects TileHandler_ExecuteTileBinary through the instruction's selector-encoded block carrier.
Binding schema, dimensions, DataType, row-major layout, source definedness and encoding, PE_MASK, destination capacity, and applicable attributes are checked before source snapshots.
destination0 is the new Local destination; source0 is the left factor; source1 is the right factor.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Every valid coordinate applies the operation at the selected element type; all sources and private-GPR scalar operands are snapshotted before destination publication.
The valid payload, selected physical padding definedness, descriptor, and applicable sticky numeric flags publish atomically; rejection has no architectural effect.
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.VEC TMUL, U64; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; 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.
TMUL MUST select VEC Mode 0 Function 2 and MUST multiply corresponding elements of two ordered Local sources. The closed binary Tile schema, shape defaults, arithmetic DataType set, PadValue behavior, complete preflight, source snapshot, and atomic destination publication MUST match the TADD family contract. Rejection MUST precede all effects.
PTO-TMUL-CONTRACT-001asl/tile/elementwise-tile-tile/arithmetic/TMUL.asladd330416d6c9b3308d6a5ebc508a1bee9a509307af5b693fef9f3f32ae21ebd1da7464e52c204ff3369ce9da41a1e5cd8e8ea6e659da733068ec7a1369cb61114 matching entries
PTO-AVS-TILE-TMUL-ALIAS-001tests/asl/tile/elementwise-tile-tile/arithmetic/TMUL/tile-state-tmul-alias-001.aslc2495d1ed54406d43ca9162fa6461faf78ecbeff44bb316f121b066d67cc477fPTO-AVS-TILE-TMUL-PADDING-001tests/asl/tile/elementwise-tile-tile/arithmetic/TMUL/tile-state-tmul-padding-001.asl6e5db1edaa957b30e79ea2e3fe1f74a67509d9d90aa65954d5914521c5e09fc2PTO-AVS-TILE-TMUL-STATIC-001tests/asl/tile/elementwise-tile-tile/arithmetic/TMUL/tile-static-tmul-contract-001.asl6a036e8a117ceeddc3311feb201fce65e37feb5c24307e5529c24ef8fc3f6f72PTO-AVS-TILE-TMUL-TYPES-001tests/asl/tile/elementwise-tile-tile/arithmetic/TMUL/tile-bound-tmul-types-001.asl0f1bac3aab1edbeb05c1ebd7ffacb078fb3008f59e62ce9b4743bc1613464ab5PTO-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/TMUL.md",
"id": "PTO-TILE-TMUL",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TMUL",
"ndf_clause": "PTO-INST-TILE-TMUL"
},
"mnemonic": "TMUL",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TMUL-ALIAS-001",
"PTO-AVS-TILE-TMUL-PADDING-001",
"PTO-AVS-TILE-TMUL-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/arithmetic/TMUL.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TMUL-ALIAS-001",
"PTO-AVS-TILE-TMUL-PADDING-001",
"PTO-AVS-TILE-TMUL-STATIC-001",
"PTO-AVS-TILE-TMUL-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812add330416d6c9b3308d6a5ebc508a1bee9a509307af5b693fef9f3f32ae21ebd5ae0687557e76a7db985abd33a454c1c1ce2c6793e941714f7f0f94ea15c2717asl/tile/elementwise-tile-tile/arithmetic/TMUL.aslasl/tile/elementwise-tile-tile/arithmetic/TMUL.aslasl/tile/elementwise-tile-tile/arithmetic/TMUL.asl