Compare two Local numeric Tiles and produce one packed Local predicate Tile.
PTO-TILE-TCMPTCMP <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, SrcTile1, Comparison -> 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.VEC TCMP, DataType |
| Parameter | PadValue | padding value | B.DATR CMode, PadValue (optional) |
| Input | SrcTile0 | ordered left Local numeric source | contract.operands[1].source0 |
| Input | SrcTile1 | ordered right Local numeric source | contract.operands[2].source1 |
| Input | Comparison | EQ, NE, LT, GT, LE, or GE selected by CMode | contract.operands[3].comparison |
| Output | DstTile | new packed Local predicate destination | contract.operands[0].destination0 |
BSTART.VEC TCMP, DataType
BSTART.VEC TCMP, DataTypeRequiredB.DATR CMode, PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>RequiredBSTOPRequiredBSTART.VEC TCMP, DataTypeB.DIM LB0=ValidColB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>BSTOPBSTART.VEC TCMP, U64; B.DATR EQ, Null (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new packed Local predicate destination | — |
source0 | — | — | ordered left Local numeric source | — |
source1 | — | — | ordered right Local numeric source | — |
comparison | — | — | EQ, NE, LT, GT, LE, or GE selected by CMode | — |
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
destination0source0source1comparisonThis Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TCMP() => TileOperationbegin return TileOperation_TCMP;end;
pure func InstructionContractComparisonCodeLegal_TCMP( comparison_code: bits(3)) => booleanbegin return UInt(comparison_code) <= 5;end;pure func InstructionContractDataTypeLegal_TCMP( data_type: TileDataType) => booleanbegin return TileCompareDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCMP( destination: TileIndex, source_left: TileIndex, source_right: TileIndex, comparison: TileComparison) => booleanbegin return TileOperandsLegal_ExecuteTileCompare( destination, source_left, source_right, comparison);end;
readonly func InstructionContractHandler_TCMP() => TileSemanticHandlerbegin return TileHandler_ExecuteTileCompare;end;
func InstructionContractExecute_TCMP( destination: TileIndex, source_left: TileIndex, source_right: TileIndex, comparison: TileComparison)begin assert InstructionContractOperandsLegal_TCMP( destination, source_left, source_right, comparison); ExecuteTileCompare( destination, source_left, source_right, comparison);end;// PTO-INSTRUCTION: {"assembly":["TCMP <bundle operands>"],"block":["BSTART.VEC TCMP, DataType","B.DATR CMode, PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>","BSTOP"],"catalog_indices":[12],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"},{"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":"ExecuteTileCompare","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":13,"legality_handler":"TileOperandsLegal_ExecuteTileCompare","mode":0,"name":"TCMP","operands":[{"field":"destination0","role":"predicate destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"},{"field":"comparison","role":"comparison"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x00D","semantic_handler":"ExecuteTileCompare","state_effects":["operand:destination0:packed-predicate-destination","operand:source0:persistent-source-left","operand:source1:persistent-source-right","operand:comparison:six-mode-comparison","runtime:CurrentBundlePadValue:predicate-padding"]}],"classification":["elementwise-tile-tile","logical"],"contract":{"block_composition":["BSTART.VEC TCMP, DataType","B.DATR CMode, PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>","BSTOP"],"canonical_assembly":["TCMP <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 retains CMode zero and therefore 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.DATR selects predicate PadValue=Null. Explicit PadValue 00 and 10 write zero padding bits, 01 writes one padding bits, and 11 leaves padding bits undefined."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TCMP, U64; B.DATR EQ, Null (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->Predicate<TSize>; BSTOP"],"exceptions":["Malformed bindings, B.IOR or B.IOS presence, missing or zero dimensions, reserved CMode, unsupported DataType, mismatched shape, type or layout, undefined source data, invalid floating source encoding, or insufficient packed destination capacity raises Fault_TileLegality or Fault_TileAllocation before architectural effects.","A signaling floating NaN produces the relation result defined for NaN and records the selected profile invalid status only with the atomically published destination.","CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion behavior after an accepted operation."],"field_contracts":{},"field_zero_meanings":{"B.DATR.CMode":"EQ.","B.DATR.PadValueOrByteId":"Zero predicate padding when B.DATR is present; omission selects Null."},"legality":["TCMP is selected only by VEC Mode 0 Function 13 and has no standalone opcode.","Exactly one terminating Local B.IOT supplies two ordered Local numeric sources and one new Local predicate destination. B.IOR, B.IOS, and additional 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.","Both sources match physical shape, valid shape, row-major layout, and DataType; every valid source element is defined and every constrained floating encoding is valid.","The destination uses predicate-kind storage with the same Row, Col, ValidRow, and ValidCol. Logical index i occupies bit i mod 8 of byte floor(i/8), and TSize holds at least ceil(Row*Col/8) bytes.","CMode and PadValueOrByteId are the only applicable B.DATR fields. Explicit nondefault Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.","All participating Tiles use one PE_MASK. PE_MASK=0000 is a strict no-op before schema, descriptor, source, allocation, status, or payload checks."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new packed Local predicate destination"},{"field":"source0","role":"ordered left Local numeric source"},{"field":"source1","role":"ordered right Local numeric source"},{"field":"comparison","role":"EQ, NE, LT, GT, LE, or GE selected by CMode"}],"ordering":["Complete schema, field, type, geometry, layout, definedness, encoding, mask, and packed-capacity preflight precedes source snapshots and destination allocation.","Both source payloads are snapshotted before comparison, so identical sources and logical source/destination aliases observe read-old values."],"standalone_opcode":false,"state_effects":["Compare corresponding valid elements using signed, unsigned, or selected floating-profile ordering. NaN makes EQ, LT, GT, LE, and GE false and NE true; positive and negative zero compare equal.","Pack one result bit per logical element with lower logical indices in lower byte bits.","Publish predicate payload, padding definedness, numeric status, and destination descriptor atomically. Rejection leaves source and destination architectural state unchanged, and sources persist."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TCMP","mnemonic":"TCMP","summary":"Compare two Local numeric Tiles and produce one packed Local 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-TCMP-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TCMP MUST accept exactly the sixteen numeric source types defined by this// instruction, MUST reject CMode 6 and 7 before effects, and MUST pack logical// comparison i into bit i mod 8 of byte floor(i/8). The destination MUST use// predicate-kind storage with source geometry and sufficient packed capacity.// Complete legality preflight MUST precede source snapshots, allocation, flag// updates, and the atomic predicate destination publication.// NDF-END: PTO-TCMP-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TCMP() => TileOperationbegin return TileOperation_TCMP;end;
pure func InstructionContractComparisonCodeLegal_TCMP( comparison_code: bits(3)) => booleanbegin return UInt(comparison_code) <= 5;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TCMP( data_type: TileDataType) => booleanbegin return TileCompareDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TCMP( destination: TileIndex, source_left: TileIndex, source_right: TileIndex, comparison: TileComparison) => booleanbegin return TileOperandsLegal_ExecuteTileCompare( destination, source_left, source_right, comparison);end;
readonly func InstructionContractHandler_TCMP() => TileSemanticHandlerbegin return TileHandler_ExecuteTileCompare;end;
func InstructionContractExecute_TCMP( destination: TileIndex, source_left: TileIndex, source_right: TileIndex, comparison: TileComparison)begin assert InstructionContractOperandsLegal_TCMP( destination, source_left, source_right, comparison); ExecuteTileCompare( destination, source_left, source_right, comparison);end;// DOC-END: operation
TCMP is a selector-encoded Tile operation executed by VEC. It compares corresponding numeric elements under CMode and packs zero-or-one predicate results; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler compares corresponding numeric elements under CMode and packs zero-or-one predicate results. Source payloads are snapshotted before destination writes whenever the contract permits aliasing.
The handler uses the resolved valid region rather than treating physical padding as input data. Its operation-specific dtype, layout, rounding, saturation, and profile hooks remain the executable definition.
destination0 has the exact contract role new packed Local predicate destination.source0 has the exact contract role ordered left Local numeric source.source1 has the exact contract role ordered right Local numeric source.comparison has the exact contract role EQ, NE, LT, GT, LE, or GE selected by CMode.Participating source and destination descriptors use the row-major and shape relationships stated by the current contract. Every source coordinate read by the operation must be defined before execution reaches destination publication. PE_MASK=0000 is a strict no-op before descriptor, allocation, payload, numeric-status, or memory effects.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
Physical coordinates outside the valid rectangle follow the contract-selected padding rule; Null padding remains undefined when that rule applies.
The operation has no GM memory effect; descriptor, payload, definedness, padding, and numeric-status changes are limited to those listed by the current contract.
The accepted data-type set is FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, U8.
The generated legality and exception sections below are authoritative for dtype pairs, layout, dimensions, capacity, definedness, padding controls, profile behavior, and fault class. Legality and allocation failures occur before partial architectural effects.
This example illustrates the current ASL owner and does not replace the normative operation.
For a small TCMP example, under less-than mode, [1, 3] compared with [2, 3] produces predicate bits [1, 0].
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TCMP MUST accept exactly the sixteen numeric source types defined by this instruction, MUST reject CMode 6 and 7 before effects, and MUST pack logical comparison i into bit i mod 8 of byte floor(i/8). The destination MUST use predicate-kind storage with source geometry and sufficient packed capacity. Complete legality preflight MUST precede source snapshots, allocation, flag updates, and the atomic predicate destination publication.
PTO-TCMP-CONTRACT-001asl/tile/elementwise-tile-tile/logical/TCMP.asl9f03ce3ab19e6b2a161040068a2b5d5411700f19df35725925adfd1f9725bbfbf221da595d2478a7da7885acd116f709099b8cfaec15a9ab67ab7d36fc8148ea20 matching entries
PTO-AVS-TILE-TCMP-BUNDLE-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-exec-tcmp-bundle-001.aslfb4e15cfd8e9582480981f8a74de471d101dfa08414e22bf50460425f1aeb3ccPTO-AVS-TILE-TCMP-CAPACITY-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-fault-tcmp-capacity-001.asleb6107b2c9b62caf96274a2bccd366c450d401ac18f0876b3ed6aa3dc509d543PTO-AVS-TILE-TCMP-DATR-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-bound-tcmp-datr-001.asl4cd2ea2eb58f344b1346b613fa1905a014039a32200c9438d2db4e74a4bee88bPTO-AVS-TILE-TCMP-MODES-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-bound-tcmp-modes-001.aslfaf2649eb58d8fa97cdbb21050165acb0518abb1d0af3f5f0cadafcb4aeb1036PTO-AVS-TILE-TCMP-ORDER-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-exec-tcmp-order-001.aslde114085f747a57790a0a6b8e511c35f9214681b8e34b2fcb0454e0f24ae5bb4PTO-AVS-TILE-TCMP-PACKED-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-exec-tcmp-packed-001.aslb16e5afaaae4332d3912f082800bf21e5d9b0df56fc10e23b8a2514cc4d69cd0PTO-AVS-TILE-TCMP-PADDING-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-state-tcmp-padding-001.aslcc5964e1ca1bfa73c25b77b5584146be6145089619c19792d6be637132f51940PTO-AVS-TILE-TCMP-SCHEMA-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-fault-tcmp-schema-001.aslb916614c90a2deee1f5e3be6307fe4af6ed4f13a837b0f10faf40688937199a7PTO-AVS-TILE-TCMP-STATIC-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-static-tcmp-contract-001.asl4ddc813791f4d3933313014887a7f82fcd51d3b116ddd15b7b7ccc85f7d2befePTO-AVS-TILE-TCMP-TYPES-001tests/asl/tile/elementwise-tile-tile/logical/TCMP/tile-bound-tcmp-types-001.aslafa4b289c703746e673062985c6be7865959e2b3808826a82a9848906fab153ePTO-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",
"logical"
],
"documentation": "docs/tile/elementwise-tile-tile/logical/TCMP.md",
"id": "PTO-TILE-TCMP",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TCMP",
"ndf_clause": "PTO-INST-TILE-TCMP"
},
"mnemonic": "TCMP",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TCMP-BUNDLE-001",
"PTO-AVS-TILE-TCMP-CAPACITY-001",
"PTO-AVS-TILE-TCMP-DATR-001",
"PTO-AVS-TILE-TCMP-MODES-001",
"PTO-AVS-TILE-TCMP-ORDER-001",
"PTO-AVS-TILE-TCMP-PACKED-001",
"PTO-AVS-TILE-TCMP-PADDING-001",
"PTO-AVS-TILE-TCMP-SCHEMA-001",
"PTO-AVS-TILE-TCMP-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/logical/TCMP.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TCMP-BUNDLE-001",
"PTO-AVS-TILE-TCMP-CAPACITY-001",
"PTO-AVS-TILE-TCMP-DATR-001",
"PTO-AVS-TILE-TCMP-MODES-001",
"PTO-AVS-TILE-TCMP-ORDER-001",
"PTO-AVS-TILE-TCMP-PACKED-001",
"PTO-AVS-TILE-TCMP-PADDING-001",
"PTO-AVS-TILE-TCMP-SCHEMA-001",
"PTO-AVS-TILE-TCMP-STATIC-001",
"PTO-AVS-TILE-TCMP-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868129f03ce3ab19e6b2a161040068a2b5d5411700f19df35725925adfd1f9725bbfbb804f5245dc68c1c2165c81460db7cab269e2fe6c9468acc7ba6113aea261ae8asl/tile/elementwise-tile-tile/logical/TCMP.aslasl/tile/elementwise-tile-tile/logical/TCMP.aslasl/tile/elementwise-tile-tile/logical/TCMP.asl