Broadcast one one-row vector source bit-for-bit into a new Local destination.
PTO-TILE-TCOLEXPANDTCOLEXPAND <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| Parameter | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| Parameter | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| Parameter | DataType | data type | BSTART.SFU TCOLEXPAND, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | persistent Local one-row broadcast source | contract.operands[1].source0 |
| Output | DstTile | new Local same-type numeric destination | contract.operands[0].destination0 |
BSTART.SFU TCOLEXPAND, DataType
BSTART.SFU TCOLEXPAND, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.SFU TCOLEXPAND, DataTypeB.DIM LB0=ValidColB.IOT BroadcastTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TCOLEXPAND, 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| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local same-type numeric destination | — |
source0 | — | — | 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
destination0source0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TCOLEXPAND() => TileOperationbegin return TileOperation_TCOLEXPAND;end;pure func InstructionContractDataTypeLegal_TCOLEXPAND( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLEXPAND( destination: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_COPY, TileAxis_Column, destination, broadcast, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPAND( destination: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPAND( destination, broadcast); ExecuteTileExpand( TileExpand_COPY, TileAxis_Column, destination, broadcast, broadcast);end;// PTO-INSTRUCTION: {"assembly":["TCOLEXPAND <bundle operands>"],"block":["BSTART.SFU TCOLEXPAND, 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":[58],"catalog_records":[{"arguments":[{"constant":"TileExpand_COPY"},{"constant":"TileAxis_Column"},{"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":20,"legality_handler":"TileOperandsLegal_ExecuteTileExpand","mode":2,"name":"TCOLEXPAND","operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local one-row broadcast source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x054","semantic_handler":"ExecuteTileExpand","state_effects":["operand:destination0:new-local-same-type-destination","operand:source0:persistent-local-one-row-broadcast-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","column-expansion"],"contract":{"block_composition":["BSTART.SFU TCOLEXPAND, 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":["TCOLEXPAND <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[0,c] bit-for-bit.","The copy performs no conversion, rounding, saturation, canonicalization, or numeric-status update."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TCOLEXPAND, 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":["TCOLEXPAND is selected by the TEPL raw encoding carrier Mode 2 Function 20; canonical execution-engine assembly is BSTART.SFU and there is no standalone opcode.","Exactly one terminating Local B.IOT supplies one persistent one-row 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 one and ValidCol and physical Col equal to the destination.","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-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, copy BroadcastTile[0,c] 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-TCOLEXPAND","mnemonic":"TCOLEXPAND","summary":"Broadcast one one-row 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-TCOLEXPAND-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCOLEXPAND MUST copy the one-row source bit-for-bit down rows.// 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-TCOLEXPAND-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCOLEXPAND() => TileOperationbegin return TileOperation_TCOLEXPAND;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCOLEXPAND( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLEXPAND( destination: TileIndex, broadcast: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileExpand( TileExpand_COPY, TileAxis_Column, destination, broadcast, broadcast);end;
readonly func InstructionContractHandler_TCOLEXPAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileExpand;end;
func InstructionContractExecute_TCOLEXPAND( destination: TileIndex, broadcast: TileIndex)begin assert InstructionContractOperandsLegal_TCOLEXPAND( destination, broadcast); ExecuteTileExpand( TileExpand_COPY, TileAxis_Column, destination, broadcast, broadcast);end;// DOC-END: operation
TCOLEXPAND is a selector-encoded Tile operation executed by SFU. It copies the one-row broadcast source bit-for-bit into every valid destination row; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler copies the one-row broadcast source bit-for-bit into every valid destination row. Source payloads are snapshotted before destination writes whenever the contract permits aliasing.
The handler uses the resolved valid region rather than treating physical padding as input data. Its operation-specific dtype, layout, rounding, saturation, and profile hooks remain the executable definition.
destination0 has the exact contract role new Local same-type numeric destination.source0 has the exact contract role persistent Local one-row broadcast source.Participating source and destination descriptors use the row-major and shape relationships stated by the current contract. Every source coordinate read by the operation must be defined before execution reaches destination publication. PE_MASK=0000 is a strict no-op before descriptor, allocation, payload, numeric-status, or memory effects.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
Physical coordinates outside the valid rectangle follow the contract-selected padding rule; Null padding remains undefined when that rule applies.
The operation has no GM memory effect; descriptor, payload, definedness, padding, and numeric-status changes are limited to those listed by the current contract.
The exact accepted type or type-pair set is owned by the generated legality section below; this guide does not widen it.
The generated legality and exception sections below are authoritative for dtype pairs, layout, dimensions, capacity, definedness, padding controls, profile behavior, and fault class. Legality and allocation failures occur before partial architectural effects.
This example illustrates the current ASL owner and does not replace the normative operation.
For a small TCOLEXPAND example, one-row source [10, 20] broadcasts unchanged into each valid destination row.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TCOLEXPAND MUST copy the one-row source bit-for-bit down rows. 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-TCOLEXPAND-CONTRACT-001asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.asl1b362aa9e1df6949c0e1e49e15b4cf87ec40508e70ae6abbea27002e9066b515d13398ae962e4bb588d5bfc0c4490346342b55f7e34afcee48443c4973bdffc112 matching entries
PTO-AVS-TILE-TCOLEXPAND-COPY-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND/tile-exec-tcolexpand-copy-001.asl77641f26cb0be68dcb001445b70a9c33ffa641ef14a53330134adec39d699a6fPTO-AVS-TILE-TCOLEXPAND-STATIC-001tests/asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND/tile-static-tcolexpand-contract-001.asl63062bcd124824c4e8ef89d8a2003f015cd242bb4b3c7f92c4834fde686e5e5bPTO-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/TCOLEXPAND.md",
"id": "PTO-TILE-TCOLEXPAND",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCOLEXPAND",
"ndf_clause": "PTO-INST-TILE-TCOLEXPAND"
},
"mnemonic": "TCOLEXPAND",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TCOLEXPAND-COPY-001"
],
"source": "asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCOLEXPAND-COPY-001",
"PTO-AVS-TILE-TCOLEXPAND-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868121b362aa9e1df6949c0e1e49e15b4cf87ec40508e70ae6abbea27002e9066b515eb80c2caac7925a279c22336961b1454d1db95d992fbb237039e09ddf0cca224asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.aslasl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.asl