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| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| 参数 | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| 参数 | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| 参数 | DataType | data type | BSTART.SFU TLOG, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local floating source | contract.operands[1].source0 |
| 输出 | DstTile | new Local floating destination | contract.operands[0].destination0 |
BSTART.SFU TLOG, DataType
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必选BSTART.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| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
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
destination0source0下面是该指令所有者中的 Operation；页面没有重写这段行为。
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 对 Local Tile 有效区中的每个元素计算同类型自然对数。
ASL DOC 契约通过该指令的选择器编码块载体选择 TileHandler_ExecuteTileUnary。
源快照之前，必须检查绑定模式、维度、DataType、行主序布局、源已定义性与编码、PE_MASK、目的容量和适用属性。
destination0 是新 Local 浮点目的地；source0 是持久 Local 浮点源。
除非当前契约明确指出状态被消费或替换，否则源保持持久；只有完整预检后才发布目的描述符。
每个有效坐标都按所选元素类型执行操作；目的地发布之前会快照全部源和私有 GPR 标量操作数。
有效载荷、选中的物理填充的已定义性、描述符和适用的粘滞数值标志原子发布；拒绝时没有架构效果。
绑定格式错误、类型或布局不受支持、形状无效、被消费元素未定义、属性非法或目的容量不足时，会在源快照或发布之前拒绝操作。
PE_MASK=0000 是严格空操作，先于读取、分配、故障、数值状态、填充或描述符效果。分配失败触发所有者定义的 Tile 分配故障；其他被拒绝的绑定模式或值条件触发所有者定义的合法性、块控制或内存故障，且不产生部分效果。
这是示例性契约模式草图；它用于组织字段和绑定关系，不声称可以直接汇编。
把 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 作为示例性绑定演练，再以下方生成契约确认精确维度、属性和故障行为。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
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 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868126862c55f16f0458acecfcdd855d0c11c04449ebd7e71e48b2b00221590d94c95222fc174d375688a7b6d951830e18f0f619f43c54360be8468bcfcf805796800asl/tile/elementwise-tile-tile/transcendental/TLOG.aslasl/tile/elementwise-tile-tile/transcendental/TLOG.aslasl/tile/elementwise-tile-tile/transcendental/TLOG.asl