首页/指令库/VFCVT-F-X-V
VFCVT.F.X.V

RISC-V VFCVT.F.X.V 指令详解

指令手册OPFVV

VFCVT.F.X.V 对每个活动元素执行 RVV 单宽有符号整数到浮点转换,结果写入 vd[i]。

指令语法

vfcvt.f.x.v vd, vs2, vm
操作数说明
vd、vs2 为 SEW 位向量寄存器组;同 EEW 源/目标可重叠。VFADD.VV 的 vs1 也是同 SEW 向量源,同名源必须读取相同初值;一元指令的 vs1 编码位是固定选择字段。
要求 V、VS/FS 已启用且 vtype 受支持;V 支持 binary32/64,SEW=16 的这些指令需要 Zvfh,不能仅凭 Zvfhmin。FS=Off 触发非法指令;H 且 V=1 时还须使 vsstatus.FS/VS 已启用。
活动元素满足 vstart≤i<vl 且(vm=1 或 v0[i]=1);省略 v0.t 表示 vm=1。prestart 不修改,inactive/tail 遵循 vma/vta;VL=0 或 vstart≥vl 时目标完全不更新。成功完成后 vstart=0;实现可拒绝其不能产生的非零 vstart。
masked vd 不得重叠 v0;v0 不能同时以 EEW=1 掩码和 SEW 数据源读取。无效 frm 的使用保留,即使不依赖舍入、VL=0 或 vstart≥vl;这不等于规范保证触发非法指令。
使用动态 frm 舍入,仅活动元素的浮点异常累积到 fflags;不使用定点 vxrm。整数转浮点不是位模式搬运,不精确转换设置 NX。
V向量类型转换/扩展浮点

指令行为说明

VFCVT.F.X.V 是 RISC-V V 扩展的单宽浮点/整数转换指令,语法为 vfcvt.f.x.v vd, vs2, vm。它在 vl 范围内对活动元素读取 vs2[i],按当前 SEW 执行有符号整数到浮点转换,并把结果写入 vd[i];vm=0 使用 v0.t 作为执行掩码,vm=1 表示不使用掩码。编码使用 OP-V、funct6=010010、funct3=001,vs1 选择字段为 00011;需要舍入时使用动态 frm。

VFCVT.F.X.V 指令解析与执行动画

从 OP-V 编码解码到 VFUNARY0 单宽类型转换:每个活动元素把 vs2[i] 有符号整数转换为同 SEW浮点值。

输入的指令
vfcvt.f.x.v
执行环境
LMULm1本动画固定的寄存器组倍数
VLEN4096固定向量寄存器长度(bits)
VLMAX128m1 下的最大元素数
vstart0本动画不展示 prestart 元素
frmRNE固定 RNE 的有限教学环境;真实指令使用动态 frm
FP stateFS enabledFS=Off 会触发非法指令;本动画固定展示 FS 已启用的架构路径
vta/vmata, ma尾部/非活动元素策略
opcode1010111OP-V 主操作码
vs100011VFUNARY0 转换选择字段
编码字段
0x48819257
31..26
25
24..20
19..15
14..12
11..7
6..0
010010
funct6
0
vm
01000
vs2
00011
vs1/sel
001
funct3
00100
vd
1010111
OP-V
执行数据路径

lane 0: int_to_float(-8) -> -8

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

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

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

逐元素结果
长向量在模块内部横向滚动,不造成页面溢出。
i=0活动
int_to_float(-8)
-8
i=1活动
int_to_float(-3)
-3
i=2跳过
v0.t=0,不执行
--
i=3活动
int_to_float(0)
0
i=4活动
int_to_float(1)
1
i=5活动
int_to_float(3)
3
i=6跳过
v0.t=0,不执行
--
i=7活动
int_to_float(15)
15
SEW=32 / binary32 示例把 有符号整数元素转换为同 SEW 浮点结果;需要舍入时使用动态 frm,本动画用 RNE 展示。为了避免 JavaScript 精度误导,交互输入限制为可精确检查的小整数样例。

教学环境固定 VLEN=4096、LMUL=m1、vstart=0、VS/FS 已启用、所选 SEW 受支持。输入浮点数先表示为相应 binary32/64。VL=0 时不更新任何目标元素;同宽源/目标可重叠。非活动及尾元素遵循 ma/ta,不显示确定数值。

快速理解与检索要点

VFCVT.F.X.V 的关键是 VFUNARY0 单宽转换:解码 vs1=00011 后,只对活动元素把 vs2[i] 按有符号整数转换为浮点。

