Reduce each valid column to its minimum with exact typed row-order semantics.
PTO-TILE-TCOLMINTCOLMIN <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 TCOLMIN, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | persistent Local numeric source | contract.operands[1].source0 |
| Output | DstTile | new Local same-type numeric destination | contract.operands[0].destination0 |
BSTART.SFU TCOLMIN, DataType
BSTART.SFU TCOLMIN, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.SFU TCOLMIN, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TCOLMIN, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, 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 numeric 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_TCOLMIN() => TileOperationbegin return TileOperation_TCOLMIN;end;pure func InstructionContractDataTypeLegal_TCOLMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLMIN( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileReduction( TileReduction_MIN, TileAxis_Column, destination, source);end;
readonly func InstructionContractHandler_TCOLMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileReduction;end;
func InstructionContractExecute_TCOLMIN( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TCOLMIN( destination, source); ExecuteTileReduction( TileReduction_MIN, TileAxis_Column, destination, source);end;// PTO-INSTRUCTION: {"assembly":["TCOLMIN <bundle operands>"],"block":["BSTART.SFU TCOLMIN, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[56],"catalog_records":[{"arguments":[{"constant":"TileReduction_MIN"},{"constant":"TileAxis_Column"},{"operand":"destination0"},{"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":"ExecuteTileReduction","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":18,"legality_handler":"TileOperandsLegal_ExecuteTileReduction","mode":2,"name":"TCOLMIN","operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local numeric source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x052","semantic_handler":"ExecuteTileReduction","state_effects":["operand:destination0:new-local-same-type-destination","operand:source0:persistent-local-numeric-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","column-reduction"],"contract":{"block_composition":["BSTART.SFU TCOLMIN, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TCOLMIN <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.","TCOLMIN computes a typed increasing-row TMIN fold initialized from row zero; the scan order is architectural and tree reassociation is not permitted."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TCOLMIN, DataType; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, 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 result shape, insufficient TSize, unavailable renamed destination, or exhausted Tile capacity raises Fault_TileAllocation before destination publication.","Floating numeric status is accumulated across the architectural fold and publishes atomically with the result."],"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":["TCOLMIN is selected by the TEPL raw encoding carrier Mode 2 Function 18; canonical execution-engine assembly is BSTART.SFU and there is no standalone opcode.","Exactly one terminating Local B.IOT supplies one persistent Local source and one newly allocated Local destination. B.IOR, B.IOS, a second B.IOT, or a nonterminating binding is illegal.","The source DataType is exactly FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, or U8.","The destination DataType equals the source DataType.","The source is a fully defined row-major numeric Tile whose ValidRow, ValidCol, and physical Col exactly match the B.DIM-derived source geometry; every constrained floating encoding is valid.","The destination has ValidRow equal to one, ValidCol equal to source.ValidCol, physical Col equal to source.Col, and capacity-derived physical Rows.","PadValueOrByteId is the only applicable B.DATR field. Source and destination 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 numeric source"}],"ordering":["Complete schema, attribute, dimension, type, descriptor, source-definedness, source-encoding, mask, capacity, name-allocation, and storage preflight precedes the source snapshot.","The source is scanned in strictly increasing row order; the source persists and is never modified.","Numeric status, all valid results, selected padding definedness, and the renamed destination descriptor publish atomically; rejection publishes none."],"standalone_opcode":false,"state_effects":["For each valid column, compute a typed increasing-row TMIN fold initialized from row zero.","Write the typed reduction value without widening integer arithmetic or reassociating the fold.","Apply the selected PadValue to physical destination coordinates outside the valid result rectangle, then publish the complete result atomically."]},"depends_on":["PTO-BLOCK-MODEL-DISPATCH-REDUCTION-SCHEMA","PTO-TILE-MODEL-EXECUTION-REDUCTION","PTO-TILE-MODEL-LEGALITY-REDUCTION-AND-EXPANSION"],"engine":"SFU","id":"PTO-TILE-TCOLMIN","mnemonic":"TCOLMIN","summary":"Reduce each valid column to its minimum with exact typed row-order semantics.","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-TCOLMIN-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCOLMIN MUST select SFU Mode 2 Function 18 and MUST compute a typed// increasing-row TMIN fold initialized from row zero over one fully defined// Local source.// The source geometry MUST match the B.DIM-derived shape.// The destination MUST use the source DataType and integer arithmetic MUST// remain at the selected element width.// Only PadValueOrByteId MAY be nondefault in B.DATR.// Complete preflight and source snapshot MUST precede atomic result,// status, padding, and descriptor publication.// NDF-END: PTO-TCOLMIN-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCOLMIN() => TileOperationbegin return TileOperation_TCOLMIN;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCOLMIN( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCOLMIN( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileReduction( TileReduction_MIN, TileAxis_Column, destination, source);end;
readonly func InstructionContractHandler_TCOLMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileReduction;end;
func InstructionContractExecute_TCOLMIN( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TCOLMIN( destination, source); ExecuteTileReduction( TileReduction_MIN, TileAxis_Column, destination, source);end;// DOC-END: operation
TCOLMIN is a selector-encoded Tile operation executed by SFU. It folds each column in increasing row order with typed minimum; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler folds each column in increasing row order with typed minimum. 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 numeric 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 accepted data-type set is FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, U8.
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 TCOLMIN example, columns [[1, 4], [3, 2]] reduce to [1, 2].
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TCOLMIN MUST select SFU Mode 2 Function 18 and MUST compute a typed increasing-row TMIN fold initialized from row zero over one fully defined Local source. The source geometry MUST match the B.DIM-derived shape. The destination MUST use the source DataType and integer arithmetic MUST remain at the selected element width. Only PadValueOrByteId MAY be nondefault in B.DATR. Complete preflight and source snapshot MUST precede atomic result, status, padding, and descriptor publication.
PTO-TCOLMIN-CONTRACT-001asl/tile/reduce-and-expand/column-reduction/TCOLMIN.asl46c4818574c942d0bd915e74232e91d0fadeeaecb37048da2015c86e578c78d7c411855f6fd9b39a03f9d65048e3e77a604653799dfa8c7309b3eceda80387a813 matching entries
PTO-AVS-TILE-TCOLMIN-S8-001tests/asl/tile/reduce-and-expand/column-reduction/TCOLMIN/tile-exec-tcolmin-s8-001.asl2f648ccee903d7d06d511ff345c6413d5d8f941b7f95dbce5c23702dc68e142bPTO-AVS-TILE-TCOLMIN-STATIC-001tests/asl/tile/reduce-and-expand/column-reduction/TCOLMIN/tile-static-tcolmin-contract-001.asl0b36fde044b9d00cafd2afc4d9f6a086097b808b844f1eaaa3daf973f0380327PTO-AVS-TILE-TCOLMIN-TYPE-DOMAIN-002tests/asl/tile/reduce-and-expand/column-reduction/TCOLMIN/tile-bound-tcolmin-type-domain-002.asldbfd2c5b9a4891ba498d6b6db45c5768ede9fceaa1174cf6b3f1cd87c3772affPTO-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-reduction"
],
"documentation": "docs/tile/reduce-and-expand/column-reduction/TCOLMIN.md",
"id": "PTO-TILE-TCOLMIN",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCOLMIN",
"ndf_clause": "PTO-INST-TILE-TCOLMIN"
},
"mnemonic": "TCOLMIN",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TCOLMIN-S8-001",
"PTO-AVS-TILE-TCOLMIN-TYPE-DOMAIN-002"
],
"source": "asl/tile/reduce-and-expand/column-reduction/TCOLMIN.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCOLMIN-S8-001",
"PTO-AVS-TILE-TCOLMIN-STATIC-001",
"PTO-AVS-TILE-TCOLMIN-TYPE-DOMAIN-002"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681246c4818574c942d0bd915e74232e91d0fadeeaecb37048da2015c86e578c78d7a3e0d5e7f67abddd76b5f07f7e3196c6184f09b29e6c12653aeb58c2d4096185asl/tile/reduce-and-expand/column-reduction/TCOLMIN.aslasl/tile/reduce-and-expand/column-reduction/TCOLMIN.aslasl/tile/reduce-and-expand/column-reduction/TCOLMIN.asl