Multiply corresponding elements of two Local Tiles.
PTO-TILE-TMULTMUL <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 TMUL, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | left factor | contract.operands[1].source0 |
| 输入 | SrcTile1 | right factor | contract.operands[2].source1 |
| 输出 | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TMUL, DataType
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必选BSTART.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| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
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
destination0source0source1下面是该指令所有者中的 Operation；页面没有重写这段行为。
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 逐元素相乘两个 Local Tile。
ASL DOC 契约通过该指令的选择器编码块载体选择 TileHandler_ExecuteTileBinary。
源快照之前，必须检查绑定模式、维度、DataType、行主序布局、源已定义性与编码、PE_MASK、目的容量和适用属性。
destination0 是新 Local 目的地；source0 是左因子；source1 是右因子。
除非当前契约明确指出状态被消费或替换，否则源保持持久；只有完整预检后才发布目的描述符。
每个有效坐标都按所选元素类型执行操作；目的地发布之前会快照全部源和私有 GPR 标量操作数。
有效载荷、选中的物理填充的已定义性、描述符和适用的粘滞数值标志原子发布；拒绝时没有架构效果。
绑定格式错误、类型或布局不受支持、形状无效、被消费元素未定义、属性非法或目的容量不足时，会在源快照或发布之前拒绝操作。
分配失败触发所有者定义的 Tile 分配故障；其他被拒绝的绑定模式或值条件触发所有者定义的合法性、块控制或内存故障，且不产生部分效果。
这是示例性契约模式草图；它用于组织字段和绑定关系，不声称可以直接汇编。
把 BSTART.VEC TMUL, U64; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP 作为示例性绑定演练，再以下方生成契约确认精确维度、属性和故障行为。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
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 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812add330416d6c9b3308d6a5ebc508a1bee9a509307af5b693fef9f3f32ae21ebd0016a148f771df130b6f67c60d58b04229e6945e1d1c4d5b1b291100cf4c4806asl/tile/elementwise-tile-tile/arithmetic/TMUL.aslasl/tile/elementwise-tile-tile/arithmetic/TMUL.aslasl/tile/elementwise-tile-tile/arithmetic/TMUL.asl