Broadcast one one-column vector source bit-for-bit into a new Local destination.
PTO-TILE-TROWEXPANDTROWEXPAND <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0 -> 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 TROWEXPAND, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local one-column broadcast source | contract.operands[1].source0 |
| 输出 | DstTile | new Local same-type numeric destination | contract.operands[0].destination0 |
BSTART.SFU TROWEXPAND, DataType
BSTART.SFU TROWEXPAND, DataType必选B.DATR PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>必选BSTOP必选BSTART.SFU TROWEXPAND, DataTypeB.DIM LB0=ValidColB.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TROWEXPAND, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT 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 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
destination0source0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TROWEXPAND() => TileOperationbegin return TileOperation_TROWEXPAND;end;pure func InstructionContractDataTypeLegal_TROWEXPAND( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWEXPAND( destination: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_COPY, TileAxis_Row, destination, broadcast, broadcast);end;
readonly func InstructionContractHandler_TROWEXPAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TROWEXPAND( destination: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TROWEXPAND( destination, broadcast); ExecuteTileExpand( TileExpand_COPY, TileAxis_Row, destination, broadcast, broadcast);end;// PTO-INSTRUCTION: {"assembly":["TROWEXPAND <bundle operands>"],"block":["BSTART.SFU TROWEXPAND, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[44],"catalog_records":[{"arguments":[{"constant":"TileExpand_COPY"},{"constant":"TileAxis_Row"},{"operand":"destination0"},{"operand":"source0"},{"operand":"source0"}],"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":4,"legality_handler":"TileOperandsLegal_ExecuteTileExpand","mode":2,"name":"TROWEXPAND","operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local one-column broadcast source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x044","semantic_handler":"ExecuteTileExpand","state_effects":["operand:destination0:new-local-same-type-destination","operand:source0:persistent-local-one-column-broadcast-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","row-expansion"],"contract":{"block_composition":["BSTART.SFU TROWEXPAND, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TROWEXPAND <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, copy BroadcastTile[r,0] bit-for-bit.","The copy performs no conversion, rounding, saturation, canonicalization, or numeric-status update."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TROWEXPAND, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT 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":["TROWEXPAND is selected by the TEPL raw encoding carrier Mode 2 Function 4; canonical execution-engine assembly is BSTART.SFU and there is no standalone opcode.","Exactly one terminating Local B.IOT supplies one persistent one-column source and one newly allocated Local destination; no full-shape second source exists.","The exact legal DataTypes are FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, and U8.","The destination DataType equals the broadcast source DataType.","The broadcast source has ValidRow equal to the destination, the orthogonal valid extent equal to one, and physical Col equal to one.","The destination geometry is 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 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, copy BroadcastTile[r,0] bit-for-bit.","The copy performs no conversion, rounding, saturation, canonicalization, or numeric-status update.","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-TROWEXPAND","mnemonic":"TROWEXPAND","summary":"Broadcast one one-column vector source bit-for-bit into a new Local destination.","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-TROWEXPAND-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TROWEXPAND MUST copy the one-column source bit-for-bit across columns.// 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-TROWEXPAND-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TROWEXPAND() => TileOperationbegin return TileOperation_TROWEXPAND;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TROWEXPAND( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWEXPAND( destination: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_COPY, TileAxis_Row, destination, broadcast, broadcast);end;
readonly func InstructionContractHandler_TROWEXPAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TROWEXPAND( destination: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TROWEXPAND( destination, broadcast); ExecuteTileExpand( TileExpand_COPY, TileAxis_Row, destination, broadcast, broadcast);end;// DOC-END: operation
TROWEXPAND 在每个有效行上把单列值按位广播。
广播源的物理列与有效列都是一；其行值会复用于每个有效目标列。
TROWEXPAND 没有完整形状源 Tile。唯一输入 Tile 是单列广播源；它会在构造按位复制结果前完成快照。
destination0 标识新分配的目的 Tile。source0 提供持久源 Tile。FP64、FP32、TF32、HF32、FP16、BF16、E4M3、E5M2、S64、S32、S16、S8、U64、U32、U16、U8。LB0、LB1、LB2 按该助记符契约补全有效形状与物理形状；所有必需有效范围都必须非零。所有源描述符与载荷都会在目标发布前完成验证和快照。
按位复制的载荷、目标描述符、已定义性与填充状态会原子发布；TROWEXPAND 不执行数值配置档求值，也不更新数值状态。
Null 填充让有效矩形外的物理坐标保持未定义；显式非 Null 填充值会用选定带类型的值定义这些位置。
源 Tile 在成功执行后保持不变。
完整绑定模式、维度、DataType、布局、源已定义性、数值编码、目标容量与分配都会在效果前预检。
合法性或分配检查失败会引发相应 Tile 故障，不留下部分目标、状态或内存效果。
PE_MASK=0000 是严格无操作，发生在操作数读取、分配、故障、数值状态或载荷效果之前。
下面的示例只帮助理解当前 ASL 绑定契约，并不是第二份指令定义。
TROWEXPAND <bundle operands> 先完成完整预检与源快照，再原子发布助记符定义的结果与填充状态。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TROWEXPAND MUST copy the one-column source bit-for-bit across columns. 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-TROWEXPAND-CONTRACT-001asl/tile/reduce-and-expand/row-expansion/TROWEXPAND.asle99d1ab29a6a3691bdf7732422be9e7dc7c6805897d58b100b018e5529907f9b20e40e10984751f240ed2af3d6207127087b3bb5f09bee8ffbfc92195c0c426613 matching entries
PTO-AVS-BLOCK-TROWEXPAND-SCHEMA-001tests/asl/block/model/dispatch/expansion-schema/block-bound-trowexpand-schema-001.asl1b79a2bac253fd75a7e6076af1597270bae24b8204a419aa19afcb9e1f6f9cb8PTO-AVS-TILE-TROWEXPAND-COPY-001tests/asl/tile/reduce-and-expand/row-expansion/TROWEXPAND/tile-exec-trowexpand-copy-001.asl5f7cbb4fd3ba4ee826d4860a759c68591593f4b33432f4644ba88517a5c05c72PTO-AVS-TILE-TROWEXPAND-STATIC-001tests/asl/tile/reduce-and-expand/row-expansion/TROWEXPAND/tile-static-trowexpand-contract-001.aslf04ef4ae6eb00b6d24e0ef9c5e2551adc6111f64daa4538b6aa9f72471960c47PTO-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/TROWEXPAND.md",
"id": "PTO-TILE-TROWEXPAND",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TROWEXPAND",
"ndf_clause": "PTO-INST-TILE-TROWEXPAND"
},
"mnemonic": "TROWEXPAND",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TROWEXPAND-COPY-001"
],
"source": "asl/tile/reduce-and-expand/row-expansion/TROWEXPAND.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TROWEXPAND-COPY-001",
"PTO-AVS-TILE-TROWEXPAND-STATIC-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812e99d1ab29a6a3691bdf7732422be9e7dc7c6805897d58b100b018e5529907f9bca2abc9da766c65331c9f83bfe049516c562091c0bbd51831990ae4a3d4b2164asl/tile/reduce-and-expand/row-expansion/TROWEXPAND.aslasl/tile/reduce-and-expand/row-expansion/TROWEXPAND.aslasl/tile/reduce-and-expand/row-expansion/TROWEXPAND.asl