FRECIP

assembly

[
  "frecip.{T} SrcL, ->{t, u, Rd}"
]

block

[]

catalog_indices

[
  114
]

catalog_records

[
  {
    "asm": "frecip.{T} SrcL, ->{t, u, Rd}",
    "constraints": [
      {
        "field": "SrcType",
        "operator": "one-of",
        "values": [
          0,
          1
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0xf9f0707f",
        "match": "0x0000207b",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "RegDst",
        "pieces": [
          {
            "instruction_lsb": 7,
            "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": "SrcType",
        "pieces": [
          {
            "instruction_lsb": 25,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      }
    ],
    "form_id": "frecip_32_3d51f4f727ea",
    "length_bits": 32,
    "mnemonic": "FRECIP",
    "semantic_family": "FSU",
    "semantic_group": "FSU",
    "semantic_handler": "FloatingUnary",
    "semantic_summary": "FRECIP applies the active numeric profile reciprocal operation to the selected FP64 or FP32 carrier.",
    "status": "accepted"
  }
]

classification

[
  "fsu"
]

contract

{
  "block_composition": [
    "none"
  ],
  "canonical_assembly": [
    "frecip.{T} SrcL, ->{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": [
    "frecip.fd a0, ->a1",
    "frecip.fs t#1, ->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.",
    "SrcL": "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": "SrcL",
      "role": "left or sole 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": [
    "FRECIP applies the active numeric profile reciprocal operation to the selected FP64 or FP32 carrier.",
    "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, a zero operand returns all ones in the selected width with DZ; otherwise divide an all-ones carrier by the operand. 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-FRECIP

mnemonic

FRECIP

summary

FRECIP applies the active numeric profile reciprocal operation to the selected FP64 or FP32 carrier.

surface

scalar

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