TSEL

assembly

[
  "TSEL <bundle operands>"
]

block

[
  "BSTART.VEC TSEL, DataType",
  "B.DATR PadValue (optional)",
  "B.DIM LB0=ValidCol",
  "B.DIM LB1=ValidRow (optional)",
  "B.DIM LB2=Col (optional)",
  "B.IOT Predicate, SrcTrue, mask=PE_MASK",
  "B.IOT SrcFalse, mask=PE_MASK, <last>, ->DstTile<TSize>",
  "BSTOP"
]

catalog_indices

[
  22
]

catalog_records

[
  {
    "arguments": [
      {
        "operand": "destination0"
      },
      {
        "operand": "source0"
      },
      {
        "operand": "source1"
      },
      {
        "operand": "source2"
      }
    ],
    "command_mnemonic": "BSTART.TEPL",
    "contract_status": "reviewed-complete",
    "datr_contract": {
      "allowed_nonzero_fields": [
        "PadValueOrByteId"
      ],
      "pad_union": "pad-value"
    },
    "disposition": "accepted-direct-operation",
    "effect_contract": "ExecuteTileSelect",
    "family": "TEPL",
    "fault_contract": "ExecuteTileInstruction",
    "function": 26,
    "legality_handler": "TileOperandsLegal_ExecuteTileSelect",
    "mode": 0,
    "name": "TSEL",
    "operands": [
      {
        "field": "destination0",
        "role": "numeric destination"
      },
      {
        "field": "source0",
        "role": "packed predicate mask"
      },
      {
        "field": "source1",
        "role": "source-true"
      },
      {
        "field": "source2",
        "role": "source-false"
      }
    ],
    "restart_contract": "CompleteBundleAtWithAcceptedApplicabilityRules",
    "selector": "0x01A",
    "semantic_handler": "ExecuteTileSelect",
    "state_effects": [
      "operand:destination0:numeric-destination",
      "operand:source0:packed-predicate-mask",
      "operand:source1:persistent-source-true",
      "operand:source2:persistent-source-false",
      "runtime:CurrentBundlePadValue:numeric-padding"
    ]
  }
]

classification

[
  "elementwise-tile-tile",
  "logical"
]

contract

{
  "block_composition": [
    "BSTART.VEC TSEL, DataType",
    "B.DATR PadValue (optional)",
    "B.DIM LB0=ValidCol",
    "B.DIM LB1=ValidRow (optional)",
    "B.DIM LB2=Col (optional)",
    "B.IOT Predicate, SrcTrue, mask=PE_MASK",
    "B.IOT SrcFalse, mask=PE_MASK, <last>, ->DstTile<TSize>",
    "BSTOP"
  ],
  "canonical_assembly": [
    "TSEL <bundle operands>"
  ],
  "defaults": [
    "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 PadValue=Null. Explicit PadValue 00, 01, 10, and 11 select Zero, Max, Min, and Null.",
    "A zero predicate bit selects SrcFalse and a one predicate bit selects SrcTrue. TSEL is a raw-carrier operation: it copies the chosen source carrier bits, preserves the concrete DataType, does not require TileNumericEncodingValid for selected payloads, and performs no conversion or numeric-status update."
  ],
  "encoding_class": "selector-encoded-block-operation",
  "examples": [
    "BSTART.VEC TSEL, E3M2; B.DATR PadValue (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT Predicate, SrcTrue, mask=PE_MASK; B.IOT SrcFalse, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"
  ],
  "exceptions": [
    "Malformed binding order, B.IOR or B.IOS presence, missing or zero dimensions, ordinary numeric mask storage, undefined predicate or data elements, unsupported DataType, shape, type or layout mismatch, unequal masks, or insufficient destination capacity raises Fault_TileLegality or Fault_TileAllocation before architectural effects.",
    "TSEL performs no conversion and therefore raises no floating invalid condition solely because a selected source encoding represents NaN.",
    "CompleteBundleAtWithAcceptedApplicabilityRules supplies precise restart and completion behavior after an accepted operation."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "B.DATR.PadValueOrByteId": "Zero numeric padding when B.DATR is present; omission selects Null."
  },
  "legality": [
    "TSEL is selected only by VEC Mode 0 Function 26 and has no standalone opcode.",
    "Exactly two ordered Local B.IOT bindings are required. The first supplies packed Predicate and SrcTrue without Last or a destination; the second supplies SrcFalse and one new terminating destination. B.IOR, B.IOS, and additional bindings are illegal.",
    "The data DataType is exactly FP64, FP32, TF32, HF32, FP16, BF16, E4M3, E5M2, S64, S32, S16, S8, U64, U32, U16, or U8; every other type rejects before effects.",
    "SrcTrue, SrcFalse, and destination match physical shape, valid shape, row-major layout, and DataType; every valid element of both data sources is defined, and numeric encoding validity is not required for selected carrier payloads.",
    "Predicate uses predicate-kind storage, has the same Row, Col, ValidRow, and ValidCol as the data Tiles, and defines every valid predicate bit. An ordinary numeric Tile is not a legal mask.",
    "PadValueOrByteId is the only applicable B.DATR field. Explicit nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.",
    "Both B.IOT bindings use one PE_MASK. PE_MASK=0000 is a strict no-op before schema, source, allocation, or payload checks."
  ],
  "memory_effects": [
    "none"
  ],
  "operands": [
    {
      "field": "destination0",
      "role": "new Local numeric destination"
    },
    {
      "field": "source0",
      "role": "packed one-bit Local predicate mask"
    },
    {
      "field": "source1",
      "role": "persistent Local source selected by one"
    },
    {
      "field": "source2",
      "role": "persistent Local source selected by zero"
    }
  ],
  "ordering": [
    "Complete schema, field, type, geometry, layout, definedness, predicate-kind, mask, and destination-capacity preflight precedes all source snapshots and allocation.",
    "Predicate bits and both data payloads are snapshotted before the first destination write, so equal sources and source/destination aliases observe read-old values."
  ],
  "standalone_opcode": false,
  "state_effects": [
    "For logical element i, read bit i mod 8 of byte floor(i/8), selecting the exact SrcTrue encoding when one and SrcFalse encoding when zero.",
    "Perform no rounding, saturation, canonicalization, arithmetic, or floating-status update.",
    "Publish selected payload, padding definedness, and destination descriptor atomically. Rejection has no architectural effect and all three sources persist."
  ]
}

