Compare each valid Local Tile element with one private-GPR scalar and produce a packed predicate Tile.
PTO-TILE-TCMPSTCMPS <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, Scalar0, Comparison -> 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 TCMPS, DataType |
| 参数 | PadValue | padding value | B.DATR CMode, PadValue (optional) |
| 输入 | SrcTile0 | persistent Local numeric source | contract.operands[1].source0 |
| 输入 | Scalar0 | per-participating-PE private-GPR scalar | contract.operands[2].scalar0 |
| 输入 | Comparison | six-mode comparison | contract.operands[3].comparison |
| 输出 | DstTile | new packed Local predicate destination | contract.operands[0].destination0 |
BSTART.VEC TCMPS, DataType
BSTART.VEC TCMPS, DataType必选B.DATR CMode, PadValue (optional)可选B.DIM LB0=ValidCol必选可重复B.DIM LB1=ValidRow (optional)可选可重复B.DIM LB2=Col (optional)可选可重复B.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>必选B.IOR ScalarGPR, zero, zero, ->zero (optional)可选BSTOP必选BSTART.VEC TCMPS, DataTypeB.DIM LB0=ValidColB.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>BSTOPBSTART.VEC TCMPS, DataType; B.DATR CMode, PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new packed Local predicate destination | — |
source0 | — | — | persistent Local numeric source | — |
scalar0 | — | — | per-participating-PE private-GPR scalar | — |
comparison | — | — | six-mode comparison | — |
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
destination0source0scalar0comparison下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_TCMPS() => TileOperationbegin return TileOperation_TCMPS;end;
pure func InstructionContractComparisonCodeLegal_TCMPS( comparison_code: bits(3)) => booleanbegin return UInt(comparison_code) <= 5;end;pure func InstructionContractDataTypeLegal_TCMPS( data_type: TileDataType) => booleanbegin return TileCompareDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCMPS( destination: TileIndex, source: TileIndex, scalar: Word, comparison: TileComparison) => booleanbegin return TileOperandsLegal_ExecuteTileCompareScalar( destination, source, scalar, comparison);end;
readonly func InstructionContractHandler_TCMPS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileCompareScalar;end;
func InstructionContractExecute_TCMPS( destination: TileIndex, source: TileIndex, scalar: Word, comparison: TileComparison)begin assert InstructionContractOperandsLegal_TCMPS( destination, source, scalar, comparison); ExecuteTileCompareScalar( destination, source, scalar, comparison);end;// PTO-INSTRUCTION: {"assembly":["TCMPS <bundle operands>"],"block":["BSTART.VEC TCMPS, DataType","B.DATR CMode, PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"catalog_indices":[37],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"scalar0"},{"operand":"comparison"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["CMode","PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileCompareScalar","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":13,"legality_handler":"TileOperandsLegal_ExecuteTileCompareScalar","mode":1,"name":"TCMPS","operands":[{"field":"destination0","role":"new packed Local predicate destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"},{"field":"comparison","role":"six-mode comparison"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x02D","semantic_handler":"ExecuteTileCompareScalar","state_effects":["operand:destination0:packed-predicate-destination","operand:source0:persistent-local-source","operand:scalar0:private-gpr-raw-element","operand:comparison:six-mode-comparison","runtime:CurrentBundlePadValue:predicate-padding"]}],"classification":["tile-scalar-and-immediate","logical"],"contract":{"block_composition":["BSTART.VEC TCMPS, DataType","B.DATR CMode, PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>","B.IOR ScalarGPR, zero, zero, ->zero (optional)","BSTOP"],"canonical_assembly":["TCMPS <bundle operands>"],"defaults":["CMode codes 0, 1, 2, 3, 4, and 5 select EQ, NE, LT, GT, LE, and GE; codes 6 and 7 are reserved. Omitted B.DATR selects EQ.","LB0 is required and supplies nonzero ValidCol. Omitted LB1 selects ValidRow=1. Omitted LB2 selects Col=ValidCol; every present dimension must be nonzero.","Omitted B.IOR supplies the selected source DataType all-zero scalar encoding. Omitted PadValue selects Null predicate padding."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TCMPS, DataType; B.DATR CMode, PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcTile, mask=PE_MASK, <last>, ->Predicate<TSize>; B.IOR ScalarGPR, zero, zero, ->zero (optional); BSTOP"],"exceptions":["Malformed bindings, B.IOS presence, surplus B.IOR fields, reserved CMode, unsupported DataType, undefined or invalid source encoding, predicate capacity failure, or allocation failure raises Fault_TileLegality or Fault_TileAllocation before effects.","Signaling floating NaN records invalid only with the atomically published predicate destination.","CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion after an accepted operation."],"field_contracts":{"B.DATR.CMode":{"ref":"PTO-FIELD-BLOCK-CMODE"},"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"},"B.IOR.RegSrc0":{"ref":"PTO-FIELD-BLOCK-GPR-SELECTOR"}},"field_zero_meanings":{"B.DATR.CMode":"EQ.","B.DATR.PadValueOrByteId":"Zero predicate padding when present; omission selects Null.","B.IOR.RegSrc0":"Architectural zero register."},"legality":["TCMPS is selected only by the TEPL raw carrier Mode 1 Function 13 and executes on VEC.","Exactly one terminating Local B.IOT supplies one persistent numeric source and one new packed predicate destination. B.IOS and additional Tile bindings are illegal.","The source DataType is exactly FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, or U8.","The source is row-major and completely defined. The predicate destination has matching logical geometry and capacity of at least ceil(Row*Col/8) bytes.","Only CMode and PadValueOrByteId are applicable in B.DATR. When B.IOR is present, only RegSrc0 may be nonzero.","PE_MASK=0000 is a strict no-op before GPR, source, allocation, status, or payload checks."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new packed Local predicate destination"},{"field":"source0","role":"persistent Local numeric source"},{"field":"scalar0","role":"per-participating-PE private-GPR scalar"},{"field":"comparison","role":"six-mode comparison"}],"ordering":["Complete schema, dimensions, attributes, type, source, scalar, predicate capacity, mask, and allocation preflight precedes source and scalar snapshots.","The source payload and scalar are snapshotted before packed destination publication."],"standalone_opcode":false,"state_effects":["Logical element i publishes its comparison result in bit i mod 8 of byte floor(i/8), with low logical indices in low bits.","Zero and Min padding write zero predicate bits, Max writes one bits, and Null leaves padding undefined.","Packed payload, padding definedness, numeric status, and destination descriptor publish atomically; rejection has no architectural effect."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TCMPS","mnemonic":"TCMPS","summary":"Compare each valid Local Tile element with one private-GPR scalar and produce a packed predicate Tile.","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-TCMPS-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCMPS MUST compare one Local numeric source with one private-GPR scalar,// MUST accept only CMode 0 through 5, and MUST pack logical predicate i into// bit i mod 8 of byte floor(i/8). Complete legality and allocation preflight// MUST precede source/scalar snapshots and atomic predicate publication.// NDF-END: PTO-TCMPS-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCMPS() => TileOperationbegin return TileOperation_TCMPS;end;
pure func InstructionContractComparisonCodeLegal_TCMPS( comparison_code: bits(3)) => booleanbegin return UInt(comparison_code) <= 5;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCMPS( data_type: TileDataType) => booleanbegin return TileCompareDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCMPS( destination: TileIndex, source: TileIndex, scalar: Word, comparison: TileComparison) => booleanbegin return TileOperandsLegal_ExecuteTileCompareScalar( destination, source, scalar, comparison);end;
readonly func InstructionContractHandler_TCMPS() => TileSemanticHandlerbegin return TileHandler_ExecuteTileCompareScalar;end;
func InstructionContractExecute_TCMPS( destination: TileIndex, source: TileIndex, scalar: Word, comparison: TileComparison)begin assert InstructionContractOperandsLegal_TCMPS( destination, source, scalar, comparison); ExecuteTileCompareScalar( destination, source, scalar, comparison);end;// DOC-END: operation
TCMPS 是一条由 VEC 执行、通过选择器编码的 Tile 操作。它按照 CMode 把每个有效数值元素与一个私有 GPR 标量比较，并紧凑存放谓词；当前指令契约拥有精确的指令束形式和发布边界。
所有描述符与操作数检查成功后，所属 ASL 处理函数按照 CMode 把每个有效数值元素与一个私有 GPR 标量比较，并紧凑存放谓词。当前契约允许别名时，源载荷会在目标写入前完成快照。
处理函数使用解析后的有效区域，不把物理填充区当作输入数据。操作专属的数据类型、布局、舍入、饱和与配置档钩子仍由可执行定义拥有。
destination0 的精确契约角色是“新分配的紧凑 Local 谓词目标”。source0 的精确契约角色是“持久 Local 数值源”。scalar0 的精确契约角色是“每个参与 PE 的私有 GPR 标量”。comparison 的精确契约角色是“六模式比较”。参与操作的源与目标描述符采用当前契约规定的行优先布局和形状关系。 操作读取的每个源坐标都必须在目标发布前处于已定义状态。 PE_MASK=0000 是严格无操作，在描述符、分配、载荷、数值状态或内存效果之前即结束。
只有完整预检后才发布目标可见状态；契约规定原子发布时，载荷、描述符、已定义性、填充和状态同时可见。
有效矩形之外的物理坐标遵循契约选择的填充规则；适用时，Null 填充保持未定义。
该操作不产生 GM 内存效果；描述符、载荷、已定义性、填充和数值状态变化仅限于当前契约列出的项目。
可接受的数据类型集合为 FP64、FP32、TF32、HF32、FP16、BF16、E4M3、E5M2、S64、S32、S16、S8、U64、U32、U16、U8。
下方生成的合法性与异常章节是数据类型组合、布局、维度、容量、已定义性、填充控制、配置档行为和故障类别的权威说明。合法性或分配失败发生在任何部分架构效果之前。
本示例只用于演示当前 ASL 所有者，不替代规范操作。
以一个小型 TCMPS 示例说明：在大于模式下，[1, 3] 与标量 2 比较后产生 [0, 1]。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
TCMPS MUST compare one Local numeric source with one private-GPR scalar, MUST accept only CMode 0 through 5, and MUST pack logical predicate i into bit i mod 8 of byte floor(i/8). Complete legality and allocation preflight MUST precede source/scalar snapshots and atomic predicate publication.
PTO-TCMPS-CONTRACT-001asl/tile/tile-scalar-and-immediate/logical/TCMPS.asl7cdff982a316afe9df858cae6cfeffdc9032957c7b63e7bc8663729a19577e89e7ff1ce7e5c97160c78f036b6f7d976d69dcffae4bf9a09ab0365cf72a2e40ab15 matching entries
PTO-AVS-TILE-TCMPS-BUNDLE-001tests/asl/tile/tile-scalar-and-immediate/logical/TCMPS/tile-exec-tcmps-bundle-001.aslf4fff7720add00bb554cbf328859fc4a11d149ec02d3c3d793c4a004f0f38c21PTO-AVS-TILE-TCMPS-MASK-001tests/asl/tile/tile-scalar-and-immediate/logical/TCMPS/tile-bound-tcmps-mask-001.asl380cee6064923fb45db31ea1a91072817d0276345a7b20d9b7c03bee8e0aee5bPTO-AVS-TILE-TCMPS-PACKED-001tests/asl/tile/tile-scalar-and-immediate/logical/TCMPS/tile-exec-tcmps-packed-001.asl7d8b0d62e3e37b9c6f6740c4b64224e5d0f6bae0c129fc6977fd6a9901ba5919PTO-AVS-TILE-TCMPS-STATIC-001tests/asl/tile/tile-scalar-and-immediate/logical/TCMPS/tile-static-tcmps-contract-001.aslce2b2d127ce00997badba42460aee3ff9fb68f282143d2b70c2ceb4732c9b077PTO-AVS-TILE-TCMPS-TYPE-DOMAIN-002tests/asl/tile/tile-scalar-and-immediate/logical/TCMPS/tile-bound-tcmps-type-domain-002.asl885a40ccfd6463c3662fe92e5343175f00c092517d17e1d306a98a9000a8aafdPTO-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",
"logical"
],
"documentation": "docs/tile/tile-scalar-and-immediate/logical/TCMPS.md",
"id": "PTO-TILE-TCMPS",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCMPS",
"ndf_clause": "PTO-INST-TILE-TCMPS"
},
"mnemonic": "TCMPS",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0081"
],
"semantic_tests": [
"PTO-AVS-TILE-TCMPS-BUNDLE-001",
"PTO-AVS-TILE-TCMPS-MASK-001",
"PTO-AVS-TILE-TCMPS-PACKED-001",
"PTO-AVS-TILE-TCMPS-TYPE-DOMAIN-002"
],
"source": "asl/tile/tile-scalar-and-immediate/logical/TCMPS.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCMPS-BUNDLE-001",
"PTO-AVS-TILE-TCMPS-MASK-001",
"PTO-AVS-TILE-TCMPS-PACKED-001",
"PTO-AVS-TILE-TCMPS-STATIC-001",
"PTO-AVS-TILE-TCMPS-TYPE-DOMAIN-002"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd868127cdff982a316afe9df858cae6cfeffdc9032957c7b63e7bc8663729a19577e893de1ee7904035a4f0852d78217b5129225b69bba8359e6db3d699d435230f56basl/tile/tile-scalar-and-immediate/logical/TCMPS.aslasl/tile/tile-scalar-and-immediate/logical/TCMPS.aslasl/tile/tile-scalar-and-immediate/logical/TCMPS.asl