Compute the same-type natural logarithm of every valid Local Tile element.
PTO-TILE-TLOGTLOG <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 TLOG, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | persistent Local floating source | contract.operands[1].source0 |
| Output | DstTile | new Local floating destination | contract.operands[0].destination0 |
BSTART.SFU TLOG, DataType
BSTART.SFU TLOG, 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 TLOG, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU TLOG, 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 floating destination | — |
source0 | — | — | persistent Local floating 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_TLOG() => TileOperationbegin return TileOperation_TLOG;end;pure func InstructionContractDataTypeLegal_TLOG( data_type: TileDataType) => booleanbegin return TileUnaryDataTypeSupported( TileUnary_LOG, data_type);end;
readonly func InstructionContractOperandsLegal_TLOG( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileUnary( TileUnary_LOG, destination, source);end;
readonly func InstructionContractHandler_TLOG() => TileSemanticHandlerbegin return TileHandler_ExecuteTileUnary;end;
func InstructionContractExecute_TLOG( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TLOG( destination, source); ExecuteTileUnary( TileUnary_LOG, destination, source);end;// PTO-INSTRUCTION: {"assembly":["TLOG <bundle operands>"],"block":["BSTART.SFU TLOG, 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":[17],"catalog_records":[{"arguments":[{"constant":"TileUnary_LOG"},{"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":"ExecuteTileUnary","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":19,"legality_handler":"TileOperandsLegal_ExecuteTileUnary","mode":0,"name":"TLOG","operands":[{"field":"destination0","role":"new Local floating destination"},{"field":"source0","role":"persistent Local floating source"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x013","semantic_handler":"ExecuteTileUnary","state_effects":["operand:destination0:new-local-floating-destination","operand:source0:persistent-local-floating-source","runtime:CurrentBundlePadValue:numeric-padding","runtime:NumericStatusFlags:profile-status"]}],"classification":["elementwise-tile-tile","transcendental"],"contract":{"block_composition":["BSTART.SFU TLOG, 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":["TLOG <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.","The selected numeric profile supplies the operation-fixed approximation, rounding, exceptional result, and exact NV/DZ/OF/UF/NX status vector."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU TLOG, 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":["Malformed Local bindings, B.IOR or B.IOS presence, missing or zero dimensions, unsupported DataType, undefined or invalid source encoding, descriptor mismatch, invalid capacity, or allocation failure raises the applicable Tile fault before effects.","log(positive one) is positive zero; zero reports divide-by-zero and produces negative infinity where representable; negative nonzero values report invalid and produce quiet NaN; signaling NaN also records invalid.","E4M3 has no infinity encoding and TLOG does not admit saturation, so zero produces canonical E4M3 quiet NaN 0x7F and records only divide-by-zero without overflow."],"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."},"legality":["TLOG retains its TEPL raw Mode 0 carrier and executes canonically on the SFU engine.","Exactly one terminating Local B.IOT supplies one persistent source and one newly allocated destination. B.IOR and B.IOS are illegal.","The selected DataType is exactly FP16, FP32, or BF16; every integer, exponent-only, other compact, packed, assigned-but-inapplicable, or reserved DataType rejects before effects.","Source and destination match physical shape, valid shape, row-major layout, and DataType. Every valid source element is defined and has a valid encoding.","PadValueOrByteId is the only applicable B.DATR field; nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.","Source and destination use one PE_MASK. PE_MASK=0000 is a strict no-op before descriptor reads, allocation, faults, numeric status, or payload effects."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local floating destination"},{"field":"source0","role":"persistent Local floating source"}],"ordering":["Complete schema, attribute, dimension, type, descriptor, source-definedness, source-encoding, mask, capacity, and allocation preflight precedes the source snapshot and profile evaluation.","The complete source payload is snapshotted before destination publication, so source/destination aliasing observes the old source value."],"standalone_opcode":false,"state_effects":["For each valid element compute the selected profile's same-type natural logarithm.","Accumulate all element status flags, apply selected physical padding, and publish payload, definedness, numeric status, and destination descriptor atomically; rejection leaves architectural state unchanged."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"SFU","id":"PTO-TILE-TLOG","mnemonic":"TLOG","summary":"Compute the same-type natural logarithm of every valid Local Tile element.","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-TLOG-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TLOG MUST compute one same-type natural logarithm for every valid Local// floating element. E4M3 zero MUST produce canonical quiet NaN 0x7F and// MUST set DZ without setting OF because the operation is non-saturating.// NDF-END: PTO-TLOG-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TLOG() => TileOperationbegin return TileOperation_TLOG;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TLOG( data_type: TileDataType) => booleanbegin return TileUnaryDataTypeSupported( TileUnary_LOG, data_type);end;
readonly func InstructionContractOperandsLegal_TLOG( destination: TileIndex, source: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileUnary( TileUnary_LOG, destination, source);end;
readonly func InstructionContractHandler_TLOG() => TileSemanticHandlerbegin return TileHandler_ExecuteTileUnary;end;
func InstructionContractExecute_TLOG( destination: TileIndex, source: TileIndex)begin assert InstructionContractOperandsLegal_TLOG( destination, source); ExecuteTileUnary( TileUnary_LOG, destination, source);end;// DOC-END: operation
TLOG computes the same-type natural logarithm of every valid Local Tile element.
The ASL DOC contract selects TileHandler_ExecuteTileUnary through the instruction's selector-encoded block carrier.
Binding schema, dimensions, DataType, row-major layout, source definedness and encoding, PE_MASK, destination capacity, and applicable attributes are checked before source snapshots.
destination0 is the new Local floating destination; source0 is the persistent Local floating source.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Every valid coordinate applies the operation at the selected element type; all sources and private-GPR scalar operands are snapshotted before destination publication.
The valid payload, selected physical padding definedness, descriptor, and applicable sticky numeric flags publish atomically; rejection has no architectural effect.
Malformed bindings, unsupported types or layouts, invalid shapes, undefined consumed elements, illegal attributes, or insufficient destination capacity are rejected before source snapshots or publication.
PE_MASK=0000 is a strict no-op before reads, allocation, faults, numeric status, padding, or descriptor effects. Allocation failure raises the owner-defined Tile allocation fault; other rejected schema or value conditions raise the owner-defined legality, bundle-control, or memory fault without partial effects.
This is a illustrative contract schema sketch; it organizes fields and bindings but is not claimed to be directly assembleable.
Read BSTART.SFU TLOG, 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 as a illustrative binding walkthrough, then use the generated contract below for exact dimensions, attributes, and fault behavior.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TLOG MUST compute one same-type natural logarithm for every valid Local floating element. E4M3 zero MUST produce canonical quiet NaN 0x7F and MUST set DZ without setting OF because the operation is non-saturating.
PTO-TLOG-CONTRACT-001asl/tile/elementwise-tile-tile/transcendental/TLOG.asl6862c55f16f0458acecfcdd855d0c11c04449ebd7e71e48b2b00221590d94c95d5866e08201b260e09f8fe0270418d50d756d80cc649102fdf53155e885e16b713 matching entries
PTO-AVS-TILE-TLOG-E4M3ZERO-001tests/asl/tile/elementwise-tile-tile/transcendental/TLOG/tile-exec-tlog-e4m3-zero-001.asl500b5db93dbd08976ca6e9c5cfc6596c9275bd5fa1533baef8992aef0328e1a8PTO-AVS-TILE-TLOG-STATIC-001tests/asl/tile/elementwise-tile-tile/transcendental/TLOG/tile-static-tlog-contract-001.asl3badd91973fc43e925263d30631cf419bc7cfe49b722ee4cb243e267955150b6PTO-AVS-TILE-TLOG-ZERO-001tests/asl/tile/elementwise-tile-tile/transcendental/TLOG/tile-exec-tlog-zero-001.aslb18dedf88b43ccae19483754f10869c55bd8dde14a94eb7412fd74fa5874b7fePTO-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/TLOG.md",
"id": "PTO-TILE-TLOG",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TLOG",
"ndf_clause": "PTO-INST-TILE-TLOG"
},
"mnemonic": "TLOG",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TLOG-E4M3ZERO-001",
"PTO-AVS-TILE-TLOG-ZERO-001"
],
"source": "asl/tile/elementwise-tile-tile/transcendental/TLOG.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TLOG-E4M3ZERO-001",
"PTO-AVS-TILE-TLOG-STATIC-001",
"PTO-AVS-TILE-TLOG-ZERO-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868126862c55f16f0458acecfcdd855d0c11c04449ebd7e71e48b2b00221590d94c958b7d5afeffdc154e5a0d459a67d23db713ff6fa681ee9be7ae8cc30c5705de1easl/tile/elementwise-tile-tile/transcendental/TLOG.aslasl/tile/elementwise-tile-tile/transcendental/TLOG.aslasl/tile/elementwise-tile-tile/transcendental/TLOG.asl