TCOLPROD

1// PTO-INSTRUCTION: {"assembly":["TCOLPROD <bundle operands>"],"block":["BSTART.SFU TCOLPROD, 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":[57],"catalog_records":[{"arguments":[{"constant":"TileReduction_PRODUCT"},{"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":19,"legality_handler":"TileOperandsLegal_ExecuteTileReduction","mode":2,"name":"TCOLPROD","operands":[{"field":"destination0","role":"new Local same-type numeric destination"},{"field":"source0","role":"persistent Local numeric source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x053","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 TCOLPROD, 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":["TCOLPROD <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.","TCOLPROD computes a typed increasing-row left fold from one using TMUL; the scan order is architectural and tree reassociation is not permitted."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TCOLPROD, 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":["TCOLPROD is selected by the TEPL raw encoding carrier Mode 2 Function 19; 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 left fold from one using TMUL.","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-TCOLPROD","mnemonic":"TCOLPROD","summary":"Reduce each valid column to its product with exact typed row-order semantics.","surface":"tile"}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-TCOLPROD-CONTRACT-0014// ndf: kind=contract level=L1 layer=tile status=accepted5// TCOLPROD MUST select SFU Mode 2 Function 19 and MUST compute a typed6// increasing-row left fold from one using TMUL over one fully defined Local7// source.8// The source geometry MUST match the B.DIM-derived shape.9// The destination MUST use the source DataType and integer arithmetic MUST10// remain at the selected element width.11// Only PadValueOrByteId MAY be nondefault in B.DATR.12// Complete preflight and source snapshot MUST precede atomic result,13// status, padding, and descriptor publication.14// NDF-END: PTO-TCOLPROD-CONTRACT-00115// DOC-BEGIN: decode16readonly func InstructionContractOperation_TCOLPROD() => TileOperation17begin18    return TileOperation_TCOLPROD;19end;20// DOC-END: decode21// DOC-BEGIN: operation22pure func InstructionContractDataTypeLegal_TCOLPROD(23    data_type: TileDataType) => boolean24begin25    return TileVecArithmeticDataTypeSupported(data_type);26end;27
28readonly func InstructionContractOperandsLegal_TCOLPROD(29    destination: TileIndex,30    source: TileIndex) => boolean31begin32    return TileOperandsLegal_ExecuteTileReduction(33        TileReduction_PRODUCT,34        TileAxis_Column,35        destination,36        source);37end;38
39readonly func InstructionContractHandler_TCOLPROD() => TileSemanticHandler40begin41    return TileHandler_ExecuteTileReduction;42end;43
44func InstructionContractExecute_TCOLPROD(45    destination: TileIndex,46    source: TileIndex)47begin48    assert InstructionContractOperandsLegal_TCOLPROD(49        destination,50        source);51    ExecuteTileReduction(52        TileReduction_PRODUCT,53        TileAxis_Column,54        destination,55        source);56end;57// DOC-END: operation58