Subtract corresponding right-source elements from left-source elements.
PTO-TILE-TSUBTSUB <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 TSUB, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | minuend | contract.operands[1].source0 |
| 输入 | SrcTile1 | subtrahend | contract.operands[2].source1 |
| 输出 | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TSUB, DataType
BSTART.VEC TSUB, 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 TSUB, DataTypeB.DIM LB0=ValidColB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TSUB, 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 | — | — | minuend | — |
source1 | — | — | subtrahend | — |
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_TSUB() => TileOperationbegin return TileOperation_TSUB;end;pure func InstructionContractDataTypeLegal_TSUB( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TSUB( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_SUB, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TSUB() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TSUB( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_SUB, destination, source_left, source_right);end;// PTO-INSTRUCTION: {"assembly":["TSUB <bundle operands>"],"block":["BSTART.VEC TSUB, 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":[1],"catalog_records":[{"arguments":[{"constant":"TileBinary_SUB"},{"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":1,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TSUB","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x001","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 TSUB, 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":["TSUB <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 TSUB, 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":["TSUB is BSTART.VEC Mode 0 Function 1 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, BF16, S8, or U8.","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":"minuend"},{"field":"source1","role":"subtrahend"}],"ordering":["Both sources are snapshotted before destination writes."],"standalone_opcode":false,"state_effects":["Publish source-left minus source-right for each valid coordinate 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-TSUB","mnemonic":"TSUB","summary":"Subtract corresponding right-source elements from left-source elements.","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-TSUB-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TSUB MUST select VEC Mode 0 Function 1 and MUST subtract the ordered// right Local source from the ordered left Local source. 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-TSUB-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TSUB() => TileOperationbegin return TileOperation_TSUB;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TSUB( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TSUB( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_SUB, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TSUB() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TSUB( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_SUB, destination, source_left, source_right);end;// DOC-END: operation
TSUB 让左源元素减去对应右源元素，并发布一个新的 Local 目标。
该操作只在有效矩形内按助记符选定的带类型的元素规则求值。
destination0 标识新分配的目的 Tile。source0 携带该助记符定义的操作数。source1 携带该助记符定义的操作数。FP32、FP16、BF16、S32、S16、S8、U32、U16、U8。LB0、LB1、LB2 按该助记符契约补全有效形状与物理形状；所有必需有效范围都必须非零。所有源描述符与载荷都会在目标发布前完成验证和快照。
完整目标载荷、描述符、已定义性、填充状态与适用数值状态会原子发布；拒绝路径不发布任何部分。
Null 填充让有效矩形外的物理坐标保持未定义；显式非 Null 填充值会用选定带类型的值定义这些位置。
源 Tile 在成功执行后保持不变。
完整绑定模式、维度、DataType、布局、源已定义性、数值编码、目标容量与分配都会在效果前预检。
合法性或分配检查失败会引发相应 Tile 故障，不留下部分目标、状态或内存效果。
下面的示例只帮助理解当前 ASL 绑定契约，并不是第二份指令定义。
TSUB <bundle operands> 先完成完整预检与源快照，再原子发布助记符定义的结果与填充状态。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TSUB MUST select VEC Mode 0 Function 1 and MUST subtract the ordered right Local source from the ordered left Local source. 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-TSUB-CONTRACT-001asl/tile/elementwise-tile-tile/arithmetic/TSUB.asl4140b52ce59eb75cf4aa1119f54b81b9f7247de5bef987fbd7546925b2d80d87fea741900b1cd4b6e00dc428fb93cbfb1fb98afa9229d970d32931f8dcbb8c6e14 matching entries
PTO-AVS-TILE-TSUB-ORDER-001tests/asl/tile/elementwise-tile-tile/arithmetic/TSUB/tile-exec-tsub-order-001.aslaf83914a5b8502fb106d770f8c8d8e5cf2b4a331665784b72bd006a70145f105PTO-AVS-TILE-TSUB-PADDING-001tests/asl/tile/elementwise-tile-tile/arithmetic/TSUB/tile-state-tsub-padding-001.asl392127825e84a9ee0e66cad7a9fdec310ac7b2e34d3b6a7e0e76b0151a4c008fPTO-AVS-TILE-TSUB-STATIC-001tests/asl/tile/elementwise-tile-tile/arithmetic/TSUB/tile-static-tsub-contract-001.aslfea3dea6bc6e1c2b82f1937fc95f3ac29d90591dd5504872d83b425f95e7cb5bPTO-AVS-TILE-TSUB-TYPES-001tests/asl/tile/elementwise-tile-tile/arithmetic/TSUB/tile-bound-tsub-types-001.asl0ce3160c45379255d2297ace3b10c0acbf79a9e44549ed99c84d74416c4f212aPTO-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/TSUB.md",
"id": "PTO-TILE-TSUB",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TSUB",
"ndf_clause": "PTO-INST-TILE-TSUB"
},
"mnemonic": "TSUB",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TSUB-ORDER-001",
"PTO-AVS-TILE-TSUB-PADDING-001",
"PTO-AVS-TILE-TSUB-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/arithmetic/TSUB.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TSUB-ORDER-001",
"PTO-AVS-TILE-TSUB-PADDING-001",
"PTO-AVS-TILE-TSUB-STATIC-001",
"PTO-AVS-TILE-TSUB-TYPES-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868124140b52ce59eb75cf4aa1119f54b81b9f7247de5bef987fbd7546925b2d80d874fd95a164344f671df21b2c8015a18bcf1057be24367fda3f64b2d9c3c2f522easl/tile/elementwise-tile-tile/arithmetic/TSUB.aslasl/tile/elementwise-tile-tile/arithmetic/TSUB.aslasl/tile/elementwise-tile-tile/arithmetic/TSUB.asl