这些浮点指令使用 vxrm 吗？
不使用。普通 RVV 浮点运算和浮点转换使用浮点舍入模式 frm 或指令指定的固定舍入；vxrm 用于定点舍入指令。
VFREDMAX.VS
RISC-V VFREDMAX.VS 指令详解
指令手册R-type将vs2中活动元素的浮点最大值写入vd[0]，vs1[0]为初始值。有序归约。
指令语法
vfredmax.vs vd, vs2, vs1, vm
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
VZvfh向量归约浮点
指令行为说明
VFREDMAX.VS 执行向量浮点归约，只把归约结果写入 vd[0]，vs1[0] 提供初始值。最大/最小归约按 RVV 浮点 min/max 规则处理。 向量 FP32/FP64 操作需要实现相应标量 F/D 支持；FP16 由相应的向量半精度扩展控制；不要假定基础 V 扩展自动包含半精度算术。
快速理解与检索要点
VFREDMAX.VS 是归约指令：多个活动元素合成为一个标量样结果，目标是向量寄存器的元素 0。
vs1[0] 是归约初始值，不是整条向量都参与同等输入。
归约结果只保证写入元素 0；其他元素按规范的非结果元素规则处理。
只对 vl 范围内的活动元素执行；非活动元素和尾部元素受当前 vma/vta 策略影响。
除专用掩码指令外，vm=0 使用 v0 作为执行掩码，vm=1 表示不使用掩码。
浮点运算遵循向量浮点章节：普通浮点运算使用 frm 舍入并设置浮点异常标志；定点 vxrm 不控制这些指令。
常见使用场景
向量归约
结合 «vsetvli t0, a0, e32, m1, ta, ma vfredmax.vs v1, v2, v3 # v1[0] = max reduction, vm» 等实际代码理解该场景。
极值查找
结合 «vsetvli t0, a0, e32, m1, ta, ma vfredmax.vs v1, v2, v3 # v1[0] = max reduction, vm» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
归约结果仅写入vd[0]——不是整个向量。vs1提供初始值。
有序归约（sequential）与非有序（tree）归约在可重复性上有重要区别。
向量 FP32/FP64 操作需要对应的标量 F/D 支持；仅有 V 并不意味着支持 FP16。