Reduce each valid row to its lowest minimum column index with exact typed column-order semantics.
PTO-TILE-TROWARGMINTROWARGMIN <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 TROWARGMIN, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | persistent Local numeric source | contract.operands[1].source0 |
| Output | DstTile | new Local S32 or U32 index destination | contract.operands[0].destination0 |
BSTART.SFU TROWARGMIN, DataType
BSTART.SFU TROWARGMIN, 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 TROWARGMIN, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TROWARGMIN, 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 S32 or U32 index 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_TROWARGMIN() => TileOperationbegin return TileOperation_TROWARGMIN;end;pure func InstructionContractDataTypeLegal_TROWARGMIN( data_type: TileDataType) => booleanbegin return TileArgReductionSourceDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWARGMIN( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileReduction( TileReduction_ARGMIN, TileAxis_Row, destination, source);end;
readonly func InstructionContractHandler_TROWARGMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileReduction;end;
func InstructionContractExecute_TROWARGMIN( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TROWARGMIN( destination, source); ExecuteTileReduction( TileReduction_ARGMIN, TileAxis_Row, destination, source);end;// PTO-INSTRUCTION: {"assembly":["TROWARGMIN <bundle operands>"],"block":["BSTART.SFU TROWARGMIN, 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":[53],"catalog_records":[{"arguments":[{"constant":"TileReduction_ARGMIN"},{"constant":"TileAxis_Row"},{"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":13,"legality_handler":"TileOperandsLegal_ExecuteTileReduction","mode":2,"name":"TROWARGMIN","operands":[{"field":"destination0","role":"new Local S32 or U32 index destination"},{"field":"source0","role":"persistent Local numeric source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x04D","semantic_handler":"ExecuteTileReduction","state_effects":["operand:destination0:new-local-s32-or-u32-index-destination","operand:source0:persistent-local-numeric-source","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["reduce-and-expand","row-reduction"],"contract":{"block_composition":["BSTART.SFU TROWARGMIN, 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":["TROWARGMIN <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.","TROWARGMIN computes an increasing-column TMIN scan that retains the lowest winning index; the scan order is architectural and tree reassociation is not permitted."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TROWARGMIN, 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":["TROWARGMIN is selected by the TEPL raw encoding carrier Mode 2 Function 13; 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 S32, U32, FP32, S16, U16, FP16, BF16, S8, or U8.","The destination DataType is S32 or U32 regardless of 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 source.ValidRow, ValidCol and physical Col equal to one, 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 S32 or U32 index 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 column 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 row, compute an increasing-column TMIN scan that retains the lowest winning index.","Write the selected column index as S32 or U32; equal winning values retain the lowest index.","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-TROWARGMIN","mnemonic":"TROWARGMIN","summary":"Reduce each valid row to its lowest minimum column index with exact typed column-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-TROWARGMIN-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TROWARGMIN MUST select SFU Mode 2 Function 13 and MUST compute an// increasing-column TMIN scan that retains the lowest winning index over// one fully defined Local source.// The source geometry MUST match the B.DIM-derived shape.// The destination MUST use S32 or U32 indices and equal winners MUST retain the// lowest index.// 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-TROWARGMIN-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TROWARGMIN() => TileOperationbegin return TileOperation_TROWARGMIN;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TROWARGMIN( data_type: TileDataType) => booleanbegin return TileArgReductionSourceDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TROWARGMIN( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileReduction( TileReduction_ARGMIN, TileAxis_Row, destination, source);end;
readonly func InstructionContractHandler_TROWARGMIN() => TileSemanticHandlerbegin return TileHandler_ExecuteTileReduction;end;
func InstructionContractExecute_TROWARGMIN( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TROWARGMIN( destination, source); ExecuteTileReduction( TileReduction_ARGMIN, TileAxis_Row, destination, source);end;// DOC-END: operation
TROWARGMIN selects the lowest column index of each row minimum.
Each row is scanned in strictly increasing column order; reassociation is not permitted.
Equal winning values retain the lowest column index, and the destination stores S32 or U32 indices.
Floating results and element status follow the active named numeric profile; the portable contract owns selection, shape, publication, and fault order.
destination0 identifies a newly allocated index destination.source0 supplies a persistent source Tile.FP32, FP16, BF16, S32, S16, S8, U32, U16, U8.LB0, LB1, and LB2 complete the valid and physical shape according to this mnemonic’s contract; every required valid extent is nonzero.All source descriptors and payloads are validated and snapshotted before destination publication.
The complete destination payload, descriptor, definedness, padding state, and applicable numeric status publish atomically; rejection publishes none.
Null padding leaves physical coordinates outside the valid rectangle undefined; an explicit non-Null PadValue defines those coordinates with the selected typed value.
Source Tiles persist and are not modified by successful execution.
Complete binding schema, dimensions, DataType, layout, source definedness, numeric encoding, destination capacity, and allocation are preflighted before effects.
A failed legality or allocation check raises the applicable Tile fault without partial destination, status, or memory effects.
PE_MASK=0000 is a strict no-op before operand reads, allocation, faults, numeric status, or payload effects.
This example illustrates the current ASL-bound contract and is not a second instruction definition.
TROWARGMIN <bundle operands> snapshots the source and scans each valid row in increasing column order before atomically publishing the row result.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TROWARGMIN MUST select SFU Mode 2 Function 13 and MUST compute an increasing-column TMIN scan that retains the lowest winning index over one fully defined Local source. The source geometry MUST match the B.DIM-derived shape. The destination MUST use S32 or U32 indices and equal winners MUST retain the lowest index. Only PadValueOrByteId MAY be nondefault in B.DATR. Complete preflight and source snapshot MUST precede atomic result, status, padding, and descriptor publication.
PTO-TROWARGMIN-CONTRACT-001asl/tile/reduce-and-expand/row-reduction/TROWARGMIN.asl28d5aea84ce8759aeff6ae40bcaf6a7f5cc5a552b472a9c448255aff13cc2e0ddbf0aeca866786dc3126445cd84c19a165d56b555d0195c4c8b432e94aba899015 matching entries
PTO-AVS-BLOCK-TROWARGMIN-DEST-001tests/asl/block/model/dispatch/destination-shape/block-bound-trowargmin-dest-001.aslc38cf51924946da8150dff6270150a95b7e674e6e1ce41ac881fb8893f88f694PTO-AVS-TILE-TROWARGMIN-INDEX-DTYPE-DECODED-001tests/asl/tile/reduce-and-expand/row-reduction/TROWARGMIN/tile-exec-trowargmin-index-dtype-decoded-001.asl0ac07ccb789535e6947a1a085b5928cc7e43b0ca985d95a28cda84a57cb2bfafPTO-AVS-TILE-TROWARGMIN-SHAPE-001tests/asl/tile/reduce-and-expand/row-reduction/TROWARGMIN/tile-bound-trowargmin-shape-001.asld78a2aa91483a293c5504ff4545bd3248221d44b9c1e23e50b1c189f2db80722PTO-AVS-TILE-TROWARGMIN-STATIC-001tests/asl/tile/reduce-and-expand/row-reduction/TROWARGMIN/tile-static-trowargmin-contract-001.asl7501d606d7ddd0912022bf5e9fb92454539e329ce18dd25bfade6b4c05b1f33aPTO-AVS-TILE-TROWARGMIN-TIE-001tests/asl/tile/reduce-and-expand/row-reduction/TROWARGMIN/tile-exec-trowargmin-tie-001.asl43093b9cbc9c2a2fde893680815b15cc889cbd0eb3bb7d07c740b30a40bb3776PTO-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",
"row-reduction"
],
"documentation": "docs/tile/reduce-and-expand/row-reduction/TROWARGMIN.md",
"id": "PTO-TILE-TROWARGMIN",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TROWARGMIN",
"ndf_clause": "PTO-INST-TILE-TROWARGMIN"
},
"mnemonic": "TROWARGMIN",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0082"
],
"semantic_tests": [
"PTO-AVS-TILE-TROWARGMIN-INDEX-DTYPE-DECODED-001",
"PTO-AVS-TILE-TROWARGMIN-SHAPE-001",
"PTO-AVS-TILE-TROWARGMIN-TIE-001"
],
"source": "asl/tile/reduce-and-expand/row-reduction/TROWARGMIN.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TROWARGMIN-INDEX-DTYPE-DECODED-001",
"PTO-AVS-TILE-TROWARGMIN-SHAPE-001",
"PTO-AVS-TILE-TROWARGMIN-STATIC-001",
"PTO-AVS-TILE-TROWARGMIN-TIE-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd8681228d5aea84ce8759aeff6ae40bcaf6a7f5cc5a552b472a9c448255aff13cc2e0da9fa851c4de23a4d723ceea78bf25189eca435c4c40e23e33586a457cab9938dasl/tile/reduce-and-expand/row-reduction/TROWARGMIN.aslasl/tile/reduce-and-expand/row-reduction/TROWARGMIN.aslasl/tile/reduce-and-expand/row-reduction/TROWARGMIN.asl