TREM

1// PTO-INSTRUCTION: {"assembly":["TREM <bundle operands>"],"block":["BSTART.SFU TREM, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT Dividend, Divisor, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[4],"catalog_records":[{"arguments":[{"constant":"TileBinary_REM"},{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileBinary","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":4,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TREM","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"dividend"},{"field":"source1","role":"divisor"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x004","semantic_handler":"ExecuteTileBinary","state_effects":["operand:destination0:destination","operand:source0:dividend","operand:source1:divisor"]}],"classification":["elementwise-tile-tile","transcendental"],"contract":{"block_composition":["BSTART.SFU TREM, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT Dividend, Divisor, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TREM <bundle operands>"],"defaults":["LB0 is required and nonzero; omitted LB1 selects ValidRow=1 and omitted LB2 selects Col=ValidCol.","Omitted B.DATR selects PadValue=Null; explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null.","The numeric profile owns fixed rounding, signed overflow boundaries, floating exceptional values, and floating zero modulo."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TREM, S64; B.DIM LB0=ValidCol; B.IOT Dividend, Divisor, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["An integer zero in the valid divisor rectangle raises Fault_TileLegality before snapshots, allocation publication, or destination effects; divisor padding is not read.","Malformed bindings, unsupported types, undefined inputs, mismatched descriptors, or invalid capacity reject before effects; floating zero is handled by the selected numeric profile."],"field_contracts":{},"field_zero_meanings":{},"legality":["TREM retains TEPL carrier Mode 0 Function 4 but is canonically classified as SFU.","Exactly one terminating Local B.IOT supplies ordered dividend and divisor sources plus one new Local destination; B.IOR and B.IOS are illegal and PE_MASK zero is a strict no-op.","DataType is exactly S32, U32, FP32, S16, U16, FP16, or BF16.","Both source valid rectangles are defined and all three Tiles match physical shape, valid shape, row-major layout, DataType, and the selected mask.","Only B.DATR PadValueOrByteId is applicable."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local destination"},{"field":"source0","role":"ordered dividend"},{"field":"source1","role":"ordered divisor"}],"ordering":["Both source payloads are snapshotted after all legality and integer-zero checks, so aliasing is read-before-write."],"standalone_opcode":false,"state_effects":["Signed integer modulo uses floor division so a nonzero result has the divisor's sign; unsigned integers use ordinary unsigned remainder and floating values use the selected modulo profile.","The valid modulo result and selected physical padding publish atomically; rejection leaves descriptor, payload, and allocation state unchanged."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"SFU","id":"PTO-TILE-TREM","mnemonic":"TREM","summary":"Compute divisor-signed modulo for corresponding Local Tile elements.","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-TREM-CONTRACT-0014// ndf: kind=contract level=L1 layer=tile status=accepted5// TREM MUST retain TEPL Mode 0 Function 4 while executing on the SFU engine.6// Signed integer and floating modulo MUST use floor division so a nonzero7// result has the divisor sign; unsigned integer modulo MUST use unsigned8// remainder. Integer zero in the valid divisor rectangle MUST reject before9// effects. Shape defaults, PadValue, snapshots, and atomic publication MUST10// follow the closed binary Tile contract.11// NDF-END: PTO-TREM-CONTRACT-00112// DOC-BEGIN: decode13readonly func InstructionContractOperation_TREM() => TileOperation14begin15    return TileOperation_TREM;16end;17// DOC-END: decode18// DOC-BEGIN: operation19pure func InstructionContractDataTypeLegal_TREM(20    data_type: TileDataType) => boolean21begin22    return TileVecArithmeticDataTypeSupported(data_type);23end;24
25readonly func InstructionContractOperandsLegal_TREM(26    destination: TileIndex,27    dividend: TileIndex,28    divisor: TileIndex) => boolean29begin30    return TileOperandsLegal_ExecuteTileBinary(31        TileBinary_REM,32        destination,33        dividend,34        divisor);35end;36
37readonly func InstructionContractHandler_TREM() => TileSemanticHandler38begin39    return TileHandler_ExecuteTileBinary;40end;41
42func InstructionContractExecute_TREM(43    destination: TileIndex,44    dividend: TileIndex,45    divisor: TileIndex)46begin47    ExecuteTileBinary(48        TileBinary_REM,49        destination,50        dividend,51        divisor);52end;53// DOC-END: operation54