TNEG

assembly

[
  "TNEG <bundle operands>"
]

block

[
  "BSTART.VEC TNEG, 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

[
  15
]

catalog_records

[
  {
    "arguments": [
      {
        "constant": "TileUnary_NEG"
      },
      {
        "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": 17,
    "legality_handler": "TileOperandsLegal_ExecuteTileUnary",
    "mode": 0,
    "name": "TNEG",
    "operands": [
      {
        "field": "destination0",
        "role": "destination"
      },
      {
        "field": "source0",
        "role": "source"
      }
    ],
    "restart_contract": "CompleteBundleAtWithAcceptedApplicabilityRules",
    "selector": "0x011",
    "semantic_handler": "ExecuteTileUnary",
    "state_effects": [
      "operand:destination0:destination",
      "operand:source0:source"
    ]
  }
]

classification

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

contract

{
  "block_composition": [
    "BSTART.VEC TNEG, 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": [
    "TNEG <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.",
    "Integer negation is zero minus the source modulo the selected element width, including unsigned types. Floating negation toggles only the sign bit, preserving zeros, infinities, NaN class, and NaN payload without reporting invalid solely for TNEG."
  ],
  "encoding_class": "selector-encoded-block-operation",
  "examples": [
    "BSTART.VEC TNEG, 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.",
    "This operation introduces no memory fault and reports no floating invalid condition solely from its value transform."
  ],
  "field_contracts": {},
  "field_zero_meanings": {},
  "legality": [
    "TNEG is BSTART.VEC Mode 0 Function 17 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 S32, S16, S8, FP32, FP16, or BF16.",
    "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": "negation 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, negate modulo the selected integer width or toggle only the floating sign bit according to 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-TNEG

mnemonic

TNEG

summary

Typed elementwise arithmetic negation over one Local Tile source.

surface

tile

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