TRELU

assembly

[
  "TRELU <bundle operands>"
]

block

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

catalog_indices

[
  21
]

catalog_records

[
  {
    "arguments": [
      {
        "constant": "TileUnary_RELU"
      },
      {
        "operand": "destination0"
      },
      {
        "operand": "source0"
      }
    ],
    "command_mnemonic": "BSTART.TEPL",
    "contract_status": "reviewed-complete",
    "datr_contract": {
      "allowed_nonzero_fields": [
        "PadValueOrByteId"
      ],
      "pad_union": "pad-value"
    },
    "disposition": "accepted-direct-operation",
    "effect_contract": "ExecuteTileUnary",
    "family": "TEPL",
    "fault_contract": "ExecuteTileInstruction",
    "function": 23,
    "legality_handler": "TileOperandsLegal_ExecuteTileUnary",
    "mode": 0,
    "name": "TRELU",
    "operands": [
      {
        "field": "destination0",
        "role": "destination"
      },
      {
        "field": "source0",
        "role": "source"
      }
    ],
    "restart_contract": "CompleteBundleAtWithAcceptedApplicabilityRules",
    "selector": "0x017",
    "semantic_handler": "ExecuteTileUnary",
    "state_effects": [
      "operand:destination0:destination",
      "operand:source0:source"
    ]
  }
]

classification

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

contract

{
  "block_composition": [
    "BSTART.VEC TRELU, DataType",
    "B.DATR PadValue (optional)",
    "B.DIM LB0=ValidCol",
    "B.DIM LB1=ValidRow (optional)",
    "B.DIM LB2=Col (optional)",
    "B.IOT Src, mask=PE_MASK, <last>, ->DstTile<TSize>",
    "BSTOP"
  ],
  "canonical_assembly": [
    "TRELU <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.",
    "Signed negative integers become zero and unsigned integers are unchanged. Floating negative finite values, negative infinity, and both signed zeros become positive zero; positive values and positive infinity are preserved; NaNs become the profile quiet NaN and signaling NaN reports invalid."
  ],
  "encoding_class": "selector-encoded-block-operation",
  "examples": [
    "BSTART.VEC TRELU, U64; B.DIM LB0=ValidCol; B.IOT Src, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"
  ],
  "exceptions": [
    "Malformed bindings, missing or zero dimensions, undefined or mismatched source state, unsupported DataType, non-row-major layout, or invalid floating source encoding raises Fault_TileLegality before effects; an unrepresentable destination shape or insufficient TSize capacity raises Fault_TileAllocation before allocation.",
    "For TRELU, a signaling NaN publishes the profile quiet NaN and records the selected numeric-profile invalid condition only after complete legality preflight."
  ],
  "field_contracts": {},
  "field_zero_meanings": {},
  "legality": [
    "TRELU is BSTART.VEC Mode 0 Function 23 and has no standalone opcode.",
    "Exactly one terminating Local B.IOT supplies one Local source and one new Local destination; B.IOR and B.IOS are illegal.",
    "DataType is one of FP16, BF16, FP32, or S32.",
    "Source and destination match physical shape, valid shape, row-major layout, DataType, and PE_MASK; the source valid region is fully defined.",
    "Only B.DATR PadValueOrByteId is applicable; nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal.",
    "Floating source encodings invalid for the selected DataType 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": "rectifier source"
    }
  ],
  "ordering": [
    "The source payload is snapshotted after complete schema, dimension, DataType, layout, definedness, encoding, mask, and destination-capacity preflight and before destination writes.",
    "Source-to-destination aliasing therefore observes the complete pre-operation source payload."
  ],
  "standalone_opcode": false,
  "state_effects": [
    "For every valid coordinate, apply the same-type integer or floating rectifier selected by DataType.",
    "Publish the complete valid result and selected physical padding atomically; rejection has no architectural effect."
  ]
}

depends_on

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

engine

VEC

id

PTO-TILE-TRELU

mnemonic

TRELU

summary

Same-type elementwise rectifier over one Local Tile source.

surface

tile

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