Extract an offset window from one descriptor-defined feature map into standard Left matrix order.
PTO-TILE-TIMG2COLTIMG2COL <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType> SrcTile0, Natural0, Natural1 -> 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 TIMG2COL, DataType |
| Input | SrcTile0 | persistent Local Matrix feature-map source | contract.operands[1].source0 |
| Input | Natural0 | unsigned low-sixteen-bit posM | contract.operands[2].natural0 |
| Input | Natural1 | unsigned low-sixteen-bit posK | contract.operands[3].natural1 |
| Output | DstTile | new Local Matrix destination | contract.operands[0].destination0 |
BSTART.SFU TIMG2COL, DataType
BSTART.SFU TIMG2COL, DataTypeRequiredB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredB.IOR PosMGPR, PosKGPR, zero, ->zero (optional)OptionalBSTOPRequiredBSTART.SFU TIMG2COL, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TIMG2COL, FP16; B.DIM LB0=KWindow; B.DIM LB1=MWindow; B.IOT Src, mask=PE_MASK, <last>, ->Dst<TSize>; B.IOR PosM, PosK, zero, ->zero; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local Matrix destination | — |
source0 | — | — | persistent Local Matrix feature-map source | — |
natural0 | — | — | unsigned low-sixteen-bit posM | — |
natural1 | — | — | unsigned low-sixteen-bit posK | — |
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
destination0source0natural0natural1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TIMG2COL() => TileOperationbegin return TileOperation_TIMG2COL;end;pure func InstructionContractDataTypeLegal_TIMG2COL( data_type: TileDataType) => booleanbegin return TileImg2ColDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TIMG2COL( destination: TileIndex, source: TileIndex, position_m: integer {0..65535}, position_k: integer {0..65535}) => booleanbegin return TileOperandsLegal_TIMG2COL( destination, source, position_m, position_k);end;
readonly func InstructionContractHandler_TIMG2COL() => TileSemanticHandlerbegin return TileHandler_TIMG2COL;end;
func InstructionContractExecute_TIMG2COL( destination: TileIndex, source: TileIndex, position_m: integer {0..65535}, position_k: integer {0..65535})begin assert InstructionContractOperandsLegal_TIMG2COL( destination, source, position_m, position_k); TIMG2COL( destination, source, position_m, position_k);end;// PTO-INSTRUCTION: {"assembly":["TIMG2COL <bundle operands>"],"block":["BSTART.SFU TIMG2COL, DataType","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR PosMGPR, PosKGPR, zero, ->zero (optional)","BSTOP"],"catalog_indices":[71],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"natural0"},{"operand":"natural1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":[],"pad_union":"must-zero"},"disposition":"accepted-direct-operation","effect_contract":"TIMG2COL","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":4,"legality_handler":"TileOperandsLegal_TIMG2COL","mode":3,"name":"TIMG2COL","operands":[{"field":"destination0","role":"new Local Matrix destination"},{"field":"source0","role":"persistent Local Matrix feature-map source"},{"field":"natural0","role":"unsigned low-sixteen-bit posM"},{"field":"natural1","role":"unsigned low-sixteen-bit posK"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x064","semantic_handler":"TIMG2COL","state_effects":["operand:destination0:new-local-matrix-destination","operand:source0:persistent-feature-map-source","operand:natural0:position-m","operand:natural1:position-k","state:source-feature-map-descriptor:read-only"]}],"classification":["layout-and-rearrangement","layout"],"contract":{"block_composition":["BSTART.SFU TIMG2COL, DataType","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","B.IOR PosMGPR, PosKGPR, zero, ->zero (optional)","BSTOP"],"canonical_assembly":["TIMG2COL <bundle operands>"],"defaults":["LB0 is required and supplies nonzero destination ValidCol. Omitted LB1 selects ValidRow=1 and omitted LB2 selects physical Col=ValidCol.","Omitted B.IOR selects posM=0 and posK=0. When present, RegSrc0 and RegSrc1 contribute their unsigned low sixteen bits; RegSrc2 and RegDst must be zero.","The source feature-map descriptor supplies layout, dimensions, filter, stride, dilation, four-sided padding, logical channel count, and the typed padding value."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TIMG2COL, FP16; B.DIM LB0=KWindow; B.DIM LB1=MWindow; B.IOT Src, mask=PE_MASK, <last>, ->Dst<TSize>; B.IOR PosM, PosK, zero, ->zero; BSTOP"],"exceptions":["An absent or invalid feature-map descriptor, transposed request, unsupported DataType, malformed binding, invalid B.DATR contribution, out-of-range matrix window, undefined referenced source element, invalid numeric encoding, or insufficient destination capacity raises the applicable Tile fault before effects.","PE_MASK=0000 is a strict no-op before descriptor or GPR reads, allocation, faults, or payload effects."],"field_contracts":{"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"},"B.IOR.RegSrc1":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.IOR.RegSrc0":"The architectural zero register, selecting posM=0.","B.IOR.RegSrc1":"The architectural zero register, selecting posK=0."},"legality":["TIMG2COL retains TEPL raw Mode 3 Function 4 and canonicalizes to the SFU engine without changing the carrier encoding.","Exactly one terminating Local B.IOT supplies one persistent Matrix-location source and one newly allocated Matrix-location destination; B.IOS is illegal.","The source descriptor layout is NC1HWC0 or NDC1HWC0; every dimension, filter, stride, and dilation is nonzero, padding is nonnegative, logical channels do not exceed C1*C0, and transposed mode is illegal.","Source and destination use the same one of FP32, FP16, BF16, S32, S16, S8, U32, U16, or U8, row-major layout, and PE_MASK.","B.DATR contributes no field. B.IOR is optional and only RegSrc0 and RegSrc1 may be nonzero.","The complete destination window at posM,posK fits N*D*outH*outW by C1*filterH*filterW*C0, and every actually referenced in-range source element is defined and validly encoded."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local Matrix destination"},{"field":"source0","role":"persistent Local Matrix feature-map source"},{"field":"natural0","role":"unsigned low-sixteen-bit posM"},{"field":"natural1","role":"unsigned low-sixteen-bit posK"}],"ordering":["Complete schema, descriptor, range, type, capacity, referenced-definedness, and allocation preflight precedes source snapshot.","The source payload and feature-map descriptor are read-only; complete destination payload and definedness publish atomically."],"standalone_opcode":false,"state_effects":["For each destination row and column, add posM and posK, decompose the logical matrix coordinates, and copy the matching NC1HWC0 or NDC1HWC0 source element.","Out-of-range spatial coordinates and packed channels beyond logical_channels receive the descriptor typed padding value.","Publish the complete standard Left matrix result without modifying the source or its feature-map descriptor."]},"depends_on":["PTO-TILE-MODEL-LEGALITY-IMAGE-TO-COLUMN","PTO-TILE-MODEL-EXECUTION-IMAGE-TO-COLUMN"],"engine":"SFU","id":"PTO-TILE-TIMG2COL","mnemonic":"TIMG2COL","summary":"Extract an offset window from one descriptor-defined feature map into standard Left matrix order.","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-TIMG2COL-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TIMG2COL MUST read one valid NC1HWC0 or NDC1HWC0 source descriptor,// derive its matrix coordinates from posM and posK, and publish one standard// Left matrix destination atomically. Spatial or logical-channel padding MUST// come only from the typed source descriptor, and the source descriptor MUST// remain unchanged.// NDF-END: PTO-TIMG2COL-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TIMG2COL() => TileOperationbegin return TileOperation_TIMG2COL;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TIMG2COL( data_type: TileDataType) => booleanbegin return TileImg2ColDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TIMG2COL( destination: TileIndex, source: TileIndex, position_m: integer {0..65535}, position_k: integer {0..65535}) => booleanbegin return TileOperandsLegal_TIMG2COL( destination, source, position_m, position_k);end;
readonly func InstructionContractHandler_TIMG2COL() => TileSemanticHandlerbegin return TileHandler_TIMG2COL;end;
func InstructionContractExecute_TIMG2COL( destination: TileIndex, source: TileIndex, position_m: integer {0..65535}, position_k: integer {0..65535})begin assert InstructionContractOperandsLegal_TIMG2COL( destination, source, position_m, position_k); TIMG2COL( destination, source, position_m, position_k);end;// DOC-END: operation
TIMG2COL extracts a descriptor-defined feature-map window into standard Left matrix order.
The ASL DOC contract selects TileHandler_TIMG2COL 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 Matrix destination; source0 is the persistent Local Matrix feature-map source; natural0 is the unsigned low-sixteen-bit posM; natural1 is the unsigned low-sixteen-bit posK.
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 TIMG2COL, FP16; B.DIM LB0=KWindow; B.DIM LB1=MWindow; B.IOT Src, mask=PE_MASK, <last>, ->Dst<TSize>; B.IOR PosM, PosK, zero, ->zero; 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.
TIMG2COL MUST read one valid NC1HWC0 or NDC1HWC0 source descriptor, derive its matrix coordinates from posM and posK, and publish one standard Left matrix destination atomically. Spatial or logical-channel padding MUST come only from the typed source descriptor, and the source descriptor MUST remain unchanged.
PTO-TIMG2COL-CONTRACT-001asl/tile/layout-and-rearrangement/layout/TIMG2COL.asl52e1c10776add9b26e0953e24d2e68f32dd2618b97752ed127ff224fb490b1a69d59a5cfec91aab68946b90de93442cf6b18f8c5194bea38de1f18519f94effa16 matching entries
PTO-AVS-TILE-FEATURE-MAP-STATE-001tests/asl/tile/model/state/feature-map-descriptors/tile-state-feature-map-001.asl1bd4c7eb7a61c13c42bccfc87aadbb8796ba6aed8bf11331e65606a27d98984dPTO-AVS-TILE-IMG2COL-OFFSET-001tests/asl/tile/model/execution/image-to-column/tile-exec-img2col-offset-001.asl0943b5546a5249003843a14df2c0278eafa57f016fc6128037870e6811b51173PTO-AVS-TILE-IMG2COL-RANGE-001tests/asl/tile/model/legality/image-to-column/tile-bound-img2col-range-001.asl1b30112a80ccd84b14babbee561a09e110abfbaa84aa80f00f1eeed9dbccf99dPTO-AVS-TILE-TIMG2COL-MAP-001tests/asl/tile/layout-and-rearrangement/layout/TIMG2COL/tile-exec-timg2col-map-001.aslf8cce242b5faf20b69598a6981936c1ce879fc2e3172493531d0e53969472877PTO-AVS-TILE-TIMG2COL-PAD-001tests/asl/tile/layout-and-rearrangement/layout/TIMG2COL/tile-exec-timg2col-pad-001.asl6a8ddab45ad9f2fc1eb1bbc68d1881bab9dcf7eb4cc87b7045360e8aacdd4f8bPTO-AVS-TILE-TIMG2COL-STATIC-001tests/asl/tile/layout-and-rearrangement/layout/TIMG2COL/tile-static-timg2col-contract-001.asl08b391603dac09425db768fc17956a6842a437dfcfd3d31692916fb92fb45348PTO-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-0080…
ADR-0080docs/status/decisions/0080-tile-elementwise-and-irregular-operations.md3f6aed3e2ac792a75e46787be99eb8c1d5ce204b098f531aa9fcb80b87448d72{
"classification": [
"layout-and-rearrangement",
"layout"
],
"documentation": "docs/tile/layout-and-rearrangement/layout/TIMG2COL.md",
"id": "PTO-TILE-TIMG2COL",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TIMG2COL",
"ndf_clause": "PTO-INST-TILE-TIMG2COL"
},
"mnemonic": "TIMG2COL",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TIMG2COL-MAP-001",
"PTO-AVS-TILE-TIMG2COL-PAD-001"
],
"source": "asl/tile/layout-and-rearrangement/layout/TIMG2COL.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TIMG2COL-MAP-001",
"PTO-AVS-TILE-TIMG2COL-PAD-001",
"PTO-AVS-TILE-TIMG2COL-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681252e1c10776add9b26e0953e24d2e68f32dd2618b97752ed127ff224fb490b1a6187a99af407ec90e7a8c28cec5ece255f8808a867fd7119ed1b8905755e3b08easl/tile/layout-and-rearrangement/layout/TIMG2COL.aslasl/tile/layout-and-rearrangement/layout/TIMG2COL.aslasl/tile/layout-and-rearrangement/layout/TIMG2COL.asl