Gather values from source rows selected independently at each destination coordinate.
PTO-TILE-TGATHERTGATHER <LB0:ValidCol, LB1:ValidRow, LB2:Col, Layout> SrcTile0, SrcTile1 -> 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 | Layout | layout | B.DATR Layout (optional) |
| Input | SrcTile0 | persistent Local value source | contract.operands[1].source0 |
| Input | SrcTile1 | persistent Local S16, U16, S32, U32, S64, or U64 row-index source | contract.operands[2].source1 |
| Output | DstTile | new Local value destination | contract.operands[0].destination0 |
BSTART.SFU TGATHER, ValueDataType
BSTART.SFU TGATHER, ValueDataTypeRequiredB.DATR Layout (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT ValueSrc, IndexSrc, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.SFU TGATHER, ValueDataTypeB.DIM LB0=ValidColB.IOT ValueSrc, IndexSrc, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TGATHER, U16; B.DIM LB0=2; B.DIM LB1=2; B.IOT ValueSrc, IndexSrc, mask=1111, <last>, ->Dst<2>; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local value destination | — |
source0 | — | — | persistent Local value source | — |
source1 | — | — | persistent Local S16, U16, S32, U32, S64, or U64 row-index 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
destination0source0source1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TGATHER() => TileOperationbegin return TileOperation_TGATHER;end;readonly func InstructionContractOperandsLegal_TGATHER( destination: TileIndex, source: TileIndex, indices: TileIndex) => booleanbegin return TileOperandsLegal_TGATHER(destination, source, indices);end;
readonly func InstructionContractHandler_TGATHER() => TileSemanticHandlerbegin return TileHandler_TGATHER;end;
func InstructionContractExecute_TGATHER( destination: TileIndex, source: TileIndex, indices: TileIndex)begin assert InstructionContractOperandsLegal_TGATHER( destination, source, indices); TGATHER(destination, source, indices);end;// PTO-INSTRUCTION: {"assembly":["TGATHER <bundle operands>"],"block":["BSTART.SFU TGATHER, ValueDataType","B.DATR Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT ValueSrc, IndexSrc, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[79],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["Layout"],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TGATHER","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":15,"legality_handler":"TileOperandsLegal_TGATHER","mode":3,"name":"TGATHER","operands":[{"field":"destination0","role":"new Local value destination"},{"field":"source0","role":"persistent Local value source"},{"field":"source1","role":"persistent Local S16, U16, S32, U32, S64, or U64 row-index source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x06F","semantic_handler":"TGATHER","state_effects":["operand:destination0:new-local-value-destination","operand:source0:persistent-value-source","operand:source1:persistent-row-index-source","runtime:TilePad_Null:physical-padding"]}],"classification":["irregular-and-complex","layout"],"contract":{"block_composition":["BSTART.SFU TGATHER, ValueDataType","B.DATR Layout (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT ValueSrc, IndexSrc, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TGATHER <bundle operands>"],"defaults":["LB0 is required and supplies nonzero destination ValidCol; omitted LB1 selects destination ValidRow=1 and omitted LB2 selects physical Col=ValidCol.","Omitted B.DATR retains row-major destination layout; an assigned legal Layout changes only destination physical placement. PadValueOrByteId, secondary DataType, CMode, RMode, Sat, and Canonicalize remain zero.","Physical destination coordinates outside the valid rectangle are undefined Null padding."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TGATHER, U16; B.DIM LB0=2; B.DIM LB1=2; B.IOT ValueSrc, IndexSrc, mask=1111, <last>, ->Dst<2>; BSTOP"],"exceptions":["Malformed bindings, B.IOR, B.IOS, unsupported value or index DataType, zero or mismatched valid shape, insufficient source columns, negative or out-of-range index, undefined index, undefined selected source element, invalid consumed encoding, reserved Layout, or insufficient destination capacity raises the applicable Tile fault before effects.","PE_MASK=0000 is a strict no-op before Tile reads, index checks, allocation, faults, or payload effects."],"field_contracts":{},"field_zero_meanings":{"B.DATR.Layout":"Encoded zero selects row-major destination placement.","B.DIM.LB1":"Omission selects ValidRow=1; an explicitly encoded zero is not a legal nonzero dimension.","B.DIM.LB2":"Omission selects physical Col=ValidCol; an explicitly encoded zero is not a legal physical column count."},"legality":["TGATHER uses the TEPL encoding carrier Mode 3 Function 15, is canonically assembled with BSTART.SFU, and has no standalone opcode.","Exactly one terminating Local B.IOT supplies one persistent value source, one persistent row-index source, and one newly allocated destination; B.IOR and B.IOS are illegal.","Value source and destination use the same one of HiF8, E4M3, E5M2, E3M2, E2M3, E8M0, S8, U8, FP16, BF16, S16, U16, FP32, TF32, HF32, S32, U32, FP64, S64, or U64. The index source is exactly S16, U16, S32, U32, S64, or U64.","Index and destination valid shapes are equal and nonzero. The value source has at least destination ValidCol columns.","Every signed index is nonnegative and every index is less than source ValidRow. The complete index rectangle and every selected source[value,row,column] element are defined and validly encoded.","All three bindings use the same PE_MASK; any nonzero subset is legal."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local value destination"},{"field":"source0","role":"persistent Local value source"},{"field":"source1","role":"persistent Local S16, U16, S32, U32, S64, or U64 row-index source"}],"ordering":["Complete schema, descriptor, type, dimension, layout, capacity, index-range, and referenced-definedness preflight precedes source snapshots.","Both source payloads are snapshotted before result construction; complete destination payload, definedness, Null padding, and descriptor publish atomically."],"standalone_opcode":false,"state_effects":["For every destination coordinate [r,c], read k=index[r,c] and copy source[k,c] bit-for-bit to destination[r,c].","Indices select logical source rows and never flatten, wrap, clamp, or select another column.","Both sources persist and rejection publishes no destination state."]},"depends_on":["PTO-TILE-MODEL-LEGALITY-INDEXED-REARRANGEMENT","PTO-TILE-MODEL-EXECUTION-INDEXED-REARRANGEMENT"],"engine":"SFU","id":"PTO-TILE-TGATHER","mnemonic":"TGATHER","summary":"Gather values from source rows selected independently at each destination coordinate.","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-TGATHER-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TGATHER MUST accept every non-packed B8-NP, B16, B32, or B64 value type with// every S16, U16, S32, U32, S64, or U64 index type. Each index element is a// logical source-row selector at the current column. It MUST reject negative,// out-of-range, or undefined references before effects, snapshot both sources,// move raw value carrier bits without numeric-validity rejection, and publish// one complete same-type destination with Null physical padding atomically.// NDF-END: PTO-TGATHER-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TGATHER() => TileOperationbegin return TileOperation_TGATHER;end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractOperandsLegal_TGATHER( destination: TileIndex, source: TileIndex, indices: TileIndex) => booleanbegin return TileOperandsLegal_TGATHER(destination, source, indices);end;
readonly func InstructionContractHandler_TGATHER() => TileSemanticHandlerbegin return TileHandler_TGATHER;end;
func InstructionContractExecute_TGATHER( destination: TileIndex, source: TileIndex, indices: TileIndex)begin assert InstructionContractOperandsLegal_TGATHER( destination, source, indices); TGATHER(destination, source, indices);end;// DOC-END: operation
TGATHER gathers values from independently selected source rows.
The ASL DOC contract selects TileHandler_TGATHER through the instruction's selector-encoded block carrier.
Dimensions, descriptors, layouts, DataTypes, source definedness, consumed encodings, destination capacity, masks, and operation-specific indices or offsets are checked before any source snapshot.
destination0 is the new Local value destination; source0 is the persistent Local value source; source1 is the persistent Local S16, U16, S32, U32, S64, or U64 row-index source.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Sources are snapshotted before construction, so allowed aliases observe complete pre-operation payload and definedness.
The complete destination payload, definedness, padding policy, and descriptor publish together; rejection publishes no partial destination.
Malformed bindings, unsupported types or layouts, invalid shapes, undefined consumed elements, illegal attributes, or insufficient destination capacity are rejected before source snapshots or publication.
Allocation failure raises the owner-defined Tile allocation fault; other rejected schema or value conditions raise the owner-defined legality, bundle-control, or memory fault without partial effects.
This is a illustrative contract schema sketch; it organizes fields and bindings but is not claimed to be directly assembleable.
Read BSTART.SFU TGATHER, U16; B.DIM LB0=2; B.DIM LB1=2; B.IOT ValueSrc, IndexSrc, mask=1111, <last>, ->Dst<2>; BSTOP as a illustrative binding walkthrough, then use the generated contract below for exact dimensions, attributes, and fault behavior.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TGATHER MUST accept every non-packed B8-NP, B16, B32, or B64 value type with every S16, U16, S32, U32, S64, or U64 index type. Each index element is a logical source-row selector at the current column. It MUST reject negative, out-of-range, or undefined references before effects, snapshot both sources, move raw value carrier bits without numeric-validity rejection, and publish one complete same-type destination with Null physical padding atomically.
PTO-TGATHER-CONTRACT-001asl/tile/irregular-and-complex/layout/TGATHER.aslc13c6a402499043e14df0f63e85f276e45526a33fc1c7333897582ba06f62c41156d431fcc4ed979779b98487b0a12858a34ed8c9e051343646a7cd45b11d77216 matching entries
PTO-AVS-TILE-TGATHER-NEGATIVE-001tests/asl/tile/irregular-and-complex/layout/TGATHER/tile-bound-tgather-negative-001.aslb8863beaf490ebeea3170d216e3d6112ab4ae77f70f6f59afacf5b4485493baaPTO-AVS-TILE-TGATHER-ROWS-001tests/asl/tile/irregular-and-complex/layout/TGATHER/tile-exec-tgather-rows-001.aslea1aa6e2dc71a5a34a863f5a2135b566b75b84c673b3fb247757018ca3b2fd71PTO-AVS-TILE-TGATHER-STAGE2-DECODED-001tests/asl/tile/irregular-and-complex/layout/TGATHER/tile-exec-tgather-stage2-decoded-001.aslbfa1be3b409773b4866b0d5cab5ef43f3e73716d92a0fc9eed440b56c4c428ecPTO-AVS-TILE-TGATHER-STATIC-001tests/asl/tile/irregular-and-complex/layout/TGATHER/tile-static-tgather-contract-001.asl5241d2b648c6be7551bb403944f4d09b56297ecdd6894006f018cea68af33ddfPTO-AVS-TILE-TGATHER-TYPES-001tests/asl/tile/irregular-and-complex/layout/TGATHER/tile-bound-tgather-types-001.asl0b640b8623ee6b76278cc187395df7702634bcc429374e39bd1eb726a4d2be62PTO-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-0083…
ADR-0083docs/status/decisions/0083-tile-conversion-layout-and-partial-operations.md0812a27ff41ba26e0b56ba7a444e5336be683fa88564a4a50ec9d8595c0accbcLoading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"irregular-and-complex",
"layout"
],
"documentation": "docs/tile/irregular-and-complex/layout/TGATHER.md",
"id": "PTO-TILE-TGATHER",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TGATHER",
"ndf_clause": "PTO-INST-TILE-TGATHER"
},
"mnemonic": "TGATHER",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0083",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TGATHER-NEGATIVE-001",
"PTO-AVS-TILE-TGATHER-ROWS-001",
"PTO-AVS-TILE-TGATHER-STAGE2-DECODED-001",
"PTO-AVS-TILE-TGATHER-TYPES-001"
],
"source": "asl/tile/irregular-and-complex/layout/TGATHER.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TGATHER-NEGATIVE-001",
"PTO-AVS-TILE-TGATHER-ROWS-001",
"PTO-AVS-TILE-TGATHER-STAGE2-DECODED-001",
"PTO-AVS-TILE-TGATHER-STATIC-001",
"PTO-AVS-TILE-TGATHER-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812c13c6a402499043e14df0f63e85f276e45526a33fc1c7333897582ba06f62c4102f40a9af140d9c3996476a9a596cc862da521895dd0b410781aa23655f98d3basl/tile/irregular-and-complex/layout/TGATHER.aslasl/tile/irregular-and-complex/layout/TGATHER.aslasl/tile/irregular-and-complex/layout/TGATHER.asl