Compute divisor-signed modulo for corresponding Local Tile elements.
PTO-TILE-TREMTREM <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, SrcTile1 -> 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 TREM, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | ordered dividend | contract.operands[1].source0 |
| Input | SrcTile1 | ordered divisor | contract.operands[2].source1 |
| Output | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.SFU TREM, DataType
BSTART.SFU TREM, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT Dividend, Divisor, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.SFU TREM, DataTypeB.DIM LB0=ValidColB.IOT Dividend, Divisor, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TREM, S64; B.DIM LB0=ValidCol; B.IOT Dividend, Divisor, 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 destination | — |
source0 | — | — | ordered dividend | — |
source1 | — | — | ordered divisor | — |
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
destination0source0source1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TREM() => TileOperationbegin return TileOperation_TREM;end;pure func InstructionContractDataTypeLegal_TREM( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TREM( destination: TileIndex, dividend: TileIndex, divisor: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_REM, destination, dividend, divisor);end;
readonly func InstructionContractHandler_TREM() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TREM( destination: TileIndex, dividend: TileIndex, divisor: TileIndex)begin ExecuteTileBinary( TileBinary_REM, destination, dividend, divisor);end;// 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"}// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}// NDF-BEGIN: PTO-TREM-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TREM MUST retain TEPL Mode 0 Function 4 while executing on the SFU engine.// Signed integer and floating modulo MUST use floor division so a nonzero// result has the divisor sign; unsigned integer modulo MUST use unsigned// remainder. Integer zero in the valid divisor rectangle MUST reject before// effects. Shape defaults, PadValue, snapshots, and atomic publication MUST// follow the closed binary Tile contract.// NDF-END: PTO-TREM-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TREM() => TileOperationbegin return TileOperation_TREM;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TREM( data_type: TileDataType) => booleanbegin return TileVecArithmeticDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TREM( destination: TileIndex, dividend: TileIndex, divisor: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_REM, destination, dividend, divisor);end;
readonly func InstructionContractHandler_TREM() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TREM( destination: TileIndex, dividend: TileIndex, divisor: TileIndex)begin ExecuteTileBinary( TileBinary_REM, destination, dividend, divisor);end;// DOC-END: operation
TREM computes divisor-signed modulo for corresponding elements and publishes a new Local destination.
The operation evaluates only the valid rectangle using the mnemonic-selected typed element rule.
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 destination.source0 carries its mnemonic-defined operand.source1 carries its mnemonic-defined operand.FP32, FP16, BF16, S32, S16, U32, U16.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.
TREM <bundle operands> performs complete preflight and source snapshotting before atomically publishing the mnemonic-defined result and padding state.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TREM MUST retain TEPL Mode 0 Function 4 while executing on the SFU engine. Signed integer and floating modulo MUST use floor division so a nonzero result has the divisor sign; unsigned integer modulo MUST use unsigned remainder. Integer zero in the valid divisor rectangle MUST reject before effects. Shape defaults, PadValue, snapshots, and atomic publication MUST follow the closed binary Tile contract.
PTO-TREM-CONTRACT-001asl/tile/elementwise-tile-tile/transcendental/TREM.asle1a43654bbc23dfe883e2095a83b410f2b0890e00fa9c226fc012136c51a53b760b780a22a359fc28e47aad4b331b0a816fb67ecf23947cb4b461a124e709c2b14 matching entries
PTO-AVS-TILE-TREM-DIVISOR-SIGN-001tests/asl/tile/elementwise-tile-tile/transcendental/TREM/tile-exec-trem-divisor-sign-001.asl52b4822b7d8100c0c761fa838ca4fa0265050563c9ea3b1197e6932e33e99eb9PTO-AVS-TILE-TREM-PADDING-001tests/asl/tile/elementwise-tile-tile/transcendental/TREM/tile-state-trem-padding-001.asld9862ee3588d416cb69e4616bba188f31dc1045dcdcb644d5488836eb3d6cc28PTO-AVS-TILE-TREM-STATIC-001tests/asl/tile/elementwise-tile-tile/transcendental/TREM/tile-static-trem-contract-001.aslb3442661fc5ff4e6e527ddb9f34aee3e9fc51b31b04e5eedce92eeec659de081PTO-AVS-TILE-TREM-ZERO-TYPES-001tests/asl/tile/elementwise-tile-tile/transcendental/TREM/tile-bound-trem-zero-types-001.asl6447b843f19c66509201e3e9cf73a81355237026a599cb7fd478403b3f777289PTO-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": [
"elementwise-tile-tile",
"transcendental"
],
"documentation": "docs/tile/elementwise-tile-tile/transcendental/TREM.md",
"id": "PTO-TILE-TREM",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TREM",
"ndf_clause": "PTO-INST-TILE-TREM"
},
"mnemonic": "TREM",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TREM-DIVISOR-SIGN-001",
"PTO-AVS-TILE-TREM-PADDING-001",
"PTO-AVS-TILE-TREM-ZERO-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/transcendental/TREM.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TREM-DIVISOR-SIGN-001",
"PTO-AVS-TILE-TREM-PADDING-001",
"PTO-AVS-TILE-TREM-STATIC-001",
"PTO-AVS-TILE-TREM-ZERO-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812e1a43654bbc23dfe883e2095a83b410f2b0890e00fa9c226fc012136c51a53b7bcf55e559c9b5a8bffb0fc7e733ca56128db64ab16d311b71fb643ad909fc179asl/tile/elementwise-tile-tile/transcendental/TREM.aslasl/tile/elementwise-tile-tile/transcendental/TREM.aslasl/tile/elementwise-tile-tile/transcendental/TREM.asl