首页/指令库/FCVT.Q.S
FCVT.Q.S

RISC-V FCVT.Q.S 指令详解

指令手册R-type

单精度浮点精确加宽至四精度;rm 字段仍按通常规则解码。

指令语法

fcvt.q.s rd, rs1[, rm]

rd 是浮点 f0–f31,f0 可写;rs1 是浮点 f0–f31。rs2 是源类型选择器,无立即数。

32 位 OP-FP:funct5=01000,fmt=11(目标 Q),rs2=00000,opcode=1010011。

RV32/RV64 Q;Q 依赖 D,D 依赖 F;所需扩展和浮点状态须启用。有限源转换精确,合法 rm 不改变数值。

rm 是可选汇编操作数,省略默认 dyn 使用 frm;软件应选择 rne(000)。静态 rm=101/110 和动态 frm=101–111 的行为保留,不能因转换精确而忽略。

S 源的高 96 位须全为 1;无效 NaN-boxing 按 S canonical NaN 处理。rd 可与 rs1 重叠,读取原源值后写回 Q 结果。

Q 结果占 FLEN=128 全宽;异常累积到 fflags,精确有限示例不设置新标志,也不清除已有标志。步骤是教学视图。

Q浮点转换

指令行为说明

fcvt.q.s 将浮点寄存器 rs1 中的单精度值转换为四精度结果,写入浮点寄存器 rd。有限值加宽精确,但 rm 字段仍存在;软件应选择 RNE(000),合法与保留编码仍按通常规则处理。

FCVT.Q.S 指令解析与执行动画

展示 Q 扩展 FCVT 的 ISA 可见流程:解析 OP-FP 编码、fmt/rs2 转换选择、rm 舍入字段,读取浮点源并写回浮点目标。

rd
rs1
rm
fcvt.q.s
,
,

rm 可留空,按汇编默认 dyn(111);DYN 示例固定 frm=RNE。仅接受小写 rne/rtz/rdn/rup/rmm/dyn。

执行环境
fmt=Q (11)
rs2=S
舍入: RNE 最近偶数
fflags: 0

假定所需扩展与浮点状态已启用,源值满足适用的 NaN-boxing,初始 fflags=0。结果为当前输入的计算预览;Writeback 步表示提交。

31..27
26..25
24..20
19..15
14..12
11..7
6..0
01000
FCVT.Q
11
fmt=Q
00000
rs2=S
01011
rs1
000
rm
01010
rd
1010011
OP-FP
执行数据路径
instruction
0x46058553
opcode
1010011 -> OP-FP
funct5/fmt
01000 + 11 -> FCVT.Q.S
rs2
00000 -> S source
rm
000 -> RNE 最近偶数
rd/rs1
fa0(f10) / fa1(f11)
read
fa1(f11) = S 1.5 (0x3FC00000)
convert
S 1.5 -> Q 1.5
write
fa0(f10) = Q 1.5 (numeric Q); 0
当前步骤

Fetch:展示 32-bit OP-FP 编码

机器码按 R-type OP-FP 字段切分;FCVT 使用 opcode 1010011。

encoding: 0x46058553
syntax : fcvt.q.s fa0(f10), fa1(f11), rne
result : fa0(f10) = Q 1.5 (numeric Q); 0

S 到 Q 是浮点加宽转换;当前有限示例可精确表示,数值结果不需要 rm 舍入,示例 fflags 保持 0。

FCVT 转换视图
S FP source
S 1.5 (0x3FC00000)
conversion
S 1.5 -> Q 1.5
writeback
fa0(f10) = Q 1.5 (numeric Q)

S 到 Q 是浮点加宽转换;当前有限示例可精确表示,数值结果不需要 rm 舍入,示例 fflags 保持 0。

该动画只展示 RISC-V Q 扩展 FCVT 的 ISA 可见编码、源/目标寄存器方向、舍入字段与示例 fflags;不模拟具体 FPU 流水线、异常处理机制、NaN payload 或微架构实现。

快速理解与检索要点

fcvt.q.s 将浮点寄存器 rs1 中的单精度值转换为四精度结果,写入浮点寄存器 rd。有限值加宽精确,但 rm 字段仍存在;软件应选择 RNE(000),合法与保留编码仍按通常规则处理。

32 位 OP-FP:funct5=01000,fmt=11,rs2=00000,opcode=1010011;无立即数。
rd 是浮点 f0–f31;rs1 是浮点 f0–f31。
RV32/RV64 Q;Q 依赖 D,D 依赖 F。所需扩展与浮点状态须启用。
有限源值转换精确,合法 rm 不改变数值;rm 可省略,默认 dyn 使用 frm。软件应选择 rne(000);静态 101/110 和动态 frm=101–111 的行为保留。
FLEN=128 时,S 源的高 96 位须全为 1;装箱不合法时按 S 格式 canonical NaN 处理。Q 结果占满目标浮点寄存器。
异常标志累积到 fflags;精确有限示例不设置新的标志,已有标志不会因本指令被清除。

常见使用场景

浮点格式转换

结合 «# f1 contains a correctly NaN-boxed S value 1.5; initial fflags = 0 fcvt.q.s f0, f1, rne # f0 = Q value 1.5 exactly; fflags = 0» 等实际代码理解该场景。

使用前检查清单

语法检查
  • rd 是浮点 f0–f31,f0 可写;rs1 是浮点 f0–f31。rs2 是源类型选择器,无立即数。
  • 32 位 OP-FP:funct5=01000,fmt=11(目标 Q),rs2=00000,opcode=1010011。
语义检查
  • RV32/RV64 Q;Q 依赖 D,D 依赖 F;所需扩展和浮点状态须启用。有限源转换精确,合法 rm 不改变数值。
  • rm 是可选汇编操作数,省略默认 dyn 使用 frm;软件应选择 rne(000)。静态 rm=101/110 和动态 frm=101–111 的行为保留,不能因转换精确而忽略。
  • S 源的高 96 位须全为 1;无效 NaN-boxing 按 S canonical NaN 处理。rd 可与 rs1 重叠,读取原源值后写回 Q 结果。
  • Q 结果占 FLEN=128 全宽;异常累积到 fflags,精确有限示例不设置新标志,也不清除已有标志。步骤是教学视图。

容易混淆 / 常见误区

rs2=00000 是源 S 格式选择器,不是第二个源寄存器;fmt=11 选择目标 Q。
rm 可省略,汇编默认 dyn 使用 frm;精确加宽不免除合法与保留 rm 的解码规则。
FLEN=128 时,S 源的高 96 位须全为 1;装箱不合法时按 S 格式 canonical NaN 处理。Q 结果占满目标浮点寄存器。
动画仅接受列出的有限精确值并假定源已正确 NaN-boxed;不模拟 NaN、无穷和 payload 路径。

常见问题

fcvt.q.s 的 rs2 是源寄存器吗?

不是。rs2=00000 选择源 S 格式;汇编操作数为 rd、rs1 和可选的 rm。

fcvt.q.s 什么时候使用 rm?

有限加宽精确,合法舍入模式不改变数值。rm 字段仍存在,软件应选择 rne;省略时默认 dyn,使用 frm;保留编码的行为仍是保留的。

fcvt.q.s 和整数 FCVT 有什么区别?

本页形式的 rd 和 rs1 都是浮点寄存器;W/WU/L/LU 形式才在整数寄存器和浮点寄存器之间转换。