估算结果是 implementation-defined 吗？
不是按实现随意决定。官方 V 扩展定义了 7 位估算和特殊输入处理规则。
VFRSQRT7.V
RISC-V VFRSQRT7.V 指令详解
指令手册R-type计算vs2每个浮点元素的1/√x近似值（7位精度），写入vd。
指令语法
vfrsqrt7.v vd, vs2, vm
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
VZvfh向量运算浮点
指令行为说明
VFRSQRT7.V 产生官方 V 扩展定义的 7 位浮点估算结果。特殊输入（零、无穷、NaN、负数等）按规范表处理；不要把它描述成普通除法/平方根后按 frm 舍入。 向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。
快速理解与检索要点
VFRSQRT7.V 是表定义的 7 位估算指令，不是普通浮点除法或平方根。
只对 vl 范围内的活动元素执行；非活动元素和尾部元素受当前 vma/vta 策略影响。
vm=0 使用 v0 作为执行掩码，vm=1 表示不使用掩码。
特殊值结果和异常标志应按官方估算指令表处理。
向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。
常见使用场景
向量归一化
结合 «vsetvli t0, a0, e32, m1, ta, ma vfrsqrt7.v v1, v2 # v1[i] ≈ 1/√v2[i] (7-bit)» 等实际代码理解该场景。
Newton-Raphson
结合 «vsetvli t0, a0, e32, m1, ta, ma vfrsqrt7.v v1, v2 # v1[i] ≈ 1/√v2[i] (7-bit)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
查看官方特殊值表处理零、无穷、NaN 和负输入；不要把零输入结果标成 implementation-defined。
估算结果精度有限，通常需要后续迭代才能得到高精度结果。
向量 FP32/FP64 操作需要相应标量 F/D 支持；FP16 由相应向量半精度扩展控制，基础 V 扩展不自动包含半精度算术。