先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VFREDMIN.VS
RISC-V VFREDMIN.VS 指令详解
指令手册R-type将vs2中活动元素的浮点最小值有序归约写入vd[0]，vs1[0]为初值。
指令语法
vfredmin.vs vd, vs2, vs1, vm
操作数说明
vd：目标向量寄存器组。
vs2/vs1 或标量源：按指令后缀 .vv/.vx/.vi/.vf 决定来源。
vm：若语法包含 vm，vm=0 使用 v0 作为执行掩码，vm=1 为未掩码。
VZvfh向量归约浮点
指令行为说明
VFREDMIN.VS 执行向量浮点归约，只把归约结果写入 vd[0]，vs1[0] 提供初始值。最大/最小归约按 RVV 浮点 min/max 规则处理。 向量 FP32/FP64 操作需要实现相应标量 F/D 支持；FP16 由相应的向量半精度扩展控制；不要假定基础 V 扩展自动包含半精度算术。
快速理解与检索要点
VFREDMIN.VS 是归约指令：多个活动元素合成为一个标量样结果，目标是向量寄存器的元素 0。
vs1[0] 是归约初始值，不是整条向量都参与同等输入。
归约结果只保证写入元素 0；其他元素按规范的非结果元素规则处理。
只对 vl 范围内的活动元素执行；非活动元素和尾部元素受当前 vma/vta 策略影响。
除专用掩码指令外，vm=0 使用 v0 作为执行掩码，vm=1 表示不使用掩码。
浮点运算遵循向量浮点章节：普通浮点运算使用 frm 舍入并设置浮点异常标志；定点 vxrm 不控制这些指令。
向量执行上下文
阅读 VFREDMIN.VS 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。后缀和操作数形式决定源操作数来自向量、标量还是立即数。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
向量归约
结合 «vsetvli t0, a0, e32, m1, ta, ma vfredmin.vs v1, v2, v3, vm» 等实际代码理解该场景。
最小值查找
结合 «vsetvli t0, a0, e32, m1, ta, ma vfredmin.vs v1, v2, v3, vm» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
vs1[0]提供初始最小值。仅写vd[0]。
向量 FP32/FP64 操作需要对应的标量 F/D 支持；仅有 V 并不意味着支持 FP16。
常见问题
这些浮点指令使用 vxrm 吗？
不使用。普通 RVV 浮点运算和浮点转换使用浮点舍入模式 frm 或指令指定的固定舍入；vxrm 用于定点舍入指令。