在计算机底层开发的世界里，英特尔的软件开发者手册（SDM）素来被视为硬件行为的终极法典。然而博主 purplesyringa 发现，这本法典里长期隐藏着一条根本不存在的幽灵指令：vfmaddrnd231pd。
文档里不仅给它分配了独立的伪代码与精细的控制位说明，还标明其 CPUID 为普通 FMA 即可支持。但当你真正把它硬编码写进二进制程序并在 Haswell 架构处理器上执行时，CPU 只会直接吐出一个冷冰冰的硬件异常：#UD，即未定义指令异常。这并不是编译器漏掉了符号，而是物理硅片上从来就没有实现过它。
随后英特尔在手册更新中悄然抹去了这段记录，没有发布任何勘误公告。这场无声的文档清理，撕开了 x86 架构演进史上微架构博弈与工程妥协的一角。
致命的 #UD：一条看似全能的浮点捷径
浮点运算中，舍入模式的控制向来是数值计算的性能梦魇。在传统 x86-64 架构下，普通 FMA3 指令完全依赖全局控制状态寄存器 MXCSR 来决定舍入方向。
对于区间算术这类需要不断切换朝正无穷或负无穷舍入的高性能算法，修改 MXCSR 会引发流水线刷新，带来沉重的时钟周期惩罚。直到 AVX-512 推出，英特尔才通过 EVEX 前缀引入了单指令级的静态嵌入式舍入，但那往往绑定在昂贵的大位宽计算上。
vfmaddrnd231pd 之所以引起关注，是因为文档描述了一种极为优雅的设计：它允许在 128 位和 256 位 VEX 前缀下，直接塞入一个单字节立即数（imm8）来精准覆盖舍入模式。倘若它存在，开发者在 AVX2 时代就能以极低成本获得局部舍入控制能力。
可惜这只是纸面幻觉。不仅 GNU 汇编器无法识别，英特尔自己的 ICC 和 Clang 编译器中也找不到对应的 _mm_fmaddround_pd 原生函数。
- 提醒.不要在任何生产环境的内联汇编中尝试探测该指令的操作码，它在所有量产 x86 核心上都会直接终止当前进程。
编码显微镜：0F3A 映射与未竟的设计
这绝非文档录入人员随手敲错的名字。查阅早期手册可以发现，英特尔为它编制了极为详尽的位域逻辑。
其 imm8 立即数字节被划分得极为细致：低两位选择四种舍入模式，第 2 位负责覆盖 MXCSR 的舍入控制位，第 3 位用于压制浮点异常，第 4 位允许启用非正规数清零（DAZ）与下溢刷零（FTZ）覆盖，高位则保留为零。这种细颗粒度的解耦控制，甚至比后来 AVX-512 的 SAE 方案还要灵活——后者必须强制将异常压制与舍入捆绑。
常规 VFMADD231PD: VEX.256.66.0F38.W1 B8 /r
幽灵 VFMADDRND231PD: VEX.256.66.0F3A.W1 B8 /r /ib在操作码映射上，英特尔也有意将其与普通指令区分。普通乘加运算映射在 0F38 空间，而这条指令因为需要吃进一个字节的立即数，被移到了 0F3A 空间。
至于文档中令人困惑的 VEX.DDS 前缀，并不是什么未公开的硬件黑科技。那只是英特尔早期为了在文档中标记操作数角色而使用的标记，代表目标寄存器与源寄存器的排列关系，后来因为表述冗余被官方逐步废除。
然而整套设计的破绽在于极度匮乏的正交性。在整本手册中，这类立即数控制指令仅有双精度 231 组合这一根独苗。FMA 家族标配的 132 和 213 操作数排列、单精度版本以及标量版本全都无影无踪。
规整的体系架构里容不下突兀的断片，孤立的指令往往是未竟妥协的骨灰。
悄然除名：从文档清理看架构演进的断代
这条幽灵指令在权威规范中寄生了不可思议的漫长时间。
在 2024 年 6 月发布的 Intel SDM Volume 2C（编号 326018-084US）中，它仍堂而皇之地占据着第 5-207 至 5-208 页。然而仅仅四个月后的 10 月版本（326018-085US）以及随后的 2026 年 9 月版中，该条目已荡然无存。手册目录生硬地从半精度 FP16 FMA 跳跃至普通的单精度 FMA，仿佛它从未存在过。
最能说明问题的是官方规格更新说明的缄默。英特尔的技术勘误文档中，没有任何一条记录提及这次删除。
这排除了硬件流片后发现重大 Bug 进而撤回的推论。如果是已经在硅片上烧录了译码逻辑的硬件缺陷，英特尔必须发布 Errata 告知操作系统和底层开发者如何规避潜在死锁或熔断风险。
更合乎工程现实的解释是：早在十余年前规划 AVX 扩展时，架构团队内部曾提出过利用 VEX 立即数实现局部舍入控制的设计提案。文档撰写团队过早将未定稿的 RFC 草案编入了内部规范库，但微架构评审最终放弃了这套方案，转而全力开发具备全新前缀能力的 EVEX 编码体系，并将舍入控制权押注给 AVX-512。
草案在硬件流水线设计中被砍掉，但在文档管理系统的深沟高壑里，它成了一具被遗忘的幽灵，静静躺了十余年，直到外部开发者刨根问底，才被悄悄清理。
- 结论.对于高性能数值库作者而言，无需再幻想寻找某些特定步进的旧 CPU 去挖掘廉价局部舍入支持，x86 生态中局部舍入的合法路径只有全面拥抱 EVEX 架构。
软硬件协同的演进从来不是线性向前的纯净史诗。在庞杂的指令集帝国里，每一份悄然涂抹的文档背后，都是一段未曾面世的芯片沉浮。