OP-V 编码中 funct6=010010、funct3=001 选择向量浮点/整数转换组,vs1=00011 选择 VFCVT.F.X.V。
语法输入只有 vd、vs2 和 vm;VL、SEW、frm、v0.t 和元素值属于执行环境。
本形式为单宽转换,输入和输出都使用当前 SEW。
需要舍入时使用浮点动态舍入模式 frm。
只对 vl 范围内的活动元素执行;vm=0 使用 v0.t,vm=1 不使用执行掩码。
整数到浮点转换按 frm 舍入;结果不同于源整数值且未置 invalid 时设置 inexact。源元素没有 NaN 或无穷。
本页动画演示 SEW=32/64。SEW=16 的这些单宽转换需要 Zvfh;Zvfhmin 单独只增加 binary16 与 binary32 的浮点扩宽/窄化转换。

向量执行上下文

vd、vs2 为 SEW 位向量寄存器组;同 EEW 源/目标可重叠。VFADD.VV 的 vs1 也是同 SEW 向量源,同名源必须读取相同初值;一元指令的 vs1 编码位是固定选择字段。

要求 V、VS/FS 已启用且 vtype 受支持;V 支持 binary32/64,SEW=16 的这些指令需要 Zvfh,不能仅凭 Zvfhmin。FS=Off 触发非法指令;H 且 V=1 时还须使 vsstatus.FS/VS 已启用。

活动元素满足 vstart≤i<vl 且(vm=1 或 v0[i]=1);省略 v0.t 表示 vm=1。prestart 不修改,inactive/tail 遵循 vma/vta;VL=0 或 vstart≥vl 时目标完全不更新。成功完成后 vstart=0;实现可拒绝其不能产生的非零 vstart。

masked vd 不得重叠 v0;v0 不能同时以 EEW=1 掩码和 SEW 数据源读取。无效 frm 的使用保留,即使不依赖舍入、VL=0 或 vstart≥vl;这不等于规范保证触发非法指令。

使用动态 frm 舍入,仅活动元素的浮点异常累积到 fflags;不使用定点 vxrm。整数转浮点不是位模式搬运,不精确转换设置 NX。

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

常见使用场景

整数数据转浮点向量

假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-8,-3,0,15] → v1=[-8,-3,0,15]。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。

混合类型向量计算

假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-8,-3,0,15] → v1=[-8,-3,0,15]。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。

向量化数值准备

假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-8,-3,0,15] → v1=[-8,-3,0,15]。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。

使用前检查清单

语法检查
  • vd、vs2 为 SEW 位向量寄存器组;同 EEW 源/目标可重叠。VFADD.VV 的 vs1 也是同 SEW 向量源,同名源必须读取相同初值;一元指令的 vs1 编码位是固定选择字段。
  • 要求 V、VS/FS 已启用且 vtype 受支持;V 支持 binary32/64,SEW=16 的这些指令需要 Zvfh,不能仅凭 Zvfhmin。FS=Off 触发非法指令;H 且 V=1 时还须使 vsstatus.FS/VS 已启用。
语义检查
  • 活动元素满足 vstart≤i<vl 且(vm=1 或 v0[i]=1);省略 v0.t 表示 vm=1。prestart 不修改,inactive/tail 遵循 vma/vta;VL=0 或 vstart≥vl 时目标完全不更新。成功完成后 vstart=0;实现可拒绝其不能产生的非零 vstart。
  • masked vd 不得重叠 v0;v0 不能同时以 EEW=1 掩码和 SEW 数据源读取。无效 frm 的使用保留,即使不依赖舍入、VL=0 或 vstart≥vl;这不等于规范保证触发非法指令。
  • 使用动态 frm 舍入,仅活动元素的浮点异常累积到 fflags;不使用定点 vxrm。整数转浮点不是位模式搬运,不精确转换设置 NX。

容易混淆 / 常见误区

这是单宽转换,输入和输出都使用当前 SEW;不要把它当作 VFWCVT 扩宽或 VFNCVT 窄化形式。
需要舍入时使用浮点 frm;不要把它和定点舍入模式 vxrm 混淆。
VFCVT.F.X.V 的源元素按有符号整数解释,再转换为浮点;它不是浮点位模式搬运。
vm=0 时 v0.t 只选择活动元素;被掩码关闭的元素不会产生本页动画展示的转换结果。
整数到浮点转换没有 NaN 或无穷源操作数;不精确结果和舍入行为按官方浮点转换规则处理,本页动画只演示小范围、可核验的整数样例。
不要把本页动画的 SEW=32/64 示例误读为完整 SEW=16 半精度模拟;这些 SEW=16 单宽转换需要 Zvfh;Zvfhmin 单独只增加 binary16 与 binary32 的浮点扩宽/窄化转换。

常见问题

VFCVT.F.X.V 是扩宽或窄化转换吗?

不是。VFCVT.F.X.V 属于单宽 VFCVT 形式,输入和输出都使用当前 SEW;扩宽使用 VFWCVT,窄化使用 VFNCVT。

VFCVT.F.X.V 的舍入来源是什么?

需要舍入时使用浮点动态舍入模式 frm;不是定点 vxrm。

VFCVT.F.X.V 如何使用掩码?

vm=0 时只转换 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。非活动元素和尾部元素按当前 vma/vta 策略处理。