VFCVT.RTZ.X.F.V 是扩宽或窄化转换吗?
不是。VFCVT.RTZ.X.F.V 属于单宽 VFCVT 形式,输入和输出都使用当前 SEW;扩宽使用 VFWCVT,窄化使用 VFNCVT。
VFCVT.RTZ.X.F.V 对每个活动元素执行 RVV 单宽浮点到有符号整数转换,结果写入 vd[i]。
VFCVT.RTZ.X.F.V 是 RISC-V V 扩展的单宽浮点/整数转换指令,语法为 vfcvt.rtz.x.f.v vd, vs2, vm。它在 vl 范围内对活动元素读取 vs2[i],按当前 SEW 执行浮点到有符号整数转换,并把结果写入 vd[i];vm=0 使用 v0.t 作为执行掩码,vm=1 表示不使用掩码。编码使用 OP-V、funct6=010010、funct3=001,vs1 选择字段为 00111;舍入固定向零,而非由 frm 选择,但 frm 仍必须是有效值。
从 OP-V 编码解码到 VFUNARY0 单宽类型转换:每个活动元素把 vs2[i] 浮点值转换为有符号整数。
lane 0: trunc_signed(-3.75) -> -3
显示的 lane 与当前步骤高亮同步;其余逐元素结果位于下方。
V 扩展浮点指令使用 OP-V 主操作码,字段包含 funct6、源寄存器、vm、funct3、vd 和 opcode。
教学环境固定 VLEN=4096、LMUL=m1、vstart=0、VS/FS 已启用、所选 SEW 受支持。输入浮点数先表示为相应 binary32/64。VL=0 时不更新任何目标元素;同宽源/目标可重叠。非活动及尾元素遵循 ma/ta,不显示确定数值。
VFCVT.RTZ.X.F.V 的关键是 VFUNARY0 单宽转换:解码 vs1=00111 后,只对活动元素把 vs2[i] 按浮点值转换为有符号整数。
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;这不等于规范保证触发非法指令。
结果固定向零舍入。舍入值超出目标有符号整数范围时裁剪并置 NV;+∞/NaN 得最大有符号值,-∞ 得最小值。结果与源值不同且未置 NV 时置 NX。动画只接受有限且舍入后落在演示范围内的输入。
假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-3.75,-0.25,1.5,3.75] → v1=[-3,0,1,3] (NX)。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。
假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-3.75,-0.25,1.5,3.75] → v1=[-3,0,1,3] (NX)。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。
假定 V/VS/FS 已启用、frm=RNE、vstart=0、e32,m1 可用、VLMAX≥4 且 a0=4;示例未掩码,全部四个 body 元素执行。初值和结果:v2=[-3.75,-0.25,1.5,3.75] → v1=[-3,0,1,3] (NX)。转换结果按目标整数/浮点类型解释;尾元素按 ta 处理,不假定清零。
不是。VFCVT.RTZ.X.F.V 属于单宽 VFCVT 形式,输入和输出都使用当前 SEW;扩宽使用 VFWCVT,窄化使用 VFNCVT。
RTZ 形式固定向零舍入,不由 frm 选择舍入方向;但 frm 仍必须为有效值。
vm=0 时只转换 v0.t 为 1 的活动元素;vm=1 表示不使用执行掩码。非活动元素和尾部元素按当前 vma/vta 策略处理。