Take the typed maximum of every valid Local Tile element and one scalar.
PTO-TILE-TMAXSTMAXS <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, Scalar0 -> 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.VEC TMAXS, DataType |
| 参数 | PadValue | padding value | B.DATR PadValue (optional) |
| 输入 | SrcTile0 | persistent Local numeric source | contract.operands[1].source0 |
| 输入 | Scalar0 | per-participating-PE private-GPR scalar | contract.operands[2].scalar0 |
| 输出 | DstTile | new Local numeric destination | contract.operands[0].destination0 |
BSTART.VEC TMAXS, DataType
BSTART.VEC TMAXS, 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>必选B.IOR ScalarGPR, zero, zero, ->zero (optional)可选BSTOP必选BSTART.VEC TMAXS, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TMAXS, 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>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local numeric destination | — |
source0 | — | — | persistent Local numeric source | — |
scalar0 | — | — | per-participating-PE private-GPR scalar | — |
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
destination0source0scalar0下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TMAXS() => TileOperationbegin return TileOperation_TMAXS;end;pure func InstructionContractDataTypeLegal_TMAXS( data_type: TileDataType) => booleanbegin return TileBinaryDataTypeSupported( TileBinary_MAX, data_type);end;
readonly func InstructionContractOperandsLegal_TMAXS( destination: TileIndex, source: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileScalar( TileBinary_MAX, destination, source, scalar);end;
readonly func InstructionContractHandler_TMAXS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileScalar;end;
func InstructionContractExecute_TMAXS( destination: TileIndex, source: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TMAXS( destination, source, scalar); ExecuteTileScalar( TileBinary_MAX, destination, source, scalar);end;// PTO-INSTRUCTION: {"assembly":["TMAXS <bundle operands>"],"block":["BSTART.VEC TMAXS, 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>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"catalog_indices":[35],"catalog_records":[{"arguments":[{"constant":"TileBinary_MAX"},{"operand":"destination0"},{"operand":"source0"},{"operand":"scalar0"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileScalar","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":11,"legality_handler":"TileOperandsLegal_ExecuteTileScalar","mode":1,"name":"TMAXS","operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x02B","semantic_handler":"ExecuteTileScalar","state_effects":["operand:destination0:new-local-numeric-destination","operand:source0:persistent-local-source","operand:scalar0:private-gpr-raw-element","runtime:CurrentBundlePadValue:numeric-padding"]}],"classification":["tile-scalar-and-immediate","arithmetic"],"contract":{"block_composition":["BSTART.VEC TMAXS, 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>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"canonical_assembly":["TMAXS <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.","Omitted B.IOR supplies the selected DataType all-zero encoding. An explicitly present all-zero B.IOR is distinct but supplies the same value; RegSrc1, RegSrc2, and RegDst must be zero."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TMAXS, 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>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP"],"exceptions":["A malformed Local binding stream, B.IOS presence, surplus B.IOR field, missing or zero dimension, unsupported DataType, source descriptor or encoding failure, invalid destination capacity, or allocation failure raises Fault_TileLegality or Fault_TileAllocation before effects.","Floating NaN, signed-zero tie, invalid status, and canonical-NaN behavior follow the selected maximum profile.","CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion after an accepted operation."],"field_contracts":{"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"},"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.DATR.PadValueOrByteId":"Zero padding when B.DATR is present; omission selects Null.","B.IOR.RegSrc0":"The architectural zero register."},"legality":["TMAXS is selected only by the TEPL raw carrier Mode 1 Function 11; canonical execution-engine assembly is BSTART.VEC TMAXS, DataType.","Exactly one terminating Local B.IOT supplies one persistent Local numeric source and one newly allocated Local destination. B.IOS and additional Tile bindings are illegal.","The selected DataType is exactly S32, U32, FP32, S16, U16, FP16, BF16, S8, or U8; every other assigned 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 every constrained floating encoding is valid.","B.IOR is optional and, when present, only RegSrc0 may be nonzero. PadValueOrByteId is the only applicable B.DATR field; explicit 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 GPR reads, descriptor reads, allocation, faults, numeric status, or payload effects."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local numeric destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"}],"ordering":["Complete schema, attribute, dimension, type, descriptor, source-definedness, scalar-encoding, mask, capacity, and allocation preflight precedes source and scalar snapshots.","The source payload and scalar are snapshotted before destination publication, so a source that aliases the renamed destination observes its old value."],"standalone_opcode":false,"state_effects":["For each valid element compute max(source, scalar) in the selected element interpretation.","Publish valid payload, selected padding definedness, numeric status where applicable, and destination descriptor atomically; the source persists and rejection has no architectural effect."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TMAXS","mnemonic":"TMAXS","summary":"Take the typed maximum of every valid Local Tile element and one scalar.","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-TMAXS-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TMAXS MUST consume one Local source, one per-participating-PE// private-GPR scalar from optional B.IOR.RegSrc0, and one renamed Local// destination, and MUST compute max(source, scalar) over the valid region.// The selected DataType MUST satisfy TileA9DataTypeSupported; only// PadValueOrByteId is applicable in B.DATR. Complete legality and// allocation preflight MUST precede source/scalar snapshots and atomic// payload, padding, status, and descriptor publication.// NDF-END: PTO-TMAXS-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TMAXS() => TileOperationbegin return TileOperation_TMAXS;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TMAXS( data_type: TileDataType) => booleanbegin return TileBinaryDataTypeSupported( TileBinary_MAX, data_type);end;
readonly func InstructionContractOperandsLegal_TMAXS( destination: TileIndex, source: TileIndex, scalar: Word) => booleanbegin return TileOperandsLegal_ExecuteTileScalar( TileBinary_MAX, destination, source, scalar);end;
readonly func InstructionContractHandler_TMAXS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileScalar;end;
func InstructionContractExecute_TMAXS( destination: TileIndex, source: TileIndex, scalar: Word)begin assert InstructionContractOperandsLegal_TMAXS( destination, source, scalar); ExecuteTileScalar( TileBinary_MAX, destination, source, scalar);end;// DOC-END: operation
TMAXS 选择每个有效 Local Tile 元素与一个标量的类型化最大值。
ASL DOC 契约通过该指令的选择器编码块载体选择 TileHandler_ExecuteTileScalar。
源快照之前，必须检查绑定模式、维度、DataType、行主序布局、源已定义性与编码、PE_MASK、目的容量和适用属性。
destination0 是新 Local 数值目的地；source0 是持久 Local 数值源；scalar0 是每个参与 PE 的私有 GPR 标量。
除非当前契约明确指出状态被消费或替换，否则源保持持久；只有完整预检后才发布目的描述符。
每个有效坐标都按所选元素类型执行操作；目的地发布之前会快照全部源和私有 GPR 标量操作数。
有效载荷、选中的物理填充的已定义性、描述符和适用的粘滞数值标志原子发布；拒绝时没有架构效果。
绑定格式错误、类型或布局不受支持、形状无效、被消费元素未定义、属性非法或目的容量不足时，会在源快照或发布之前拒绝操作。
PE_MASK=0000 是严格空操作，先于读取、分配、故障、数值状态、填充或描述符效果。分配失败触发所有者定义的 Tile 分配故障；其他被拒绝的绑定模式或值条件触发所有者定义的合法性、块控制或内存故障，且不产生部分效果。
这是示例性契约模式草图；它用于组织字段和绑定关系，不声称可以直接汇编。
把 BSTART.VEC TMAXS, 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>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP 作为示例性绑定演练，再以下方生成契约确认精确维度、属性和故障行为。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TMAXS MUST consume one Local source, one per-participating-PE private-GPR scalar from optional B.IOR.RegSrc0, and one renamed Local destination, and MUST compute max(source, scalar) over the valid region. The selected DataType MUST satisfy TileA9DataTypeSupported; only PadValueOrByteId is applicable in B.DATR. Complete legality and allocation preflight MUST precede source/scalar snapshots and atomic payload, padding, status, and descriptor publication.
PTO-TMAXS-CONTRACT-001asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.asl9ba4ed6a89d8ab1ffa5965fd0552b6a9240b2172e7350aac63fee847a66068b9b00e6c81d2b0dbe8d9bfd7e8f44959a031a18cc801d8f1a67d1b86ae730701fe13 matching entries
PTO-AVS-TILE-TMAXS-STATIC-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS/tile-static-tmaxs-contract-001.asl9fa62598143cd36658526d6052e97f2c9345fd811ea9f6f39d2f492498261575PTO-AVS-TILE-TMAXS-TYPES-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS/tile-bound-tmaxs-types-001.asl91b3db2d830b763afce9dab8d1147f7b58934046be9c71ac5f548f8cd70fad58PTO-AVS-TILE-TMAXS-UNSIGNED-001tests/asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS/tile-exec-tmaxs-unsigned-001.asl65141331a6b45c2d6cb05b9e2d277ff865a1df59b816c18850667ce6e364feb7PTO-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-0081…
ADR-0081docs/status/decisions/0081-tile-scalar-and-immediate-operations.md70ee9b0788be4841df407f15eba3893cf1f4be8fb93d25a1ce23eaafc279ef59{
"classification": [
"tile-scalar-and-immediate",
"arithmetic"
],
"documentation": "docs/tile/tile-scalar-and-immediate/arithmetic/TMAXS.md",
"id": "PTO-TILE-TMAXS",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TMAXS",
"ndf_clause": "PTO-INST-TILE-TMAXS"
},
"mnemonic": "TMAXS",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0081"
],
"semantic_tests": [
"PTO-AVS-TILE-TMAXS-TYPES-001",
"PTO-AVS-TILE-TMAXS-UNSIGNED-001"
],
"source": "asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TMAXS-STATIC-001",
"PTO-AVS-TILE-TMAXS-TYPES-001",
"PTO-AVS-TILE-TMAXS-UNSIGNED-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868129ba4ed6a89d8ab1ffa5965fd0552b6a9240b2172e7350aac63fee847a66068b9387988e7e804b0349708557c3bec5ca356bcd0a41c03b9a96940b7fde391bf40asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.aslasl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.aslasl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.asl