先看 vl
当前 vl 决定 body 元素数量。典型代码会先执行 vsetvli、vsetivli 或 vsetvl，再执行本页指令。
VMFLE.VV
RISC-V VMFLE.VV 指令详解
指令手册R-type逐元素执行浮点小于等于比较，并把布尔结果写入目标掩码 vd。
指令语法
vmfle.vv vd, vs2, vs1, vm
操作数说明
vd：掩码目标寄存器，每个元素产生一位布尔结果。
vs2/vs1 或标量源：按当前 SEW 参与比较。
vm：vm=0 使用 v0 限制参与比较的元素，vm=1 为未掩码。
V向量浮点运算比较
指令行为说明
VMFLE.VV 是 RISC-V V 扩展的向量浮点比较指令。它在 vl 范围内对活动元素计算 vs2[i] <= 同 lane 的 vs1[i]，并把每个布尔结果写入目标掩码寄存器 vd 的对应位。vm=0 时 v0.t 选择活动元素，vm=1 表示不使用执行掩码；NaN、invalid 异常标志和 tail-agnostic 结果规则遵循官方 RVV 浮点比较语义。
VMFLE.VV 指令解析与执行动画
从 OP-V 编码解码到逐元素浮点比较：每个活动元素计算 vs2[i] <= vs1[i]，并把布尔结果写入目标掩码位。
步骤 1 / 15
读取 OP-V 编码字段
V 扩展浮点指令使用 OP-V 主操作码，字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
输入的指令
vmfle.vv
执行环境
frm
RNE
本指令不按 frm 舍入vta/vma
ta, ma
尾部/非活动元素策略opcode
1010111
OP-V 主操作码编码字段
0x64861257
31..26
25
24..20
19..15
14..12
11..7
6..0
011001
funct6
0
vm
01000
vs2
01100
vs1
001
funct3
00100
vd
1010111
OP-V
逐元素结果
长向量在模块内部横向滚动，不造成页面溢出。
i=0活动
1 <= 0.5
mask=0
i=1活动
1.5 <= 1
mask=0
i=2跳过
v0.t=0，不执行
--
i=3活动
2.5 <= 2
mask=0
i=4活动
-3 <= 2.5
mask=1
i=5活动
3.5 <= 3
mask=0
i=6跳过
v0.t=0，不执行
--
i=7活动
4.5 <= 4
mask=0
SEW=32 / binary32 示例只演示有限数值的比较路径，活动元素写入目标掩码位 0/1。官方规则中，VMFEQ/VMFNE 仅在 signaling NaN 输入时置 invalid；VMFLT/VMFLE/VMFGT/VMFGE 对 signaling 或 quiet NaN 都置 invalid；除 VMFNE 遇 NaN 写 1 外，其它比较遇 NaN 写 0。
快速理解与检索要点
VMFLE.VV 的核心是从 OP-V 编码解码出 vv 形式，对活动元素计算 vs2[i] <= 同 lane 的 vs1[i]，并把 true/false 写成目标 mask 位。
OP-V 编码中 funct6=011001、funct3=001 选择 VMFLE.VV 的 vv 浮点比较形式。
活动元素计算 vs2[i] <= 同 lane 的 vs1[i]，结果写入目标掩码 vd 的第 i 位。
vm=0 使用 v0.t 作为执行掩码；vm=1 表示不使用执行掩码。
比较指令写 mask 结果，尾部元素按 tail-agnostic 处理。
官方 V 规范允许 mask-producing compare 指令的目标 mask 与 v0 源 mask 重叠。
VMFEQ/VMFNE 只在 signaling NaN 输入时设置 invalid；VMFLT/VMFLE/VMFGT/VMFGE 对 signaling 或 quiet NaN 都设置 invalid。
除 VMFNE 遇 NaN 写 1 外，其它浮点比较遇 NaN 写 0。
向量执行上下文
阅读 VMFLE.VV 时，不要只看助记符。官方 V 扩展语义还依赖当前 vl、vtype 和掩码状态。.vv：两个向量源逐元素参与运算。
再看 vtype
当前 vtype 提供 SEW、LMUL、tail policy 和 mask policy；这些规则影响元素宽度、寄存器组大小以及非活动/尾部目标元素。
最后看 vm/v0
带 vm 的普通向量指令在 vm=0 时用 v0 作为执行掩码，vm=1 表示未掩码。VMERGE 等少数形式会把 v0 当作数据选择输入。
常见使用场景
生成谓词掩码
结合 «vmfle.vv v1, v2, v4» 等实际代码理解该场景。
浮点条件判断
结合 «vmfle.vv v1, v2, v4» 等实际代码理解该场景。
NaN 检查
结合 «vmfle.vv v1, v2, v4» 等实际代码理解该场景。
向量化条件执行
结合 «vmfle.vv v1, v2, v4» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 R-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
结果写入掩码寄存器布局，每个元素一位；它不是 0/-1 或 0/1 的普通整数向量。
比较类指令的目标是 mask，tail 元素按 tail-agnostic 处理；不要按普通浮点结果解释尾部位。
vm=0 时使用 v0.t 作为执行掩码；比较指令允许目标掩码 vd 与 v0 源掩码重叠。
VMFLE.VV 的第二源是同 lane 的向量元素 vs1[i]；它没有标量 rs1 或 f[rs1] 操作数。
NaN 与 invalid 标志按官方 RVV 浮点比较规则处理，不能套用整数比较或 JavaScript 比较语义。
常见问题
VMFLE.VV 写入普通向量元素吗？
不写。VMFLE.VV 写目标掩码 vd，每个活动元素产生一个布尔位。
VMFLE.VV 可以在 vm=0 时写 v0 吗？
可以。官方 V 规范允许生成 mask 的比较指令目标与源 mask v0 重叠，这一点不同于普通 masked vector 指令。
VMFLE.VV 的 NaN 比较结果是什么？
VMFLE.VV 遇到 NaN 比较写 0；invalid 标志规则按官方 RVV 浮点比较定义。