Store one ordinary Local or Shared rectangle, or explicitly convert persistent Local CUBE storage into one GM rectangle.
PTO-TILE-TSTORETSTORE <DataType, Layout> SrcTile0, Address, Scalar0| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | DataType | data type | Local: BSTART.TSTORE DataType; optional B.DATR Layout; optional B.DIM; optional B.IOR; one source B.IOT; BSTOP |
| Parameter | Layout | layout | Local: BSTART.TSTORE DataType; optional B.DATR Layout; optional B.DIM; optional B.IOR; one source B.IOT; BSTOP |
| Input | SrcTile0 | Local Tile or absolute Shared S0..S63 source | contract.operands[0].source0 |
| Input | Address | per-PE private-GPR GM base address | contract.operands[1].address |
| Input | Scalar0 | per-PE private-GPR byte row stride | contract.operands[2].scalar0 |
The Local form uses TLSU Function 1, exactly one terminating source B.IOT, at most one B.IOR, and no B.IOS.
BSTART.TSTORE DataTypeRequiredoptional B.DATR LayoutOptionaloptional B.DIMOptionaloptional B.IOROptionalone source B.IOTRequiredBSTOPRequiredBSTART.TSTORE DataTypeone source B.IOTBSTOPThe Shared form uses canonical TLSU Function 1, exactly one source B.IOS, at most one B.IOR, no B.IOT, and any nonzero consumer PE_MASK; optional B.SUBVIEW supplies the only partial-source range.
BSTART.TSTORE DataTypeRequiredoptional B.DATROptionaloptional B.DIMOptionaloptional B.IOROptionalone source B.IOS with any nonzero consumer PE_MASKRequiredoptional B.SUBVIEWOptionalBSTOPRequiredBSTART.TSTORE DataTypeone source B.IOS with any nonzero consumer PE_MASKBSTOPBSTART.TSTORE U8; B.DIM LB0, 64; B.DIM LB1, 8; B.DIM LB2, 64; B.IOR a0, a1; B.IOT T1, mask=1111, last; BSTOPBSTART.TSTORE FP16; B.IOS S7, mask=0011; B.SUBVIEW 0, a0, 0, 7; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
source0 | — | — | Local Tile or absolute Shared S0..S63 source | — |
address | — | — | per-PE private-GPR GM base address | — |
scalar0 | — | — | per-PE private-GPR byte row stride | — |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Constant | 26:0 | 27'b000000100010001000110000001 |
{
"reg": [
{
"bits": 27,
"name": "27'b000000100010001000110000001"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.TSTORE DataType
source0addressscalar0This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TSTORE() => TileOperationbegin return TileOperation_TSTORE;end;pure func InstructionContractDataTypeLegal_TSTORE(code: bits(5)) => booleanbegin if !TileDataTypeEncodingValid(code as TileDataTypeEncoding) then return FALSE; end; let data_type = TileDataTypeFromEncoding(code as TileDataTypeEncoding); return TileRegularTLSUDataTypeSupported(data_type);end;
readonly func InstructionContractHandler_TSTORE() => TileSemanticHandlerbegin return TileHandler_TSTORE;end;
readonly func InstructionContractGMAddress_TSTORE( base_address: Word, row: integer {0..65535}, column: integer {0..65535}, row_stride_bytes: Word, data_type: TileDataType) => Wordbegin return TileMemoryStridedByteAddress( base_address, row, column, row_stride_bytes, data_type);end;
readonly func InstructionContractDenseStride_TSTORE( columns: integer {0..65535}, data_type: TileDataType) => Wordbegin return TileDenseRowStrideBytes(columns, data_type);end;
pure func InstructionContractSharedMaskLegal_TSTORE( function: integer {0..31}, pe_mask: bits(4)) => booleanbegin return SharedStorePEMaskLegal(function, pe_mask);end;
pure func InstructionContractZeroMaskNoEffect_TSTORE( pe_mask: bits(4)) => booleanbegin return pe_mask == Zeros{4};end;
pure func InstructionContractCubeDimensionsLegal_TSTORE( lb0_present: boolean, lb0: integer {0..65535}, lb1_present: boolean, lb1: integer {0..65535}, lb2_present: boolean) => booleanbegin return lb0_present && lb0 != 0 && lb1_present && lb1 != 0 && !lb2_present;end;// PTO-INSTRUCTION: {"assembly":["TSTORE <bundle operands>"],"block":["Local: BSTART.TSTORE DataType; optional B.DATR Layout; optional B.DIM; optional B.IOR; one source B.IOT; BSTOP","Shared: BSTART.TSTORE DataType; optional B.DATR/B.DIM/B.IOR; one source B.IOS with any nonzero consumer PE_MASK; optional B.SUBVIEW; BSTOP"],"catalog_indices":[82],"catalog_records":[{"arguments":[{"operand":"address"},{"operand":"scalar0"},{"operand":"source0"}],"command_mnemonic":"BSTART.TSTORE","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId","Layout"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"TSTORE","family":"TLSU","fault_contract":"ExecuteTileInstruction","function":1,"legality_handler":"TileOperandsLegal_TSTORE","name":"TSTORE","operands":[{"field":"address","role":"base-address"},{"field":"scalar0","role":"row-stride-bytes"},{"field":"source0","role":"source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","semantic_handler":"TSTORE","state_effects":["operand:address:base-address","operand:scalar0:row-stride-bytes","operand:source0:source"]}],"classification":["memory-and-data-movement","regular"],"contract":{"block":["Local: BSTART.TSTORE DataType; optional B.DATR Layout; optional B.DIM; optional B.IOR; one source B.IOT; BSTOP","Shared: BSTART.TSTORE DataType; optional B.DATR/B.DIM/B.IOR; one source B.IOS with a nonzero consumer PE_MASK; optional B.SUBVIEW; BSTOP"],"block_composition":["The Local form uses TLSU Function 1, exactly one terminating source B.IOT, at most one B.IOR, and no B.IOS.","The Shared form uses canonical TLSU Function 1, exactly one source B.IOS, at most one B.IOR, no B.IOT, and any nonzero consumer PE_MASK; optional B.SUBVIEW supplies the only partial-source range.","The Local CUBE form uses Function 1, explicit B.DATR M322ND, M162ND, or N82ND with DTYPE_NONE, explicit LB0/LB1, absent LB2, and one persistent source B.IOT."],"canonical_assembly":["TSTORE <bundle operands>"],"defaults":["DataType is explicit in BSTART.TSTORE. Omitted B.DATR selects ordinary NORM layout. Ordinary and Shared forms require PadValue zero; Local CUBE codes 24 through 26 require DTYPE_NONE, accept all four PadValue encodings, and ignore physical padding while storing only valid elements.","For an allocated source, omitted LB0, LB1, and LB2 inherit ValidCol, ValidRow, and physical Col from its descriptor. For a pending Shared source they default to 1, 1, and ValidCol.","An unallocated, pending, or incomplete Shared source remains waiting and produces no GM, binding-consumption, or descriptor effect.","Omitted B.IOR supplies base zero. Ordinary forms use resolved Col and CUBE forms use LB0 valid columns to derive dense byte row stride as ceil(columns * element_bits / 8). An encoded zero selector is present and supplies the real zero GPR value, so an explicitly encoded zero stride aliases rows."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.TSTORE U8; B.DIM LB0, 64; B.DIM LB1, 8; B.DIM LB2, 64; B.IOR a0, a1; B.IOT T1, mask=1111, last; BSTOP","BSTART.TSTORE FP16; B.IOS S7, mask=0011; B.SUBVIEW 0, a0, 0, 7; BSTOP"],"exceptions":["A malformed binding stream, missing dimensions, unsupported DataType, non-row-major source, undefined Local source element, invalid source encoding, or mismatched source geometry raises Fault_TileLegality before effects. An unpublished or not-whole-ready Shared source waits without fault or effect.","A memory translation, permission, or alignment fault is detected before the first GM write."],"field_contracts":{"DataType":{"ref":"PTO-FIELD-BLOCK-DATATYPE"}},"field_zero_meanings":{"B.IOR.RegSrc0":"An encoded zero GPR supplies base address zero; omission also defaults the base to zero but remains a distinct schema state.","B.IOR.RegSrc1":"An encoded zero GPR supplies row stride zero; omission defaults the stride to the dense byte row width derived from resolved Col and DataType.","B.IOS.PE_MASK":"0000 is a strict no-op before schema, descriptor, GPR, memory, fault, or source-consumption effects."},"legality":["TSTORE is selected by TLSU Function 1 and has no standalone opcode.","DataType accepts 0..14, 16..20, and 24..28; all other codes are reserved before effects.","The completed block has exactly one source domain. Function 1 accepts one Local B.IOT or one Shared B.IOS; Shared source access requires whole-parent readiness and publication.","Shared PE_MASK selects participating consumer PEs and never infers quarter selection. B.SUBVIEW is the explicit source range mechanism.","ValidCol and ValidRow are nonzero, ValidCol does not exceed physical Col, and the resolved valid rectangle fits the persistent source descriptor."],"memory_effects":["For every selected PE and each element in ValidRow x ValidCol, write GM at base + row * row_stride_bytes + column * element_size. Packed four-bit columns add floor(column / 2) to each byte-strided row base and select low/high by column parity.","The complete selected-PE footprint is translated and permission-checked before the first GM write. A fault therefore produces no partial GM or memory-event effect."],"operands":[{"field":"source0","role":"Local Tile or absolute Shared S0..S63 source"},{"field":"address","role":"per-PE private-GPR GM base address"},{"field":"scalar0","role":"per-PE private-GPR byte row stride"}],"ordering":["Snapshot the source payload, resolve the complete schema and dimensions, validate the source descriptor or temporary descriptor, and preflight every selected GM access before storing any element.","After successful preflight, store beats have no architecture-defined relative order. Software avoids overlapping selected-PE GM regions or establishes ordering separately."],"standalone_opcode":false,"state_effects":["Reads one Local or published, whole-parent-ready Shared source without modifying its payload, descriptor, producer mask, readiness, or lifetime.","On success only GM and memory-event state change; the source binding is consumed by normal block completion."]},"depends_on":["PTO-BLOCK-BSTART-TSTORE","PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"TLSU","id":"PTO-TILE-TSTORE","mnemonic":"TSTORE","summary":"Store one ordinary Local or Shared rectangle, or explicitly convert persistent Local CUBE storage into one GM rectangle.","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-TSTORE-MEMORY-001// ndf: kind=contract level=L1 layer=tile status=accepted// TSTORE MUST use B.IOR RegSrc1 as a byte row stride, MUST snapshot and// preserve its Local or Shared source, MUST preflight the complete selected GM// footprint before any store, and MUST distinguish an omitted dense byte// stride from an explicitly encoded zero stride. Function 1 Shared access// accepts any nonzero participating PE mask, and mask zero MUST have no// architectural effect.// NDF-END: PTO-TSTORE-MEMORY-001// NDF-BEGIN: PTO-TSTORE-CUBE-001// ndf: kind=contract level=L1 layer=tile status=accepted// CUBE TSTORE MUST require an exact persistent Matrix descriptor selected by// M322ND, M162ND, or N82ND, MUST preflight its full LB1 by LB0 GM footprint,// and MUST store only valid elements without modifying source or padding.// NDF-END: PTO-TSTORE-CUBE-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TSTORE() => TileOperationbegin return TileOperation_TSTORE;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TSTORE(code: bits(5)) => booleanbegin if !TileDataTypeEncodingValid(code as TileDataTypeEncoding) then return FALSE; end; let data_type = TileDataTypeFromEncoding(code as TileDataTypeEncoding); return TileRegularTLSUDataTypeSupported(data_type);end;
readonly func InstructionContractHandler_TSTORE() => TileSemanticHandlerbegin return TileHandler_TSTORE;end;
readonly func InstructionContractGMAddress_TSTORE( base_address: Word, row: integer {0..65535}, column: integer {0..65535}, row_stride_bytes: Word, data_type: TileDataType) => Wordbegin return TileMemoryStridedByteAddress( base_address, row, column, row_stride_bytes, data_type);end;
readonly func InstructionContractDenseStride_TSTORE( columns: integer {0..65535}, data_type: TileDataType) => Wordbegin return TileDenseRowStrideBytes(columns, data_type);end;
pure func InstructionContractSharedMaskLegal_TSTORE( function: integer {0..31}, pe_mask: bits(4)) => booleanbegin return SharedStorePEMaskLegal(function, pe_mask);end;
pure func InstructionContractZeroMaskNoEffect_TSTORE( pe_mask: bits(4)) => booleanbegin return pe_mask == Zeros{4};end;
pure func InstructionContractCubeDimensionsLegal_TSTORE( lb0_present: boolean, lb0: integer {0..65535}, lb1_present: boolean, lb1: integer {0..65535}, lb2_present: boolean) => booleanbegin return lb0_present && lb0 != 0 && lb1_present && lb1 != 0 && !lb2_present;end;// DOC-END: operation
TSTORE stores one valid Local or Shared rectangle to GM without modifying the source Tile.
The complete selected-PE GM footprint is translated and permission-checked before the first store.
After successful preflight, every valid source element is stored with the resolved byte row stride; packed four-bit elements select the byte half by column parity.
source0 supplies a persistent source Tile.address supplies the per-PE GM base address.scalar0 supplies the byte row stride.LB0, LB1, and LB2 complete the valid and physical shape according to this mnemonic’s contract; every required valid extent is nonzero.The source payload and descriptor persist. Only GM and memory-event state change after successful full-footprint preflight.
A fault produces no partial GM write or memory-event prefix.
Source Tiles persist and are not modified by successful execution.
Binding schema, dimensions, DataType, layout, source descriptor or temporary Shared descriptor, and every selected GM access are preflighted before effects.
A legality or GM-access fault produces no partial GM or memory-event effect; TSTORE performs no destination allocation or destination publication.
PE_MASK=0000 is a strict no-op before operand reads, descriptor checks, faults, GM writes, or memory-event effects.
Overlapping selected-PE GM regions have no architecture-defined store-beat order; software must avoid overlap or establish ordering separately.
This example illustrates the current ASL-bound contract and is not a second instruction definition.
TSTORE <bundle operands> completes all shape, descriptor, and GM-access checks before storing the valid rectangle; the source Tile remains unchanged.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TSTORE MUST use B.IOR RegSrc1 as a byte row stride, MUST snapshot and preserve its Local or Shared source, MUST preflight the complete selected GM footprint before any store, and MUST distinguish an omitted dense byte stride from an explicitly encoded zero stride. Function 1 Shared access accepts any nonzero participating PE mask, and mask zero MUST have no architectural effect.
PTO-TSTORE-MEMORY-001asl/tile/memory-and-data-movement/regular/TSTORE.asl0338a994e1246023f72595022c36f2b40c6c7ecd35c860f1ee92584481ac1498412afe93a8a76e1f3f993d686305e8de8d4743eb3b97fad12ca8144a95ec0abcCUBE TSTORE MUST require an exact persistent Matrix descriptor selected by M322ND, M162ND, or N82ND, MUST preflight its full LB1 by LB0 GM footprint, and MUST store only valid elements without modifying source or padding.
PTO-TSTORE-CUBE-001asl/tile/memory-and-data-movement/regular/TSTORE.asl0338a994e1246023f72595022c36f2b40c6c7ecd35c860f1ee92584481ac149896ffc8445e1f2f05078f0e3204f59c80e7bda661260b8755bee43522654651fb24 matching entries
PTO-AVS-BLOCK-TSTORE-CUBE-002tests/asl/block/execution/BSTART.TSTORE/block-exec-bstart-tstore-cube-002.asla00c3e8459d6f2b99ebff07dde08aa32276928ccf228b64588965c95d58d155bPTO-AVS-BLOCK-TSTORE-PACKED-001tests/asl/block/execution/BSTART.TSTORE/block-exec-bstart-tstore-packed-001.asl4d2a18f7bbbb4119bbde01109601cdc84ef878baa0d91657838d7441205d4a3fPTO-AVS-BLOCK-TSTORE-STRIDE-001tests/asl/block/execution/BSTART.TSTORE/block-exec-bstart-tstore-stride-001.asl03cfc4310adad44671590fbcf4b2a46d2222124fbeee92a869b6b62459161ec9PTO-AVS-TILE-TSTORE-DIRECT-001tests/asl/tile/memory-and-data-movement/regular/TSTORE/tile-exec-tstore-direct-001.asl738d80dfdc91fe0c130edcd8b0b9c34dd52abb4455e2342cd668eb7819ca43f1PTO-AVS-TILE-TSTORE-PRECISE-001tests/asl/tile/memory-and-data-movement/regular/TSTORE/tile-fault-tstore-precise-001.aslcfe9daf86d20821d28491a365baafcf16e8edfc165fe7b9c15f8628e69548854PTO-AVS-TILE-TSTORE-STATIC-001tests/asl/tile/memory-and-data-movement/regular/TSTORE/tile-static-tstore-contract-001.asle6abba7df6fa17602918d3f2417b6e228882964e0f7e20f0ae701c80894dc49fPTO-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-0020…
ADR-0020docs/status/decisions/0020-production-memory-events-and-atomic-corners.md215b18f05d0b53120949373fce6a5ce22f7ab534fb22df24743a9b2b4beb2decLoading ADR-0033…
ADR-0033docs/status/decisions/0033-tlsu-four-bit-memory-packing.md6fd4f3016f503498cf6a1068907f48998e39f3c29b034d7ddfc486cd6494104bLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading ADR-0056…
ADR-0056docs/status/decisions/0056-pto-encoding-ownership-and-gm-access.md846120c256746358eb7b2bd649687e7dddd7e116495b0447afb04be370676d29Loading 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-0070…
ADR-0070docs/status/decisions/0070-gm-local-cube-layout-transport.md63574a9b2d9ae41d4fa595638026a78f6944ed530bb303cfc5865662393c3dd3Loading ADR-0074…
ADR-0074docs/status/decisions/0074-tload-tstore-gm-byte-row-stride.mde0f2354929f9ecc4e26bba74f70aeff95273ed324f4ab103d47520befc1dc990Loading ADR-0078…
ADR-0078docs/status/decisions/0078-tlsu-and-global-memory-operations.md467537ae8ea30d9a555acee815808394bf800808267a4e58f2e2bbd14c1ee981Loading ADR-0107…
ADR-0107docs/status/decisions/0107-remove-legacy-shared-movement.md6aeca3a79c6636fef2f4240ca939e5c7d4dac55207788217bf0e5545b4ef630dLoading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"memory-and-data-movement",
"regular"
],
"documentation": "docs/tile/memory-and-data-movement/regular/TSTORE.md",
"id": "PTO-TILE-TSTORE",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TSTORE",
"ndf_clause": "PTO-INST-TILE-TSTORE"
},
"mnemonic": "TSTORE",
"readiness_subjects": [
"ADR-0020",
"ADR-0033",
"ADR-0052",
"ADR-0056",
"ADR-0057",
"ADR-0059",
"ADR-0070",
"ADR-0074",
"ADR-0078",
"ADR-0107",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-TSTORE-DIRECT-001",
"PTO-AVS-TILE-TSTORE-PRECISE-001"
],
"source": "asl/tile/memory-and-data-movement/regular/TSTORE.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TSTORE-DIRECT-001",
"PTO-AVS-TILE-TSTORE-PRECISE-001",
"PTO-AVS-TILE-TSTORE-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868120338a994e1246023f72595022c36f2b40c6c7ecd35c860f1ee92584481ac149859e53c4cd709dd4acc04015c59dc9749e93d9ad25f0cbe5da739e8edaa3b1ad4asl/tile/memory-and-data-movement/regular/TSTORE.aslasl/tile/memory-and-data-movement/regular/TSTORE.aslasl/tile/memory-and-data-movement/regular/TSTORE.aslasl/tile/memory-and-data-movement/regular/TSTORE.asl