Exponentiate the typed difference between a full-shape source and a broadcast one-row vector.
PTO-TILE-TCOLEXPANDEXPDIFTCOLEXPANDEXPDIF <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 TCOLEXPANDEXPDIF, DataType |
| 参数 | PadValue | padding value | B.DATR DataType, 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 DstDataType destination | contract.operands[0].destination0 |
BSTART.SFU TCOLEXPANDEXPDIF, DataType
BSTART.SFU TCOLEXPANDEXPDIF, DataType必选B.DATR DataType, 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 TCOLEXPANDEXPDIF, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TCOLEXPANDEXPDIF, SrcDataType; B.DATR DataType, 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 DstDataType 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_TCOLEXPANDEXPDIF() => TileOperationbegin return TileOperation_TCOLEXPANDEXPDIF;end;pure func InstructionContractDataTypeLegal_TCOLEXPANDEXPDIF( data_type: TileDataType) => booleanbegin return data_type == TileDataType_FP16 || data_type == TileDataType_BF16 || data_type == TileDataType_FP32;end;
readonly func InstructionContractOperandsLegal_TCOLEXPANDEXPDIF( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_EXPDIF, TileAxis_Column, destination, source, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPANDEXPDIF() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPANDEXPDIF( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPANDEXPDIF( destination, source, broadcast); ExecuteTileExpand( TileExpand_EXPDIF, TileAxis_Column, destination, source, broadcast);end;// PTO-INSTRUCTION: {"assembly":["TCOLEXPANDEXPDIF <bundle operands>"],"block":["BSTART.SFU TCOLEXPANDEXPDIF, DataType","B.DATR DataType, 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":[65],"catalog_records":[{"arguments":[{"constant":"TileExpand_EXPDIF"},{"constant":"TileAxis_Column"},{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["DataType","PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileExpand","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":27,"legality_handler":"TileOperandsLegal_ExecuteTileExpand","mode":2,"name":"TCOLEXPANDEXPDIF","operands":[{"field":"destination0","role":"new Local destination with DstDataType"},{"field":"source0","role":"persistent Local full-shape numeric source"},{"field":"source1","role":"persistent Local one-row broadcast source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x05B","semantic_handler":"ExecuteTileExpand","state_effects":["operand:destination0:new-local-DstDataType-destination","operand:source0:persistent-local-full-shape-SrcDataType-source","operand:source1:persistent-local-one-row-SrcDataType-broadcast-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","column-expansion"],"contract":{"block_composition":["BSTART.SFU TCOLEXPANDEXPDIF, DataType","B.DATR DataType, 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":["TCOLEXPANDEXPDIF <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 DstDataType=SrcDataType and PadValue=Null. When B.DATR is present, DTYPE_NONE inherits SrcDataType, a concrete DataType selects DstDataType, and encoded DataType zero selects FP64 and is never absence. Explicit PadValue 00, 01, 10, and 11 select Zero, Max, Min, and Null."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TCOLEXPANDEXPDIF, SrcDataType; B.DATR DataType, 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 source/destination DataType pair, 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"},"DataType":{"ref":"PTO-FIELD-BLOCK-DATATYPE"}},"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.","B.DATR.DataType":"DTYPE_NONE (31) inherits BSTART SrcDataType; concrete DataType selects DstDataType; encoded zero selects FP64 and is not absence."},"legality":["TROWEXPANDEXPDIF and TCOLEXPANDEXPDIF accept exactly (FP16,FP16), (BF16,BF16), (FP32,FP32), (FP16,FP32), and (BF16,FP32) as (SrcDataType,DstDataType) pairs.","BSTART DataType selects SrcDataType; omitted B.DATR or explicit DataType=DTYPE_NONE selects DstDataType=SrcDataType; a concrete B.DATR DataType selects DstDataType. Source0 and BroadcastTile use SrcDataType and the destination uses DstDataType.","Mixed FP16/BF16 to FP32 widens both source operands exactly to FP32 before FP32 subtraction and FP32 exponential. Same-type pairs retain their selected type.","The destination is a newly allocated FP32-capacity result for mixed pairs; no cross-type alias or reinterpret view is introduced.","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 and DataType are the only applicable B.DATR fields. 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 DstDataType destination"},{"field":"source0","role":"persistent Local full-shape numeric source"},{"field":"source1","role":"persistent Local one-row broadcast source"}],"ordering":["Complete schema, attribute, dimension, source/destination type-pair, 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 same-type 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, source0 and BroadcastTile are interpreted as SrcDataType. For mixed FP16/BF16 to FP32 pairs, widen both exactly to FP32, then compute FP32 source0 - BroadcastTile and FP32 natural exponential. Same-type pairs preserve the existing selected-type sequence.","The subtraction and exponential stages apply in sequence and their numeric-status flags are accumulated into one transaction.","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-TCOLEXPANDEXPDIF","mnemonic":"TCOLEXPANDEXPDIF","summary":"Exponentiate the typed difference between 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-TCOLEXPANDEXPDIF-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCOLEXPANDEXPDIF MUST subtract the one-row SrcDataType source from the// full-shape source down rows and MUST exponentiate at DstDataType.// The only legal (SrcDataType,DstDataType) pairs are (FP16,FP16),// (BF16,BF16), (FP32,FP32), (FP16,FP32), and (BF16,FP32). BSTART selects// SrcDataType; omitted B.DATR or DataType=DTYPE_NONE inherits it, while a// concrete B.DATR DataType selects DstDataType.// The complete bundle MUST use one terminating Local B.IOT, MUST reject// B.IOR and B.IOS, and MUST reject every other source/destination pair.// Complete preflight and source snapshot MUST precede atomic result, status,// padding, and renamed-destination publication.// NDF-END: PTO-TCOLEXPANDEXPDIF-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCOLEXPANDEXPDIF() => TileOperationbegin return TileOperation_TCOLEXPANDEXPDIF;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCOLEXPANDEXPDIF( data_type: TileDataType) => booleanbegin return data_type == TileDataType_FP16 || data_type == TileDataType_BF16 || data_type == TileDataType_FP32;end;
readonly func InstructionContractOperandsLegal_TCOLEXPANDEXPDIF( destination: TileIndex, source: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_EXPDIF, TileAxis_Column, destination, source, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPANDEXPDIF() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPANDEXPDIF( destination: TileIndex, source: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPANDEXPDIF( destination, source, broadcast); ExecuteTileExpand( TileExpand_EXPDIF, TileAxis_Column, destination, source, broadcast);end;// DOC-END: operation
TCOLEXPANDEXPDIF 是一条由 SFU 执行、通过选择器编码的 Tile 操作。它计算每个完整形状元素减去同列广播值后的有类型指数函数；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数计算每个完整形状元素减去同列广播值后的有类型指数函数。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“采用 DstDataType 的新 Local 目标”。source0 的精确契约角色是“持久 Local 完整形状数值源”。source1 的精确契约角色是“持久 Local 单行广播源”。参与操作的源与目标描述符采用当前契约规定的行优先布局和形状关系。 操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
精确的可接受类型或类型组合由下方生成的合法性章节拥有；本指南不会扩大该集合。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TCOLEXPANDEXPDIF 示例说明：完整形状值与广播值相等时差为零，因此指数结果为一。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TCOLEXPANDEXPDIF MUST subtract the one-row SrcDataType source from the full-shape source down rows and MUST exponentiate at DstDataType. The only legal (SrcDataType,DstDataType) pairs are (FP16,FP16), (BF16,BF16), (FP32,FP32), (FP16,FP32), and (BF16,FP32). BSTART selects SrcDataType; omitted B.DATR or DataType=DTYPE_NONE inherits it, while a concrete B.DATR DataType selects DstDataType. The complete bundle MUST use one terminating Local B.IOT, MUST reject B.IOR and B.IOS, and MUST reject every other source/destination pair. Complete preflight and source snapshot MUST precede atomic result, status, padding, and renamed-destination publication.
PTO-TCOLEXPANDEXPDIF-CONTRACT-001asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.asl20ab1dfcef7b36ba90f186cfd4ecf1ebc666470e47299388e394b1b7c1e1ba02bb58e6f95002127d1388069a7f58bffbc71a3ba664dd6a620fe854fe690332e313 matching entries
PTO-AVS-TILE-EXPDIF-STAGE3-DECODED-001tests/asl/tile/reduce-and-expand/row-expansion/TROWEXPANDEXPDIF/tile-exec-trowexpandexpdif-stage3-decoded-001.asl6790486c89ea1796679845bd953bad087c1ff4705548c2b513a49642255f1ba3PTO-AVS-TILE-TCOLEXPANDEXPDIF-COMPOSE-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF/tile-exec-tcolexpandexpdif-compose-001.asl0858fd25291baa473570e38dd8dfefbf48972cf6279fafccc30939987b50152aPTO-AVS-TILE-TCOLEXPANDEXPDIF-STATIC-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF/tile-static-tcolexpandexpdif-contract-001.asl5b991027f1827e9304aa6dc70c24388416c315b65f2bfe14992d5d527af3412cPTO-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/TCOLEXPANDEXPDIF.md",
"id": "PTO-TILE-TCOLEXPANDEXPDIF",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCOLEXPANDEXPDIF",
"ndf_clause": "PTO-INST-TILE-TCOLEXPANDEXPDIF"
},
"mnemonic": "TCOLEXPANDEXPDIF",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TCOLEXPANDEXPDIF-COMPOSE-001"
],
"source": "asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCOLEXPANDEXPDIF-COMPOSE-001",
"PTO-AVS-TILE-TCOLEXPANDEXPDIF-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd8681220ab1dfcef7b36ba90f186cfd4ecf1ebc666470e47299388e394b1b7c1e1ba026f7de0fb7a84a0d8054ea2a26b5f718e1ee26c7d6fc0cbf7842001eaa3da4599asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.asl