Subtract one private-GPR scalar from every valid element of a Local Tile.
PTO-TILE-TSUBSTSUBS <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, Scalar0 -> 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 TSUBS, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local numeric source | contract.operands[1].source0 |
| 输入 | Scalar0 | per-participating-PE private-GPR scalar | contract.operands[2].scalar0 |
| 输出 | DstTile | new Local numeric destination | contract.operands[0].destination0 |
BSTART.VEC TSUBS, DataType
BSTART.VEC TSUBS, DataType必选B.DATR PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>必选B.IOR ScalarGPR, zero, zero, ->zero (optional)可选BSTOP必选BSTART.VEC TSUBS, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TSUBS, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local numeric destination | — |
source0 | — | — | persistent Local numeric source | — |
scalar0 | — | — | per-participating-PE private-GPR scalar | — |
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
destination0source0scalar0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TSUBS() => TileOperationbegin return TileOperation_TSUBS;end;pure func InstructionContractDataTypeLegal_TSUBS( data_type: TileDataType) => booleanbegin return TileBinaryDataTypeSupported( TileBinary_SUB, data_type);end;
readonly func InstructionContractOperandsLegal_TSUBS( destination: TileIndex, source: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileScalar( TileBinary_SUB, destination, source, scalar);end;
readonly func InstructionContractHandler_TSUBS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileScalar;end;
func InstructionContractExecute_TSUBS( destination: TileIndex, source: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TSUBS( destination, source, scalar); ExecuteTileScalar( TileBinary_SUB, destination, source, scalar);end;// PTO-INSTRUCTION: {"assembly":["TSUBS <bundle operands>"],"block":["BSTART.VEC TSUBS, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"catalog_indices":[26],"catalog_records":[{"arguments":[{"constant":"TileBinary_SUB"},{"operand":"destination0"},{"operand":"source0"},{"operand":"scalar0"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileScalar","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":1,"legality_handler":"TileOperandsLegal_ExecuteTileScalar","mode":1,"name":"TSUBS","operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x021","semantic_handler":"ExecuteTileScalar","state_effects":["operand:destination0:new-local-numeric-destination","operand:source0:persistent-local-source","operand:scalar0:private-gpr-raw-element","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["tile-scalar-and-immediate","arithmetic"],"contract":{"block_composition":["BSTART.VEC TSUBS, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"canonical_assembly":["TSUBS <bundle operands>"],"defaults":["LB0 is required and supplies nonzero ValidCol. Omitted LB1 selects ValidRow=1. Omitted LB2 selects Col=ValidCol; every explicitly present dimension must be nonzero.","Omitted B.DATR selects PadValue=Null. Explicit PadValue 00, 01, 10, and 11 select Zero, Max, Min, and Null.","Omitted B.IOR supplies scalar zero. An explicitly present all-zero B.IOR is distinct but supplies the same value; RegSrc1, RegSrc2, and RegDst must be zero."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TSUBS, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP"],"exceptions":["A malformed Local binding stream, B.IOS presence, surplus B.IOR field, missing or zero dimension, unsupported DataType, source descriptor or encoding failure, invalid destination capacity, or allocation failure raises Fault_TileLegality or Fault_TileAllocation before effects.","Operand order is always Tile source minus scalar; floating results follow the profile and integer results wrap at the element width.","CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion after an accepted operation."],"field_contracts":{"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"},"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.DATR.PadValueOrByteId":"Zero padding when B.DATR is present; omission selects Null.","B.IOR.RegSrc0":"The architectural zero register."},"legality":["TSUBS is selected only by the TEPL raw carrier Mode 1 Function 1; canonical execution-engine assembly is BSTART.VEC TSUBS, DataType.","Exactly one terminating Local B.IOT supplies one persistent Local numeric source and one newly allocated Local destination. B.IOS and additional Tile bindings are illegal.","The selected DataType is exactly S32, U32, FP32, S16, U16, FP16, BF16, S8, or U8; every other assigned or reserved DataType rejects before effects.","Source and destination match physical shape, valid shape, row-major layout, and DataType. Every valid source element is defined and every constrained floating encoding is valid.","B.IOR is optional and, when present, only RegSrc0 may be nonzero. PadValueOrByteId is the only applicable B.DATR field; explicit nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.","Source and destination use one PE_MASK. PE_MASK=0000 is a strict no-op before GPR reads, descriptor reads, allocation, faults, numeric status, or payload effects."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"ordering":["Complete schema, attribute, dimension, type, descriptor, source-definedness, scalar-encoding, mask, capacity, and allocation preflight precedes source and scalar snapshots.","The source payload and scalar are snapshotted before destination publication, so a source that aliases the renamed destination observes its old value."],"standalone_opcode":false,"state_effects":["For each valid element compute source - scalar in the selected element interpretation.","Publish valid payload, selected padding definedness, numeric status where applicable, and destination descriptor atomically; the source persists and rejection has no architectural effect."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TSUBS","mnemonic":"TSUBS","summary":"Subtract one private-GPR scalar from every valid element of a Local Tile.","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-TSUBS-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TSUBS MUST consume one Local source, one per-participating-PE// private-GPR scalar from optional B.IOR.RegSrc0, and one renamed Local// destination, and MUST compute source - scalar over the valid region.// The selected DataType MUST satisfy TileA9DataTypeSupported; only// PadValueOrByteId is applicable in B.DATR. Complete legality and// allocation preflight MUST precede source/scalar snapshots and atomic// payload, padding, status, and descriptor publication.// NDF-END: PTO-TSUBS-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TSUBS() => TileOperationbegin return TileOperation_TSUBS;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TSUBS( data_type: TileDataType) => booleanbegin return TileBinaryDataTypeSupported( TileBinary_SUB, data_type);end;
readonly func InstructionContractOperandsLegal_TSUBS( destination: TileIndex, source: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileScalar( TileBinary_SUB, destination, source, scalar);end;
readonly func InstructionContractHandler_TSUBS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileScalar;end;
func InstructionContractExecute_TSUBS( destination: TileIndex, source: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TSUBS( destination, source, scalar); ExecuteTileScalar( TileBinary_SUB, destination, source, scalar);end;// DOC-END: operation
TSUBS 从每个有效源元素中减去一个标量，并发布一个新的 Local 目标。
该操作只在有效矩形内按助记符选定的带类型的元素规则求值。
destination0 标识新分配的目的 Tile。source0 提供持久源 Tile。scalar0 提供逐 PE 标量操作数。FP32、FP16、BF16、S32、S16、S8、U32、U16、U8。LB0、LB1、LB2 按该助记符契约补全有效形状与物理形状；所有必需有效范围都必须非零。所有源描述符与载荷都会在目标发布前完成验证和快照。
完整目标载荷、描述符、已定义性、填充状态与适用数值状态会原子发布；拒绝路径不发布任何部分。
Null 填充让有效矩形外的物理坐标保持未定义；显式非 Null 填充值会用选定带类型的值定义这些位置。
源 Tile 在成功执行后保持不变。
完整绑定模式、维度、DataType、布局、源已定义性、数值编码、目标容量与分配都会在效果前预检。
合法性或分配检查失败会引发相应 Tile 故障，不留下部分目标、状态或内存效果。
PE_MASK=0000 是严格无操作，发生在操作数读取、分配、故障、数值状态或载荷效果之前。
下面的示例只帮助理解当前 ASL 绑定契约，并不是第二份指令定义。
TSUBS <bundle operands> 先完成完整预检与源快照，再原子发布助记符定义的结果与填充状态。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TSUBS MUST consume one Local source, one per-participating-PE private-GPR scalar from optional B.IOR.RegSrc0, and one renamed Local destination, and MUST compute source - scalar over the valid region. The selected DataType MUST satisfy TileA9DataTypeSupported; only PadValueOrByteId is applicable in B.DATR. Complete legality and allocation preflight MUST precede source/scalar snapshots and atomic payload, padding, status, and descriptor publication.
PTO-TSUBS-CONTRACT-001asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.aslc837fdee7b4a6227ffed32416edb43e39c7368c2d0b92183ffd5eab86a5989a27262fc64cfcd5b8465025c47b5246992c1cca8fe2192a35cceba36403107a6be13 matching entries
PTO-AVS-TILE-TSUBS-ORDER-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS/tile-exec-tsubs-order-001.asl7c03b862cff4617d4dd99d3b01793f8daf2f72734d9793088dc2b97ccbd7ad8cPTO-AVS-TILE-TSUBS-STATIC-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS/tile-static-tsubs-contract-001.asl62bb1050440b268c611a43d9bd7e5b4c2844d57a694247423660fdddda5d5d71PTO-AVS-TILE-TSUBS-TYPES-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS/tile-bound-tsubs-types-001.asl8503c40881bfaf0066e6fc5d1ad76bcc96cb9efc7a5516dfa22b1a0ea0ecc996PTO-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-0081…
ADR-0081docs/status/decisions/0081-tile-scalar-and-immediate-operations.md70ee9b0788be4841df407f15eba3893cf1f4be8fb93d25a1ce23eaafc279ef59{
"classification": [
"tile-scalar-and-immediate",
"arithmetic"
],
"documentation": "docs/tile/tile-scalar-and-immediate/arithmetic/TSUBS.md",
"id": "PTO-TILE-TSUBS",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TSUBS",
"ndf_clause": "PTO-INST-TILE-TSUBS"
},
"mnemonic": "TSUBS",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0081"
],
"semantic_tests": [
"PTO-AVS-TILE-TSUBS-ORDER-001",
"PTO-AVS-TILE-TSUBS-TYPES-001"
],
"source": "asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TSUBS-ORDER-001",
"PTO-AVS-TILE-TSUBS-STATIC-001",
"PTO-AVS-TILE-TSUBS-TYPES-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812c837fdee7b4a6227ffed32416edb43e39c7368c2d0b92183ffd5eab86a5989a22467436ccebe930df823ea900f6eb2987d5d22d8165803b48ea85c43b06d9932asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.aslasl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.aslasl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.asl