FMADD

assembly

[
  "fmadd.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}"
]

block

[]

catalog_indices

[
  105
]

catalog_records

[
  {
    "asm": "fmadd.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}",
    "constraints": [
      {
        "field": "SrcType",
        "operator": "one-of",
        "values": [
          0,
          1
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0x0000707f",
        "match": "0x0000404b",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "RegDst",
        "pieces": [
          {
            "instruction_lsb": 7,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcA",
        "pieces": [
          {
            "instruction_lsb": 27,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcL",
        "pieces": [
          {
            "instruction_lsb": 15,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcR",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcType",
        "pieces": [
          {
            "instruction_lsb": 25,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      }
    ],
    "form_id": "fmadd_32_c616a17bcb12",
    "length_bits": 32,
    "mnemonic": "FMADD",
    "semantic_family": "FSU",
    "semantic_group": "FSU",
    "semantic_handler": "FloatingFused",
    "semantic_summary": "FMADD computes one fused SrcL multiplied by SrcR plus SrcA operation through the active numeric profile.",
    "status": "accepted"
  }
]

classification

[
  "fsu"
]

contract

{
  "block_composition": [
    "none"
  ],
  "canonical_assembly": [
    "fmadd.{T} SrcL, SrcR, SrcA, ->{t, u, Rd}"
  ],
  "defaults": [
    "Every displayed operand field is encoded explicitly; encoded zero is a value and never denotes omission.",
    "SrcType=0 selects an FP64 carrier and SrcType=1 selects the zero-extended low-word FP32 carrier. SrcType=2 and SrcType=3 are reserved."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "fmadd.fd a0, a1, a2, ->a3",
    "fmadd.fs t#1, u#1, a0, ->t"
  ],
  "exceptions": [
    "A fixed-bit mismatch, reserved SrcType, reserved DstType where present, or unavailable selected T/U source raises Fault_IllegalInstruction before source, profile, destination, flag, queue, or TPC effects.",
    "Numeric profile flags update sticky status and do not themselves raise a synchronous PTO trap."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "RegDst": "Encoded zero discards the result.",
    "SrcA": "Encoded zero reads the architectural zero GPR.",
    "SrcL": "Encoded zero reads the architectural zero GPR.",
    "SrcR": "Encoded zero reads the architectural zero GPR.",
    "SrcType": "Encoded zero selects the 64-bit source carrier; it is not omission."
  },
  "legality": [
    "Every Reg5 source uses codes 0..23 for absolute GPRs, 24..27 for T#1..T#4, and 28..31 for U#1..U#4 without consumption.",
    "Every Reg5 destination is assigned: codes 1..23 write GPRs, 30 pushes U, 31 pushes T, and 0 plus 24..29 discard only the result.",
    "SrcType codes 0 and 1 are assigned; codes 2 and 3 are reserved."
  ],
  "memory_effects": [
    "none"
  ],
  "operands": [
    {
      "field": "RegDst",
      "role": "Reg5 destination or discard"
    },
    {
      "field": "SrcA",
      "role": "fused addend Reg5 source"
    },
    {
      "field": "SrcL",
      "role": "left or sole Reg5 source"
    },
    {
      "field": "SrcR",
      "role": "right Reg5 source"
    },
    {
      "field": "SrcType",
      "role": "source carrier selector"
    }
  ],
  "ordering": [
    "Validate every encoded type before the first architectural source read or profile call.",
    "Snapshot every explicit source before flag or destination effects; duplicate sources, destination aliases, and same-queue read-then-push observe pre-instruction values.",
    "Accumulate produced flags, publish or discard the destination, and then advance TPC."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "FMADD computes one fused SrcL multiplied by SrcR plus SrcA operation through the active numeric profile.",
    "The selected numeric profile returns an exact NV, DZ, OF, UF, NX vector which is ORed into existing sticky CORE_STATE flags.",
    "For pto-v0, compute MultiplyWord(SrcL, SrcR) plus SrcA modulo the selected width and return zero flags. This executable reference behavior is not target floating-point conformance.",
    "Destination codes 1..23 write GPRs, 30 pushes U, 31 pushes T, and 0 plus 24..29 discard the result.",
    "Successful execution advances TPC by four bytes."
  ]
}

depends_on

[
  "PTO-SCALAR-MODEL-FSU-PROFILE"
]

id

PTO-SCALAR-FMADD

mnemonic

FMADD

summary

FMADD computes one fused SrcL multiplied by SrcR plus SrcA operation through the active numeric profile.

surface

scalar

{
  "classification": [
    "fsu"
  ],
  "documentation": "docs/scalar/fsu/FMADD.md",
  "id": "PTO-SCALAR-FMADD",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "FMADD",
    "ndf_clause": "PTO-INST-SCALAR-FMADD"
  },
  "mnemonic": "FMADD",
  "readiness_subjects": [
    "ADR-0028",
    "ADR-0038",
    "ADR-0059"
  ],
  "semantic_tests": [
    "PTO-AVS-FSU-FMADD-BOUND-001",
    "PTO-AVS-FSU-FMADD-DST-001",
    "PTO-AVS-FSU-FMADD-EXEC-001",
    "PTO-AVS-FSU-FMADD-FLAGS-001",
    "PTO-AVS-FSU-FMADD-ROUND-001",
    "PTO-AVS-FSU-FMADD-RSVD-001",
    "PTO-AVS-FSU-FMADD-SNAP-001",
    "PTO-AVS-FSU-FMADD-SRC-001",
    "PTO-AVS-FSU-FMADD-TYPE-001"
  ],
  "source": "asl/scalar/fsu/FMADD.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-FSU-FMADD-BOUND-001",
    "PTO-AVS-FSU-FMADD-DST-001",
    "PTO-AVS-FSU-FMADD-EXEC-001",
    "PTO-AVS-FSU-FMADD-FLAGS-001",
    "PTO-AVS-FSU-FMADD-ROUND-001",
    "PTO-AVS-FSU-FMADD-RSVD-001",
    "PTO-AVS-FSU-FMADD-SNAP-001",
    "PTO-AVS-FSU-FMADD-SRC-001",
    "PTO-AVS-FSU-FMADD-TYPE-001",
    "PTO-AVS-SCALAR-FMADD-DECODE-001"
  ]
}