TMIN

assembly

[
  "TMIN <bundle operands>"
]

block

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

catalog_indices

[
  11
]

catalog_records

[
  {
    "arguments": [
      {
        "constant": "TileBinary_MIN"
      },
      {
        "operand": "destination0"
      },
      {
        "operand": "source0"
      },
      {
        "operand": "source1"
      }
    ],
    "command_mnemonic": "BSTART.TEPL",
    "contract_status": "reviewed-complete",
    "datr_contract": {
      "allowed_nonzero_fields": [
        "PadValueOrByteId"
      ],
      "pad_union": "pad-value"
    },
    "disposition": "accepted-direct-operation",
    "effect_contract": "ExecuteTileBinary",
    "family": "TEPL",
    "fault_contract": "ExecuteTileInstruction",
    "function": 12,
    "legality_handler": "TileOperandsLegal_ExecuteTileBinary",
    "mode": 0,
    "name": "TMIN",
    "operands": [
      {
        "field": "destination0",
        "role": "destination"
      },
      {
        "field": "source0",
        "role": "source-left"
      },
      {
        "field": "source1",
        "role": "source-right"
      }
    ],
    "restart_contract": "CompleteBundleAtWithAcceptedApplicabilityRules",
    "selector": "0x00C",
    "semantic_handler": "ExecuteTileBinary",
    "state_effects": [
      "operand:destination0:destination",
      "operand:source0:source-left",
      "operand:source1:source-right"
    ]
  }
]

classification

[
  "elementwise-tile-tile",
  "arithmetic"
]

contract

{
  "block_composition": [
    "BSTART.VEC TMIN, DataType",
    "B.DATR PadValue (optional)",
    "B.DIM LB0=ValidCol",
    "B.DIM LB1=ValidRow (optional)",
    "B.DIM LB2=Col (optional)",
    "B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>",
    "BSTOP"
  ],
  "canonical_assembly": [
    "TMIN <bundle operands>"
  ],
  "defaults": [
    "LB0 is required and supplies nonzero ValidCol; omitted LB1 defaults ValidRow to one and omitted LB2 defaults Col to ValidCol.",
    "Omitted B.DATR selects PadValue=Null; explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null.",
    "For floating TMIN, one NaN selects the numeric operand, two NaNs select canonical NaN, signaling NaN reports invalid, and mixed signed zeros select negative zero."
  ],
  "encoding_class": "selector-encoded-block-operation",
  "examples": [
    "BSTART.VEC TMIN, FP32; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"
  ],
  "exceptions": [
    "Malformed bindings, missing or zero dimensions, undefined or mismatched sources, unsupported DataType, non-row-major layout, invalid source encoding, or invalid destination capacity raises Fault_TileLegality before effects.",
    "A signaling NaN reports the selected numeric profile invalid condition without changing the deterministic selected result."
  ],
  "field_contracts": {},
  "field_zero_meanings": {},
  "legality": [
    "TMIN is BSTART.VEC Mode 0 Function 12 and has no standalone opcode.",
    "Exactly one terminating Local B.IOT supplies two ordered Local sources and one new Local destination; B.IOR and B.IOS are illegal.",
    "DataType is one of S32, U32, FP32, S16, U16, FP16, BF16, S8, or U8.",
    "Sources are fully defined and all three Tiles match physical shape, valid shape, row-major layout, DataType, and PE_MASK.",
    "Only B.DATR PadValueOrByteId is applicable; nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.",
    "Floating source encodings invalid for the selected operation reject before allocation or destination effects; PE_MASK zero is a strict no-op."
  ],
  "memory_effects": [
    "none"
  ],
  "operands": [
    {
      "field": "destination0",
      "role": "new Local destination"
    },
    {
      "field": "source0",
      "role": "left comparison source"
    },
    {
      "field": "source1",
      "role": "right comparison source"
    }
  ],
  "ordering": [
    "Both source payloads are snapshotted after complete legality and encoding preflight and before destination writes.",
    "Source aliasing and source-to-destination aliasing therefore observe pre-operation values."
  ],
  "standalone_opcode": false,
  "state_effects": [
    "Select the typed elementwise minimum for every valid coordinate.",
    "Signed integers use signed ordering, unsigned integers use unsigned ordering, and supported floating carriers use deterministic NaN and signed-zero rules.",
    "Publish the complete valid result and selected physical padding atomically; rejection has no architectural effect."
  ]
}

depends_on

[
  "PTO-TILE-MODEL-EXECUTION-ELEMENTWISE",
  "PTO-TILE-MODEL-LEGALITY-OPERAND-SCHEMA"
]

engine

VEC

id

PTO-TILE-TMIN

mnemonic

TMIN

summary

Minimum corresponding Local Tile elements under typed integer and floating ordering.

surface

tile

{
  "classification": [
    "elementwise-tile-tile",
    "arithmetic"
  ],
  "documentation": "docs/tile/elementwise-tile-tile/arithmetic/TMIN.md",
  "id": "PTO-TILE-TMIN",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "TMIN",
    "ndf_clause": "PTO-INST-TILE-TMIN"
  },
  "mnemonic": "TMIN",
  "readiness_subjects": [
    "ADR-0035",
    "ADR-0048",
    "ADR-0050",
    "ADR-0052",
    "ADR-0057",
    "ADR-0059",
    "ADR-0080"
  ],
  "semantic_tests": [
    "PTO-AVS-TILE-TMIN-ALIAS-001",
    "PTO-AVS-TILE-TMIN-DEFAULTS-001",
    "PTO-AVS-TILE-TMIN-DEFINED-001",
    "PTO-AVS-TILE-TMIN-ENCODING-001",
    "PTO-AVS-TILE-TMIN-FLOAT-001",
    "PTO-AVS-TILE-TMIN-INTEGERS-001",
    "PTO-AVS-TILE-TMIN-LAYOUT-001",
    "PTO-AVS-TILE-TMIN-LB0-001",
    "PTO-AVS-TILE-TMIN-MASK-ZERO-001",
    "PTO-AVS-TILE-TMIN-NAN-001",
    "PTO-AVS-TILE-TMIN-PADDING-001",
    "PTO-AVS-TILE-TMIN-SCHEMA-001",
    "PTO-AVS-TILE-TMIN-TYPES-001",
    "PTO-AVS-TILE-TMIN-ZERO-001"
  ],
  "source": "asl/tile/elementwise-tile-tile/arithmetic/TMIN.asl",
  "surface": "tile",
  "tests": [
    "PTO-AVS-TILE-TMIN-ALIAS-001",
    "PTO-AVS-TILE-TMIN-DEFAULTS-001",
    "PTO-AVS-TILE-TMIN-DEFINED-001",
    "PTO-AVS-TILE-TMIN-ENCODING-001",
    "PTO-AVS-TILE-TMIN-FLOAT-001",
    "PTO-AVS-TILE-TMIN-INTEGERS-001",
    "PTO-AVS-TILE-TMIN-LAYOUT-001",
    "PTO-AVS-TILE-TMIN-LB0-001",
    "PTO-AVS-TILE-TMIN-MASK-ZERO-001",
    "PTO-AVS-TILE-TMIN-NAN-001",
    "PTO-AVS-TILE-TMIN-PADDING-001",
    "PTO-AVS-TILE-TMIN-SCHEMA-001",
    "PTO-AVS-TILE-TMIN-STATIC-001",
    "PTO-AVS-TILE-TMIN-TYPES-001",
    "PTO-AVS-TILE-TMIN-ZERO-001"
  ]
}