depends_on

[
  "PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"
]

engine

VEC

id

PTO-TILE-TSEL

mnemonic

TSEL

summary

Select exact element encodings from two Local Tiles under one packed predicate Tile.

surface

tile

{
  "classification": [
    "elementwise-tile-tile",
    "logical"
  ],
  "documentation": "docs/tile/elementwise-tile-tile/logical/TSEL.md",
  "id": "PTO-TILE-TSEL",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "TSEL",
    "ndf_clause": "PTO-INST-TILE-TSEL"
  },
  "mnemonic": "TSEL",
  "readiness_subjects": [
    "ADR-0035",
    "ADR-0052",
    "ADR-0057",
    "ADR-0059",
    "ADR-0080",
    "ADR-0102"
  ],
  "semantic_tests": [
    "PTO-AVS-TILE-TSEL-BUNDLE-001",
    "PTO-AVS-TILE-TSEL-DATR-001",
    "PTO-AVS-TILE-TSEL-EXACT-001",
    "PTO-AVS-TILE-TSEL-MASK-001",
    "PTO-AVS-TILE-TSEL-MASK-ZERO-001",
    "PTO-AVS-TILE-TSEL-PACKED-001",
    "PTO-AVS-TILE-TSEL-PADDING-001",
    "PTO-AVS-TILE-TSEL-SCHEMA-001",
    "PTO-AVS-TILE-TSEL-TYPES-001"
  ],
  "source": "asl/tile/elementwise-tile-tile/logical/TSEL.asl",
  "surface": "tile",
  "tests": [
    "PTO-AVS-TILE-TSEL-BUNDLE-001",
    "PTO-AVS-TILE-TSEL-DATR-001",
    "PTO-AVS-TILE-TSEL-EXACT-001",
    "PTO-AVS-TILE-TSEL-MASK-001",
    "PTO-AVS-TILE-TSEL-MASK-ZERO-001",
    "PTO-AVS-TILE-TSEL-PACKED-001",
    "PTO-AVS-TILE-TSEL-PADDING-001",
    "PTO-AVS-TILE-TSEL-SCHEMA-001",
    "PTO-AVS-TILE-TSEL-STATIC-001",
    "PTO-AVS-TILE-TSEL-TYPES-001"
  ]
}