RVOPcode
首页/指令库/VMFLT-VV
VMFLT.VV

RISC-V VMFLT.VV 指令详解

指令手册OP-V (OPFVV)

逐元素执行浮点小于比较，并把布尔结果写入目标掩码 vd。

指令语法

vmflt.vv vd, vs2, vs1[, v0.t]
操作数说明
活动元素计算 vs2[i] < vs1[i]，写单个 mask 寄存器的 bit i。任一 NaN 写0，qNaN/sNaN 均置 NV；+0/-0 相等，inactive 不置 NV。
32 位 OP-V：opcode=1010111、funct6=011011、funct3=001。[, v0.t] 可选：省略为 vm=1，给出为 vm=0。
mask 目标可为 v0；与数据源不同 EEW 的重叠须从源组最低寄存器开始，并强制 ma/ta。masked 数据源不可为 v0。两个同名源必须提供相同初始位模式。
需 V 1.0、合法 vtype、VS 已启用与受支持 SEW，以及 FS 已启用、受支持浮点格式、有效 frm（即使比较不舍入）。body 为 vstart≤i<vl；prestart 不更新，inactive 按 vma，mask tail 始终 agnostic。vl=0 或 vstart≥vl 不更新任何目标（含 tail）。动画固定 m1、VLEN=4096、vstart=0；步骤不是处理器周期。
V向量浮点运算比较
相关检索词
VMFLT.VV 指令RISC-V VMFLT.VVvmflt.vv 语法vmflt.vv 编码RVV 浮点比较vmflt.vv NaNvmflt.vv v0.t

指令行为说明

VMFLT.VV 是 RISC-V V 扩展的向量浮点比较指令。它在 vl 范围内对活动元素计算 vs2[i] 小于同 lane 的 vs1[i]，并把每个布尔结果写入目标掩码寄存器 vd 的对应位。vm=0 时 v0.t 选择活动元素，vm=1 表示不使用执行掩码；NaN、invalid 异常标志和 tail-agnostic 结果规则遵循官方 RVV 浮点比较语义。

VMFLT.VV 指令解析与执行动画

从 OP-V 编码解码到逐元素浮点比较：每个活动元素计算 vs2[i] < vs1[i]，并把布尔结果写入目标掩码位。

输入的指令
vmflt.vv
执行环境
LMULm1本动画固定的寄存器组倍数
VLEN4096固定向量寄存器长度（bits）
VLMAX128m1 下的最大元素数
vstart0本动画不展示 prestart 元素
frmRNE本指令不按 frm 舍入
FP stateFS enabledFS=Off 会触发非法指令；本动画固定展示 FS 已启用的架构路径
vta/vmata, ma尾部/非活动元素策略
opcode1010111OP-V 主操作码
编码字段
0x6c861257
31..26
25
24..20
19..15
14..12
11..7
6..0
011011
funct6
0
vm
01000
vs2
01100
vs1
001
funct3
00100
vd
1010111
OP-V
执行数据路径

lane 0: 1 < 0.5 -> mask=0

显示的 lane 与当前步骤高亮同步；其余逐元素结果位于下方。

步骤 1 / 15
读取 OP-V 编码字段

V 扩展浮点指令使用 OP-V 主操作码，字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。

逐元素结果
本次执行不置 NV长向量在模块内部横向滚动，不造成页面溢出。
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

教学环境固定 VLEN=4096、LMUL=m1、vstart=0、合法 vtype、VS/FS 已启用、有效 frm=RNE 与 ta/ma，支持所选 binary32/64。两个向量源同宽；同名源必须提供相同初始位模式。vd 是单寄存器 mask，可为 v0，也可与数据源同起点重叠；不同 EEW 的合法重叠强制 mask/tail agnostic。masked 数据源不可为 v0，因为不能同时读取 EEW=1 掩码与 SEW 数据。非活动位不显示确定值，mask tail 始终 agnostic；VL=0 不更新任何目标位。NV 只表示本次执行是否置 invalid，不清除旧 fflags。比较不按 frm 舍入，但无效 frm 使用仍保留。步骤不是处理器周期。

SEW=32 / binary32 示例接受有限数值或完整 IEEE 十六进制位模式，因此可检查 qNaN/sNaN。活动元素写入目标掩码位 0/1，并在需要时显示本次执行的 fflags.NV。官方规则中，VMFEQ/VMFNE 仅在 signaling NaN 输入时置 invalid；VMFLT/VMFLE/VMFGT/VMFGE 对 signaling 或 quiet NaN 都置 invalid；除 VMFNE 遇 NaN 写 1 外，其它比较遇 NaN 写 0。

快速理解与检索要点

VMFLT.VV 的核心是从 OP-V 编码解码出 vv 形式，对活动元素计算 vs2[i] 小于同 lane 的 vs1[i]，并把 true/false 写成目标 mask 位。

