Take the typed minimum of a full-shape source and a broadcast one-column vector.
PTO-TILE-TROWEXPANDMINTROWEXPANDMIN <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.SFU TROWEXPANDMIN, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local full-shape numeric source | contract.operands[1].source0 |
| 输入 | SrcTile1 | persistent Local one-column broadcast source | contract.operands[2].source1 |
| 输出 | DstTile | new Local same-type numeric destination | contract.operands[0].destination0 |
BSTART.SFU TROWEXPANDMIN, DataType
BSTART.SFU TROWEXPANDMIN, DataType必选B.DATR PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>必选BSTOP必选BSTART.SFU TROWEXPANDMIN, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TROWEXPANDMIN, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local same-type numeric destination | — |
source0 | — | — | persistent Local full-shape numeric source | — |
source1 | — | — | persistent Local one-column broadcast source | — |
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_TROWEXPANDMIN() => TileOperationbegin return TileOperation_TROWEXPANDMIN;end;pure func InstructionContractDataTypeLegal_TROWEXPANDMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_MIN, TileAxis_Row, destination, source, broadcast);end;
readonly func InstructionContractHandler_TROWEXPANDMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TROWEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TROWEXPANDMIN( destination, source, broadcast); ExecuteTileExpand( TileExpand_MIN, TileAxis_Row, destination, source, broadcast);end;// PTO-INSTRUCTION: {"assembly":["TROWEXPANDMIN <bundle operands>"],"block":["BSTART.SFU TROWEXPANDMIN, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[50],"catalog_records":[{"arguments":[{"constant":"TileExpand_MIN"},{"constant":"TileAxis_Row"},{"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":"ExecuteTileExpand","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":10,"legality_handler":"TileOperandsLegal_ExecuteTileExpand","mode":2,"name":"TROWEXPANDMIN","operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local full-shape numeric source"},{"field":"source1","role":"persistent Local one-column broadcast source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x04A","semantic_handler":"ExecuteTileExpand","state_effects":["operand:destination0:new-local-same-type-destination","operand:source0:persistent-local-full-shape-source","operand:source1:persistent-local-one-column-broadcast-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","row-expansion"],"contract":{"block_composition":["BSTART.SFU TROWEXPANDMIN, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TROWEXPANDMIN <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.","For every valid destination element, compute typed min(source0[r,c], BroadcastTile[r,0]) at the selected element width.","Integer width, floating rounding, exceptional values, signed-zero behavior, and numeric status are exactly the corresponding TMIN typed operation."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TROWEXPANDMIN, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["A malformed binding stream, B.IOR or B.IOS presence, missing or zero dimension, unsupported DataType, non-row-major source, undefined source element, invalid source encoding, or mismatched source geometry raises Fault_TileLegality before effects.","An unrepresentable destination shape, insufficient TSize, unavailable renamed destination, or exhausted Tile capacity raises Fault_TileAllocation before destination publication.","All valid results, numeric status, selected padding definedness, and the renamed destination descriptor publish atomically; rejection publishes none."],"field_contracts":{"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"}},"field_zero_meanings":{"B.DATR.PadValueOrByteId":"Zero padding when B.DATR is present; omission selects Null.","B.DIM.LB0":"Zero is illegal because LB0 is required and ValidCol is nonzero.","B.DIM.LB1":"Omission selects ValidRow one; an explicitly encoded zero is illegal.","B.DIM.LB2":"Omission selects Col equal to ValidCol; an explicitly encoded zero is illegal."},"legality":["TROWEXPANDMIN is selected by the TEPL raw encoding carrier Mode 2 Function 10; canonical execution-engine assembly is BSTART.SFU and there is no standalone opcode.","Exactly one terminating Local B.IOT supplies one persistent full-shape source, one persistent one-column broadcast source, and one newly allocated Local destination.","The exact legal DataTypes are FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, and U8.","The destination and both sources use exactly the selected DataType.","The broadcast source has ValidRow equal to the destination, the orthogonal valid extent equal to one, and physical Col equal to one.","The full-shape source and destination have identical physical and valid geometry equal to the B.DIM-derived geometry.","Every source is a fully defined row-major numeric Tile with valid numeric encodings.","PadValueOrByteId is the only applicable B.DATR field. B.IOR and B.IOS are illegal.","All operands share one PE_MASK; PE_MASK=0000 is a strict no-op before descriptor reads, allocation, faults, status, or payload effects."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local full-shape numeric source"},{"field":"source1","role":"persistent Local one-column broadcast source"}],"ordering":["Complete schema, attribute, dimension, type, descriptor, source-definedness, source-encoding, mask, capacity, name-allocation, and storage preflight precedes every source snapshot.","All source payloads are snapshotted before result construction; sources persist and legal aliases use read-old/write-new behavior.","Numeric status, all valid results, selected padding definedness, and the renamed destination descriptor publish atomically; rejection publishes none."],"standalone_opcode":false,"state_effects":["For every valid destination element, compute typed min(source0[r,c], BroadcastTile[r,0]) at the selected element width.","Integer width, floating rounding, exceptional values, signed-zero behavior, and numeric status are exactly the corresponding TMIN typed operation.","Apply the selected PadValue to physical destination coordinates outside the valid result rectangle.","Publish the complete renamed destination atomically after every element succeeds."]},"depends_on":["PTO-BLOCK-MODEL-DISPATCH-EXPANSION-SCHEMA","PTO-TILE-MODEL-EXECUTION-EXPANSION","PTO-TILE-MODEL-LEGALITY-REDUCTION-AND-EXPANSION"],"engine":"SFU","id":"PTO-TILE-TROWEXPANDMIN","mnemonic":"TROWEXPANDMIN","summary":"Take the typed minimum of a full-shape source and a broadcast one-column vector.","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-TROWEXPANDMIN-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TROWEXPANDMIN MUST select the minimum of the full-shape source and the// one-column source across columns at the selected DataType.// The complete bundle MUST use one terminating Local B.IOT, MUST reject// B.IOR and B.IOS, and MUST accept only the DataTypes listed by this owner.// Complete preflight and source snapshot MUST precede atomic result, status,// padding, and renamed-destination publication.// NDF-END: PTO-TROWEXPANDMIN-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TROWEXPANDMIN() => TileOperationbegin return TileOperation_TROWEXPANDMIN;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TROWEXPANDMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_MIN, TileAxis_Row, destination, source, broadcast);end;
readonly func InstructionContractHandler_TROWEXPANDMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TROWEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TROWEXPANDMIN( destination, source, broadcast); ExecuteTileExpand( TileExpand_MIN, TileAxis_Row, destination, source, broadcast);end;// DOC-END: operation
TROWEXPANDMIN 在每个有效行上与单列广播取最小值。
广播源的物理列与有效列都是一；其行值会复用于每个有效目标列。
若存在完整形状源，则它与广播源都会在构造结果前完成快照。
浮点结果与元素状态遵循当前具名数值配置档；可移植契约拥有选择、形状、发布与故障顺序。
destination0 标识新分配的目的 Tile。source0 提供持久源 Tile。source1 提供持久源 Tile。FP64、FP32、TF32、HF32、FP16、BF16、E4M3、E5M2、S64、S32、S16、S8、U64、U32、U16、U8。LB0、LB1、LB2 按该助记符契约补全有效形状与物理形状；所有必需有效范围都必须非零。所有源描述符与载荷都会在目标发布前完成验证和快照。
完整目标载荷、描述符、已定义性、填充状态与适用数值状态会原子发布；拒绝路径不发布任何部分。
Null 填充让有效矩形外的物理坐标保持未定义；显式非 Null 填充值会用选定带类型的值定义这些位置。
源 Tile 在成功执行后保持不变。
完整绑定模式、维度、DataType、布局、源已定义性、数值编码、目标容量与分配都会在效果前预检。
合法性或分配检查失败会引发相应 Tile 故障，不留下部分目标、状态或内存效果。
PE_MASK=0000 是严格无操作，发生在操作数读取、分配、故障、数值状态或载荷效果之前。
下面的示例只帮助理解当前 ASL 绑定契约，并不是第二份指令定义。
TROWEXPANDMIN <bundle operands> 先完成完整预检与源快照，再原子发布助记符定义的结果与填充状态。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TROWEXPANDMIN MUST select the minimum of the full-shape source and the one-column source across columns at the selected DataType. The complete bundle MUST use one terminating Local B.IOT, MUST reject B.IOR and B.IOS, and MUST accept only the DataTypes listed by this owner. Complete preflight and source snapshot MUST precede atomic result, status, padding, and renamed-destination publication.
PTO-TROWEXPANDMIN-CONTRACT-001asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.asld2a9c3e010becbda43e01ea0789c5e09849ffffa4962b6d0b043988560d5153f2b8782e78fbc0935c9499e317f219c5357247c7a7a3e87522dfced448463a01112 matching entries
PTO-AVS-TILE-TROWEXPANDMIN-SIGNED-001tests/asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN/tile-exec-trowexpandmin-signed-001.asl489e747f8837d271b44bf0383ff3f1d74eb9d42773a20f9e2e22e14d021b2d95PTO-AVS-TILE-TROWEXPANDMIN-STATIC-001tests/asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN/tile-static-trowexpandmin-contract-001.asle76e4a41cb10531b24532863d997d840be296ec25c874a17e8776a9819a9795cPTO-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-0082…
ADR-0082docs/status/decisions/0082-tile-reduction-expansion-and-generation.md055dc6d42467cea4861c23e7debf7ae5c4b937df4c597b28938ef7997a5d9670{
"classification": [
"reduce-and-expand",
"row-expansion"
],
"documentation": "docs/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.md",
"id": "PTO-TILE-TROWEXPANDMIN",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TROWEXPANDMIN",
"ndf_clause": "PTO-INST-TILE-TROWEXPANDMIN"
},
"mnemonic": "TROWEXPANDMIN",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TROWEXPANDMIN-SIGNED-001"
],
"source": "asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TROWEXPANDMIN-SIGNED-001",
"PTO-AVS-TILE-TROWEXPANDMIN-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812d2a9c3e010becbda43e01ea0789c5e09849ffffa4962b6d0b043988560d5153f0498710dca484011b5bf15149bbcc00e29f964fedd5ca00ca2b41366a017030aasl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.aslasl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.aslasl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.asl