Broadcast one private-GPR scalar encoding across a newly allocated Local Tile.
PTO-TILE-TEXPANDSTEXPANDS <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> Scalar0 -> 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.VEC TEXPANDS, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | Scalar0 | per-participating-PE private-GPR scalar | contract.operands[1].scalar0 |
| 输出 | DstTile | new Local numeric destination | contract.operands[0].destination0 |
BSTART.VEC TEXPANDS, DataType
BSTART.VEC TEXPANDS, DataType必选B.DATR PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>必选B.IOR ScalarGPR, zero, zero, ->zero (optional)可选BSTOP必选BSTART.VEC TEXPANDS, DataTypeB.DIM LB0=ValidColB.IOT mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TEXPANDS, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local numeric destination | — |
scalar0 | — | — | per-participating-PE private-GPR scalar | — |
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
destination0scalar0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TEXPANDS() => TileOperationbegin return TileOperation_TEXPANDS;end;pure func InstructionContractDataTypeLegal_TEXPANDS( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TEXPANDS( destination: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileFillScalar( destination, scalar);end;
readonly func InstructionContractHandler_TEXPANDS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileFillScalar;end;
func InstructionContractExecute_TEXPANDS( destination: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TEXPANDS( destination, scalar); ExecuteTileFillScalar( destination, scalar);end;// PTO-INSTRUCTION: {"assembly":["TEXPANDS <bundle operands>"],"block":["BSTART.VEC TEXPANDS, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"catalog_indices":[39],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"scalar0"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileFillScalar","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":27,"legality_handler":"TileOperandsLegal_ExecuteTileFillScalar","mode":1,"name":"TEXPANDS","operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x03B","semantic_handler":"ExecuteTileFillScalar","state_effects":["operand:destination0:new-local-numeric-destination","operand:scalar0:private-gpr-raw-element","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["tile-scalar-and-immediate","initialization"],"contract":{"block_composition":["BSTART.VEC TEXPANDS, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"canonical_assembly":["TEXPANDS <bundle operands>"],"defaults":["LB0 is required and supplies nonzero ValidCol. Omitted LB1 selects ValidRow=1. Omitted LB2 selects Col=ValidCol.","Omitted B.IOR supplies the selected DataType all-zero encoding; explicit all-zero is distinct but supplies the same value.","Omitted B.DATR selects PadValue=Null. Explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TEXPANDS, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT mask=PE_MASK, <last>, ->DstTile<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP"],"exceptions":["Malformed destination binding, B.IOS presence, surplus B.IOR fields, unsupported DataType, missing or zero dimensions, capacity failure, or allocation failure raises Fault_TileLegality or Fault_TileAllocation before effects.","CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion after an accepted operation."],"field_contracts":{"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"},"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.DATR.PadValueOrByteId":"Zero padding when present; omission selects Null.","B.IOR.RegSrc0":"Architectural zero register."},"legality":["TEXPANDS is selected only by the TEPL raw carrier Mode 1 Function 27 and executes on VEC.","Exactly one terminating Local B.IOT supplies no source and one newly allocated Local numeric destination. B.IOS and additional Tile bindings are illegal.","The selected DataType is exactly FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, or U8; every other type rejects before effects.","The destination is row-major, its physical Rows and Col are powers of two, and its valid rectangle fits within physical capacity.","Only RegSrc0 may be nonzero in B.IOR and only PadValueOrByteId is applicable in B.DATR.","PE_MASK=0000 is a strict no-op before GPR reads, allocation, faults, or destination effects."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"ordering":["Complete schema, dimensions, attributes, type, scalar encoding, mask, capacity, and allocation preflight precedes the private-GPR scalar snapshot."],"standalone_opcode":false,"state_effects":["Every valid destination element receives the scalar low element-width raw encoding without conversion.","Padding definedness and destination descriptor publish atomically; rejection has no architectural effect."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TEXPANDS","mnemonic":"TEXPANDS","summary":"Broadcast one private-GPR scalar encoding across a newly allocated Local Tile.","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-TEXPANDS-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TEXPANDS MUST read one optional B.IOR.RegSrc0 private-GPR scalar, MUST use// no Tile source, and MUST fill the valid region of one renamed Local numeric// destination with the scalar low-width encoding. Complete legality and// allocation preflight MUST precede atomic value, padding, and descriptor// publication.// NDF-END: PTO-TEXPANDS-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TEXPANDS() => TileOperationbegin return TileOperation_TEXPANDS;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TEXPANDS( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TEXPANDS( destination: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileFillScalar( destination, scalar);end;
readonly func InstructionContractHandler_TEXPANDS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileFillScalar;end;
func InstructionContractExecute_TEXPANDS( destination: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TEXPANDS( destination, scalar); ExecuteTileFillScalar( destination, scalar);end;// DOC-END: operation
TEXPANDS 是一条由 VEC 执行、通过选择器编码的 Tile 操作。它把标量低元素位宽的原始编码复制到每个有效目标坐标；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数把标量低元素位宽的原始编码复制到每个有效目标坐标。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“新分配的 Local 数值目标”。scalar0 的精确契约角色是“每个参与 PE 的私有 GPR 标量”。参与操作的源与目标描述符采用当前契约规定的行优先布局和形状关系。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
可接受的数据类型集合为 FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, U8。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TEXPANDS 示例说明：FP32 标量 1.0 的原始编码原样复制到每个有效 FP32 目标元素。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TEXPANDS MUST read one optional B.IOR.RegSrc0 private-GPR scalar, MUST use no Tile source, and MUST fill the valid region of one renamed Local numeric destination with the scalar low-width encoding. Complete legality and allocation preflight MUST precede atomic value, padding, and descriptor publication.
PTO-TEXPANDS-CONTRACT-001asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.asl3d9b8b4fd69ca20659c68202df2fa54f2e2990128a4db590d9f724eb4c71dba55ae3e490bff9ba4dbc06755699f04c428c509dfca742aba9074d1c0e4a87326514 matching entries
PTO-AVS-TILE-TEXPANDS-BUNDLE-001tests/asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS/tile-exec-texpands-bundle-001.asl2184a2548cbfbcbd68b2d4d5feb48627606c521ee95305395329c48ee56cbb53PTO-AVS-TILE-TEXPANDS-PADDING-001tests/asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS/tile-state-texpands-padding-001.asleb0a7ac363c498e2fded5a007793ee73d567b42ecb962cfb3b303b2ae17e0160PTO-AVS-TILE-TEXPANDS-STATIC-001tests/asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS/tile-static-texpands-contract-001.asl8b32e3edff2a56203b6c1ac60c8f105781404e474498a74ede4ae0673443e9b8PTO-AVS-TILE-TEXPANDS-TYPES-001tests/asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS/tile-bound-texpands-types-001.aslb31dcbdb1c207dc473287b04265fcc5685901df4a80d9472a5169b3656469f7ePTO-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-0081…
ADR-0081docs/status/decisions/0081-tile-scalar-and-immediate-operations.md70ee9b0788be4841df407f15eba3893cf1f4be8fb93d25a1ce23eaafc279ef59{
"classification": [
"tile-scalar-and-immediate",
"initialization"
],
"documentation": "docs/tile/tile-scalar-and-immediate/initialization/TEXPANDS.md",
"id": "PTO-TILE-TEXPANDS",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TEXPANDS",
"ndf_clause": "PTO-INST-TILE-TEXPANDS"
},
"mnemonic": "TEXPANDS",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0081"
],
"semantic_tests": [
"PTO-AVS-TILE-TEXPANDS-BUNDLE-001",
"PTO-AVS-TILE-TEXPANDS-PADDING-001",
"PTO-AVS-TILE-TEXPANDS-TYPES-001"
],
"source": "asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TEXPANDS-BUNDLE-001",
"PTO-AVS-TILE-TEXPANDS-PADDING-001",
"PTO-AVS-TILE-TEXPANDS-STATIC-001",
"PTO-AVS-TILE-TEXPANDS-TYPES-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868123d9b8b4fd69ca20659c68202df2fa54f2e2990128a4db590d9f724eb4c71dba5339517339ac50790609efddf855f450c64a4c3a58efaa489f6098d9bd5fc67cdasl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.aslasl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.aslasl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.asl