Stably sort independent row groups and return values with original within-group U32 indices.
PTO-TILE-TSORTTSORT <LB0:sort_width> SrcTile0, SortWidth, Flag0 -> DstTile0, DstTile1| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0:sort_width | dimension | B.DIM LB0=sort_width (optional; zero or omission defaults to 32) |
| 输入 | SrcTile0 | persistent Local source | contract.operands[2].source0 |
| 输入 | SortWidth | LB0 row-group width | contract.operands[3].sort_width |
| 输入 | Flag0 | ascending or descending selection | contract.operands[4].flag0 |
| 输出 | DstTile0 | new Local sorted-value destination | contract.operands[0].destination0 |
| 输出 | DstTile1 | new Local U32 original-index destination | contract.operands[1].destination1 |
BSTART.SFU TSORT, FP32|FP16
BSTART.SFU TSORT, FP32|FP16必选B.DATR all-zero (optional)可选B.DIM LB0=sort_width (optional; zero or omission defaults to 32)可选互斥B.IOR Descending (optional; omission defaults to ascending)可选B.IOT Local source and two new Local destinations, common PE_MASK, <last>必选BSTOP必选BSTART.SFU TSORT, FP32|FP16B.IOT Local source and two new Local destinations, common PE_MASK, <last>BSTOPBSTART.SFU TSORT, FP32; B.DIM LB0=16; B.IOR a0; B.IOT T0, mask=1111, ->T0<TSize>; B.IOT mask=1111, <last>, ->T1<TSize>; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local sorted-value destination | — |
destination1 | — | — | new Local U32 original-index destination | — |
source0 | — | — | persistent Local source | — |
sort_width | — | — | LB0 row-group width | — |
flag0 | — | — | ascending or descending selection | — |
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
destination0destination1source0sort_widthflag0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TSORT() => TileOperationbegin return TileOperation_TSORT;end;pure func InstructionContractDataTypeLegal_TSORT( data_type: TileDataType) => booleanbegin return TileSortDataTypeSupported(data_type);end;
pure func InstructionContractDefaultSortWidth_TSORT() => integer {1..64}begin return 32;end;
pure func InstructionContractDefaultDescending_TSORT() => booleanbegin return FALSE;end;
readonly func InstructionContractOperandsLegal_TSORT( destination: TileIndex, destination_indices: TileIndex, source: TileIndex, sort_width: integer {1..64}, descending: boolean) => booleanbegin return TileOperandsLegal_TSORT( destination, destination_indices, source, sort_width, descending);end;
readonly func InstructionContractHandler_TSORT() => TileSemanticHandlerbegin return TileHandler_TSORT;end;
func InstructionContractExecute_TSORT( destination: TileIndex, destination_indices: TileIndex, source: TileIndex, sort_width: integer {1..64}, descending: boolean)begin assert InstructionContractOperandsLegal_TSORT( destination, destination_indices, source, sort_width, descending); TSORT( destination, destination_indices, source, sort_width, descending);end;// PTO-INSTRUCTION: {"assembly":["TSORT <bundle operands>"],"block":["BSTART.SFU TSORT, FP32|FP16","B.DATR all-zero (optional)","B.DIM LB0=sort_width (optional; zero or omission defaults to 32)","B.IOR Descending (optional; omission defaults to ascending)","B.IOT Local source and two new Local destinations, common PE_MASK, <last>","BSTOP"],"catalog_indices":[77],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"destination1"},{"operand":"source0"},{"operand":"sort_width"},{"operand":"flag0"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":[],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TSORT","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":12,"legality_handler":"TileOperandsLegal_TSORT","mode":3,"name":"TSORT","operands":[{"field":"destination0","role":"new Local sorted-value destination"},{"field":"destination1","role":"new Local U32 original-index destination"},{"field":"source0","role":"persistent Local source"},{"field":"sort_width","role":"LB0 row-group width"},{"field":"flag0","role":"ascending or descending selection"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x06C","semantic_handler":"TSORT","state_effects":["operand:destination0:new-local-sorted-value-destination","operand:destination1:new-local-u32-original-index-destination","operand:source0:persistent-local-source","operand:sort_width:row-group-width","operand:flag0:ascending-or-descending","runtime:NumericStatusFlags:signaling-nan-invalid-status"]}],"classification":["irregular-and-complex","sorting"],"contract":{"block_composition":["BSTART.SFU TSORT, FP32|FP16","B.DATR all-zero (optional)","B.DIM LB0=sort_width (optional; zero or omission defaults to 32)","B.IOR Descending (optional; omission defaults to ascending)","B.IOT Local source and two new Local destinations, common PE_MASK, <last>","BSTOP"],"canonical_assembly":["TSORT <bundle operands>"],"defaults":["Omitted LB0 and encoded LB0 zero both select sort_width 32; values 1 through 64 select that exact group width.","Omitted B.IOR selects ascending order. A present RegSrc0 must contain exactly zero for ascending or one for descending; every unused selector is zero.","Omitted B.DATR selects the operation defaults. A present B.DATR is legal only when every encoded field is zero. Physical padding is Null."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TSORT, FP32; B.DIM LB0=16; B.IOR a0; B.IOT T0, mask=1111, ->T0<TSize>; B.IOT mask=1111, <last>, ->T1<TSize>; BSTOP"],"exceptions":["Malformed or unterminated Local bindings, B.IOS, unsupported DataType, non-row-major layout, nonzero inapplicable B.DATR fields, LB1 or LB2, sort_width above 64, descending other than zero or one, undefined source data, or invalid source encoding raises Fault_TileLegality before effects.","Unrepresentable destination shape, insufficient TSize, unavailable renamed destinations, or exhausted Tile capacity raises Fault_TileAllocation before effects.","PE_MASK zero completes as a strict no-op before control reads, descriptor reads, allocation, faults, numeric status, or payload effects."],"field_contracts":{"B.IOR.RegDst":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"},"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"},"B.IOR.RegSrc1":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"},"B.IOR.RegSrc2":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.DATR":"All fields zero; every nonzero field is inapplicable.","B.DIM.LB0":"Encoded zero and omission both select sort_width 32.","B.IOR":"Omission selects ascending; encoded RegSrc0 zero explicitly reads GPR0 and also selects ascending."},"legality":["TSORT uses the TEPL encoding carrier Mode 3 Function 12, canonically assembles with BSTART.SFU, and has no standalone opcode.","The complete Local binding stream supplies exactly one persistent source and two distinct newly allocated destinations. Value source and value destination are FP32 or FP16; the index destination is U32. All use the same nonzero valid shape and row-major layout.","LB1 and LB2 are absent. B.DATR is all zero. B.IOS is illegal. All B.IOT bindings use one PE_MASK.","Every valid source element is defined and has a valid encoding. Signaling NaN is a legal sortable value and records numeric invalid status rather than causing a Tile legality fault."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local sorted-value destination"},{"field":"destination1","role":"new Local U32 original-index destination"},{"field":"source0","role":"persistent Local source"},{"field":"sort_width","role":"LB0 row-group width"},{"field":"flag0","role":"ascending or descending selection"}],"ordering":["Each valid row is split from column zero into consecutive groups of sort_width; the final short group never reads padding.","Sort is stable. Numeric values precede NaNs in both directions; NaNs retain source order; signed zeros compare equal. Each U32 result is the original zero-based column offset within its group.","Complete schema, control, type, descriptor, shape, capacity, mask, allocation, definedness, and encoding preflight precedes one source snapshot. Both destinations, Null padding, numeric status, and descriptors publish atomically."],"standalone_opcode":false,"state_effects":["Sort every independent row group in the selected ascending or descending direction.","Publish reordered values and matching original within-group column indices. Signaling-NaN observation ORs NV into the sticky numeric status.","The source persists. Rejection publishes no destination, descriptor, or numeric status effect."]},"depends_on":["PTO-BLOCK-MODEL-DISPATCH-SORTING-SCHEMA","PTO-TILE-MODEL-EXECUTION-SORTING"],"engine":"SFU","id":"PTO-TILE-TSORT","mnemonic":"TSORT","summary":"Stably sort independent row groups and return values with original within-group U32 indices.","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-TSORT-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TSORT MUST select SFU Mode 3 Function 12 and MUST accept exactly FP32, FP16,// and BF16. It MUST stably sort each independent valid-row group, MUST return the// matching original within-group U32 indices, MUST place numeric values before// NaNs in either direction, and MUST set numeric invalid status when a// signaling NaN is observed. Omitted or zero LB0 MUST select width 32.// NDF-END: PTO-TSORT-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TSORT() => TileOperationbegin return TileOperation_TSORT;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TSORT( data_type: TileDataType) => booleanbegin return TileSortDataTypeSupported(data_type);end;
pure func InstructionContractDefaultSortWidth_TSORT() => integer {1..64}begin return 32;end;
pure func InstructionContractDefaultDescending_TSORT() => booleanbegin return FALSE;end;
readonly func InstructionContractOperandsLegal_TSORT( destination: TileIndex, destination_indices: TileIndex, source: TileIndex, sort_width: integer {1..64}, descending: boolean) => booleanbegin return TileOperandsLegal_TSORT( destination, destination_indices, source, sort_width, descending);end;
readonly func InstructionContractHandler_TSORT() => TileSemanticHandlerbegin return TileHandler_TSORT;end;
func InstructionContractExecute_TSORT( destination: TileIndex, destination_indices: TileIndex, source: TileIndex, sort_width: integer {1..64}, descending: boolean)begin assert InstructionContractOperandsLegal_TSORT( destination, destination_indices, source, sort_width, descending); TSORT( destination, destination_indices, source, sort_width, descending);end;// DOC-END: operation
TSORT 对独立行组执行稳定排序，并同时发布值与原始组内 U32 索引。
每个有效行从列零开始划分为连续的选定-宽度分组；最后一个短分组不读取填充。
排序是稳定的；两个方向都让数值值位于 NaN 前，NaN 保持源顺序，有符号零比较相等。
destination0 标识新分配的目的 Tile。destination1 标识新分配的索引目的 Tile。source0 提供持久源 Tile。sort_width 选择行内分组宽度。flag0 携带该助记符定义的操作数。FP32、FP16。LB0 选择 sort_width，省略或为 0 时默认 32。LB1与LB2 必须不存在；源与两个目标保持相同的非零有效形状。所有源描述符与载荷都会在目标发布前完成验证和快照。
完整目标载荷、描述符、已定义性、填充状态与适用数值状态会原子发布；拒绝路径不发布任何部分。
有效矩形外的物理坐标是未定义 Null 填充；B.DATR 的每个字段都必须保持零。
源 Tile 在成功执行后保持不变。
完整绑定模式、维度、DataType、布局、源已定义性、数值编码、目标容量与分配都会在效果前预检。
合法性或分配检查失败会引发相应 Tile 故障，不留下部分目标、状态或内存效果。
PE_MASK=0000 是严格无操作，发生在操作数读取、分配、故障、数值状态或载荷效果之前。
下面的示例只帮助理解当前 ASL 绑定契约，并不是第二份指令定义。
TSORT <bundle operands> 先完成完整预检与源快照，再原子发布助记符定义的结果与填充状态。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TSORT MUST select SFU Mode 3 Function 12 and MUST accept exactly FP32, FP16, and BF16. It MUST stably sort each independent valid-row group, MUST return the matching original within-group U32 indices, MUST place numeric values before NaNs in either direction, and MUST set numeric invalid status when a signaling NaN is observed. Omitted or zero LB0 MUST select width 32.
PTO-TSORT-CONTRACT-001asl/tile/irregular-and-complex/sorting/TSORT.asle6912ac54151cc977f8545b5ab33b892e9a62b291b7a0509a57b9c71678a76a6025772eedc837a15eb080dc602937d98370888991f695b2330bff4c6fa8a49e624 matching entries
PTO-AVS-BLOCK-B-IOR-TILE-CONSUMERS-EXEC-003tests/asl/block/operands/B.IOR/block-exec-b-ior-tile-consumers-003.aslc9cd039c91973c3850d6dfefe4ac2450135db435db1fd77303706c341390ad96PTO-AVS-TILE-SORT-ORDER-001tests/asl/tile/model/ordering/sorting/tile-bound-sort-order-001.asl6afcd2bcb531544f993b32dc12e6b76cd7f8cb82bc551ee38a4ed1f09229ef96PTO-AVS-TILE-TSORT-BUNDLE-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-exec-tsort-bundle-001.asl5ec8be6f72693808766d854165437de7106c4d03bf3c4ae72c39163b53ec658cPTO-AVS-TILE-TSORT-GROUPS-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-exec-tsort-groups-001.aslb015d8eb7dcb05c45dab40f84f88b8e70499a25bd914f87e61cd7d98e61345f8PTO-AVS-TILE-TSORT-KERNEL-001tests/asl/tile/model/execution/sorting/tile-exec-tsort-kernel-001.asl07465838397c2c58a6667ee7b2a9c9ebc3d259a08f8d8b666da41d4f1ff58b71PTO-AVS-TILE-TSORT-LEGALITY-001tests/asl/tile/model/legality/sorting/tile-bound-tsort-legality-001.asl1d474005cd9a74adb46ce4051e57beb06eeb44dd149dc69aead7397162317000PTO-AVS-TILE-TSORT-SHAPE-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-bound-tsort-shape-001.asldbd812fb2f878a2652efeba67fd5423d14c612b5a2c97f3cb7cacf711d6207b4PTO-AVS-TILE-TSORT-SNAN-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-bound-tsort-snan-001.asl8d541c1f06717d53170d08e17cd3c84d3fd5eab081b866345d2358c709abe8e4PTO-AVS-TILE-TSORT-STATIC-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-static-tsort-contract-001.aslef53888a540b9a8f7683e857b48cfd5b1242d2cb90915fb4270a459ed376ae06PTO-AVS-TILE-TSORT-TYPES-001tests/asl/tile/irregular-and-complex/sorting/TSORT/tile-bound-tsort-types-001.asl8b6b30bf2b07dc9720e18400d793ab460741023be309d89ceeec542333b059b3PTO-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-0053…
ADR-0053docs/status/decisions/0053-pto-isa-0580-tile-operation-cleanup.md0957f3ccf0b6dee3a95e373d7acaa56724bd276f6852b0e2ad8bc5af05aaff5fLoading ADR-0057…
ADR-0057docs/status/decisions/0057-tile-classification-and-engine-aliases.mdb812b5d70b7e6749b2772d5b4b23ed790aa62c915452392b4552a5ac056cad78Loading ADR-0058…
ADR-0058docs/status/decisions/0058-complete-bundle-gpr-operand-resolution.md4f816cc6b98c0c1b4351d5f239b5fe41f45ef3200fac1481e75035f40349f74bLoading ADR-0059…
ADR-0059docs/status/decisions/0059-mnemonic-field-encoding-closure.mdf18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196Loading ADR-0083…
ADR-0083docs/status/decisions/0083-tile-conversion-layout-and-partial-operations.md0812a27ff41ba26e0b56ba7a444e5336be683fa88564a4a50ec9d8595c0accbcLoading ADR-0102…
ADR-0102docs/status/decisions/0102-0584-1-publication-contract-corrections.md480299ecf735572f5673aa43f9f2b521469d78be64454baf4fbaeb1cf57ad603Loading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"irregular-and-complex",
"sorting"
],
"documentation": "docs/tile/irregular-and-complex/sorting/TSORT.md",
"id": "PTO-TILE-TSORT",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TSORT",
"ndf_clause": "PTO-INST-TILE-TSORT"
},
"mnemonic": "TSORT",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0053",
"ADR-0057",
"ADR-0058",
"ADR-0059",
"ADR-0083",
"ADR-0102",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TSORT-BUNDLE-001",
"PTO-AVS-TILE-TSORT-GROUPS-001",
"PTO-AVS-TILE-TSORT-SHAPE-001",
"PTO-AVS-TILE-TSORT-SNAN-001",
"PTO-AVS-TILE-TSORT-TYPES-001"
],
"source": "asl/tile/irregular-and-complex/sorting/TSORT.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TSORT-BUNDLE-001",
"PTO-AVS-TILE-TSORT-GROUPS-001",
"PTO-AVS-TILE-TSORT-SHAPE-001",
"PTO-AVS-TILE-TSORT-SNAN-001",
"PTO-AVS-TILE-TSORT-STATIC-001",
"PTO-AVS-TILE-TSORT-TYPES-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812e6912ac54151cc977f8545b5ab33b892e9a62b291b7a0509a57b9c71678a76a65676b2efb766ee152a97e8700741f8321ea5c8425f6df33ea3ae37f5b1a4ec27asl/tile/irregular-and-complex/sorting/TSORT.aslasl/tile/irregular-and-complex/sorting/TSORT.aslasl/tile/irregular-and-complex/sorting/TSORT.asl