OP-V 编码中 funct6=011011、funct3=001 选择 VMFLT.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。
body 为 vstart≤i<vl；inactive 按 vma，mask tail 始终 agnostic。vl=0 或 vstart≥vl 不更新任何目标位。
需合法 vtype、VS/FS 已启用、受支持浮点格式和有效 frm；比较不舍入，但无效 frm 使用保留。
The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Version 20260120, Chapter 31

向量执行上下文

活动元素计算 vs2[i] < vs1[i]，写单个 mask 寄存器的 bit i。任一 NaN 写0，qNaN/sNaN 均置 NV；+0/-0 相等，inactive 不置 NV。

32 位 OP-V：opcode=1010111、funct6=011011、funct3=001。[, v0.t] 可选：省略为 vm=1，给出为 vm=0。

mask 目标可为 v0；与数据源不同 EEW 的重叠须从源组最低寄存器开始，并强制 ma/ta。masked 数据源不可为 v0。两个同名源必须提供相同初始位模式。

需 V 1.0、合法 vtype、VS 已启用与受支持 SEW，以及 FS 已启用、受支持浮点格式、有效 frm（即使比较不舍入）。body 为 vstart≤i<vl；prestart 不更新，inactive 按 vma，mask tail 始终 agnostic。vl=0 或 vstart≥vl 不更新任何目标（含 tail）。动画固定 m1、VLEN=4096、vstart=0；步骤不是处理器周期。

The RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture — Version 20260120, Chapter 31

常见使用场景

生成谓词掩码

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0、ta/ma，源已初始化；FS 已启用、frm=RNE，未掩码；v2=[1.5,-0,2,1.5], v4=[1.5,0,1.5,1.5] → v1.mask[0..3]=[0,0,0,0]。本次不置 NV，不清除旧 fflags；mask tail 始终 agnostic。

浮点条件判断

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0、ta/ma，源已初始化；FS 已启用、frm=RNE，未掩码；v2=[1.5,-0,2,1.5], v4=[1.5,0,1.5,1.5] → v1.mask[0..3]=[0,0,0,0]。本次不置 NV，不清除旧 fflags；mask tail 始终 agnostic。

向量化条件执行

假定 RV32/RV64 V 1.0、VS 已启用、合法 e32,m1、VLEN≥128、vl=4、vstart=0、ta/ma，源已初始化；FS 已启用、frm=RNE，未掩码；v2=[1.5,-0,2,1.5], v4=[1.5,0,1.5,1.5] → v1.mask[0..3]=[0,0,0,0]。本次不置 NV，不清除旧 fflags；mask tail 始终 agnostic。

使用前检查清单

语法检查
  • 活动元素计算 vs2[i] < vs1[i]，写单个 mask 寄存器的 bit i。任一 NaN 写0，qNaN/sNaN 均置 NV；+0/-0 相等，inactive 不置 NV。
  • 32 位 OP-V：opcode=1010111、funct6=011011、funct3=001。[, v0.t] 可选：省略为 vm=1，给出为 vm=0。
语义检查
  • mask 目标可为 v0；与数据源不同 EEW 的重叠须从源组最低寄存器开始，并强制 ma/ta。masked 数据源不可为 v0。两个同名源必须提供相同初始位模式。
  • 需 V 1.0、合法 vtype、VS 已启用与受支持 SEW，以及 FS 已启用、受支持浮点格式、有效 frm（即使比较不舍入）。body 为 vstart≤i<vl；prestart 不更新，inactive 按 vma，mask tail 始终 agnostic。vl=0 或 vstart≥vl 不更新任何目标（含 tail）。动画固定 m1、VLEN=4096、vstart=0；步骤不是处理器周期。

容易混淆 / 常见误区

结果写入掩码寄存器布局，每个元素一位；它不是 0/-1 或 0/1 的普通整数向量。
比较类指令的目标是 mask，tail 元素按 tail-agnostic 处理；不要按普通浮点结果解释尾部位。
vm=0 时使用 v0.t 作为执行掩码；比较指令允许目标掩码 vd 与 v0 源掩码重叠。
VMFLT.VV 的第二源是同 lane 的向量元素 vs1[i]；它没有标量 rs1 或 f[rs1] 操作数。
NaN 与 invalid 标志按官方 RVV 浮点比较规则处理，不能套用整数比较或 JavaScript 比较语义。

常见问题

VMFLT.VV 写入普通向量元素吗？

不写。VMFLT.VV 写目标掩码 vd，每个活动元素产生一个布尔位。

VMFLT.VV 可以在 vm=0 时写 v0 吗？

可以。官方 V 规范允许生成 mask 的比较指令目标与源 mask v0 重叠，这一点不同于普通 masked vector 指令。

VMFLT.VV 的 NaN 比较结果是什么？

仅活动比较处理 NaN：VMFLT 遇任一 NaN 写0，qNaN 或 sNaN 均置 NV。