Take the typed minimum of a full-shape source and a broadcast one-row vector.
PTO-TILE-TCOLEXPANDMINTCOLEXPANDMIN <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 TCOLEXPANDMIN, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local full-shape numeric source | contract.operands[1].source0 |
| 输入 | SrcTile1 | persistent Local one-row broadcast source | contract.operands[2].source1 |
| 输出 | DstTile | new Local same-type numeric destination | contract.operands[0].destination0 |
BSTART.SFU TCOLEXPANDMIN, DataType
BSTART.SFU TCOLEXPANDMIN, 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 TCOLEXPANDMIN, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TCOLEXPANDMIN, 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-row 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_TCOLEXPANDMIN() => TileOperationbegin return TileOperation_TCOLEXPANDMIN;end;pure func InstructionContractDataTypeLegal_TCOLEXPANDMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_MIN, TileAxis_Column, destination, source, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPANDMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPANDMIN( destination, source, broadcast); ExecuteTileExpand( TileExpand_MIN, TileAxis_Column, destination, source, broadcast);end;// PTO-INSTRUCTION: {"assembly":["TCOLEXPANDMIN <bundle operands>"],"block":["BSTART.SFU TCOLEXPANDMIN, 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":[64],"catalog_records":[{"arguments":[{"constant":"TileExpand_MIN"},{"constant":"TileAxis_Column"},{"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":26,"legality_handler":"TileOperandsLegal_ExecuteTileExpand","mode":2,"name":"TCOLEXPANDMIN","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-row broadcast source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x05A","semantic_handler":"ExecuteTileExpand","state_effects":["operand:destination0:new-local-same-type-destination","operand:source0:persistent-local-full-shape-source","operand:source1:persistent-local-one-row-broadcast-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","column-expansion"],"contract":{"block_composition":["BSTART.SFU TCOLEXPANDMIN, 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":["TCOLEXPANDMIN <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[0,c]) 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 TCOLEXPANDMIN, 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":["TCOLEXPANDMIN is selected by the TEPL raw encoding carrier Mode 2 Function 26; 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-row 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 one and ValidCol and physical Col equal to the destination.","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-row 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[0,c]) 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-TCOLEXPANDMIN","mnemonic":"TCOLEXPANDMIN","summary":"Take the typed minimum of a full-shape source and a broadcast one-row 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-TCOLEXPANDMIN-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCOLEXPANDMIN MUST select the minimum of the full-shape source and one-row source down rows 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-TCOLEXPANDMIN-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCOLEXPANDMIN() => TileOperationbegin return TileOperation_TCOLEXPANDMIN;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCOLEXPANDMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_MIN, TileAxis_Column, destination, source, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPANDMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPANDMIN( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPANDMIN( destination, source, broadcast); ExecuteTileExpand( TileExpand_MIN, TileAxis_Column, destination, source, broadcast);end;// DOC-END: operation
TCOLEXPANDMIN 是一条由 SFU 执行、通过选择器编码的 Tile 操作。它选择每个完整形状元素与同列广播值的有类型最小值；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数选择每个完整形状元素与同列广播值的有类型最小值。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“新分配的 Local 同类型数值目标”。source0 的精确契约角色是“持久 Local 完整形状数值源”。source1 的精确契约角色是“持久 Local 单行广播源”。参与操作的源与目标描述符采用当前契约规定的行优先布局和形状关系。 操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
精确的可接受类型或类型组合由下方生成的合法性章节拥有；本指南不会扩大该集合。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TCOLEXPANDMIN 示例说明：完整形状行 [1, 5] 与广播行 [3, 4] 产生 [1, 4]。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TCOLEXPANDMIN MUST select the minimum of the full-shape source and one-row source down rows 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-TCOLEXPANDMIN-CONTRACT-001asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.aslb97e52b134801dbcc44501ee03a65c749c662a601c9ba6a8885d9953a2ebda4ad0c145c260bb10cfb4f20e7950865b0d9d5b1b59b6910105bcce90b9a283751912 matching entries
PTO-AVS-TILE-TCOLEXPANDMIN-SIGNED-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN/tile-exec-tcolexpandmin-signed-001.asl6e0a5a1def3e2b11f332d9ca8b3c4cfc3df463096d073ba3b7b19e2b042d4916PTO-AVS-TILE-TCOLEXPANDMIN-STATIC-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN/tile-static-tcolexpandmin-contract-001.asl7024b650e9611a3e13cbfd40c48064eb918629bfbcfd12b8b1fbb0d7c0671b62PTO-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",
"column-expansion"
],
"documentation": "docs/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.md",
"id": "PTO-TILE-TCOLEXPANDMIN",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCOLEXPANDMIN",
"ndf_clause": "PTO-INST-TILE-TCOLEXPANDMIN"
},
"mnemonic": "TCOLEXPANDMIN",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TCOLEXPANDMIN-SIGNED-001"
],
"source": "asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCOLEXPANDMIN-SIGNED-001",
"PTO-AVS-TILE-TCOLEXPANDMIN-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812b97e52b134801dbcc44501ee03a65c749c662a601c9ba6a8885d9953a2ebda4a9f1b5d545a952b011ef703c613ce737889111508985f716cd7506c1fe56fa02casl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.asl