Deemwar Monads & Abstractions

The ghost instruction

Source: Who is vfmaddrnd231pd??, by purplesyringa

Intel’s 2024 manual documents vfmaddrnd231pd, an FMA instruction that sets rounding per instruction. The GNU assembler, Clang and Intel's ICC don't know it, and a Haswell CPU rejects it. The 2026 manual no longer lists it.

2024 SDM lists it
2026 SDM drops it
#UD on Haswell

What the manual promised

The SDM calls it “Fused Multiply-Add of Packed Double-Precision Floating-Point Values with rounding control”. Its immediate byte holds bit fields for rounding, DAZ, FTZ and exception suppression.

Most x86 floating-point instructions use the global rounding mode, and changing that mode is slow. FMA can stand in for add, subtract and multiply, so one FMA with its own rounding would give any arithmetic controllable rounding without AVX-512.

How it fell apart

  1. 1

    Assemble it

    GNU as

    The GNU assembler does not recognise the mnemonic.

  2. 2

    Call the intrinsic

    Clang · ICC

    _mm_fmaddround_pd and _mm256_fmaddround_pd, named in the SDM, are absent from Clang and from Intel’s own ICC.

  3. 3

    Encode by hand

    SDM opcode list

    The author builds the bytes from VEX.DDS.128.66.0F3A.W1 B8 /r /ib. This opcode is the only mention of DDS in that SDM.

  4. 4

    Run it

    Haswell, which supports FMA

    The CPU raises #UD, undefined instruction.

  5. fault → stop · read the newer SDM
  6. 5

    Read the 2026 SDM

    the author

    The instruction is gone. The 2024 entry has its own tables and pseudocode, so it does not read like a typo.

One test call before the design, not after it.

Why it vanished

Unknown. The author offers only a hypothesis and says there is no way to confirm it. This page does not guess.

The lesson

CaseLessonRule now
vfmaddrnd231pdA documented instruction can have no toolchain support and fault on real hardware.Before designing around a documented instruction or API, assemble one call and run it on the hardware you ship to.
2024 vs 2026 SDMDocumentation changes between editions.If the call faults, change the plan before anyone builds on it.

Guardrails

Read the source

Who is vfmaddrnd231pd? by Alisa Sireneva (purplesyringa), October 12, 2026.

Hacker News discussion.

Sources: every fact on this page comes from the purplesyringa post above.