RISC-V FCVT.W.D RTL实现异常：输入0xC1E0000000000000返回值不符排查

问题描述 #

调试RISC-V FCVT.W.D（IEEE 754双精度转32位有符号整数）指令的RTL实现时，发现行为与参考模型Spike不一致：输入双精度浮点值0xC1E0000000000000（负次正规数，数值极小），Spike返回0x80000000，但RTL输出0x00000000。

观测结果 #

模型行为 #

Spike遵循IEEE 754标准，将该输入转换为饱和整数结果0x80000000，此为边界情况而非溢出条件。

RTL行为 #

RTL内部生成两个结果，但最终选择了错误的输出：

• int_result：生成0x00000000，被选为最终输出
• special_int_result：生成0x80000000，符合标准的正确结果，但未被后端逻辑选中

控制特殊结果选择的RTL代码片段：

assign int_result_is_special = info_q.is_nan | info_q.is_inf |
                               of_before_round | ~info_q.is_boxed |
                               (input_sign_q & op_mod_q2 & ~rounded_int_res_zero);

IEEE 754标准说明 #

对于浮点转有符号整数的操作，IEEE 754标准规定：

1. 当输入浮点值的绝对值大于目标有符号整数类型的最大值（如32位有符号的0x7FFFFFFF），或小于最小值（0x80000000）时，应饱和到对应边界值；
2. 对于负的次正规数，若其数值经舍入后恰好等于目标类型的最小有符号整数（0x80000000），需触发饱和逻辑，而非输出零；
3. 此类情况属于边界饱和，不属于溢出异常范畴，无需抛出溢出标志。

对齐见解 #

问题根源在于RTL的int_result_is_special信号未正确识别该负次正规数的边界饱和场景：当前逻辑未覆盖“负次正规数舍入后等于最小有符号整数”的情况，导致special_int_result未被选中，错误输出了int_result的零值。

RTL逻辑改进建议 #

1. 检查rounded_int_res_zero信号的正确性：确认该信号在输入为目标边界值时是否被错误置1，导致最后一个条件(input_sign_q & op_mod_q2 & ~rounded_int_res_zero)不成立；
2. 补充边界饱和检测条件：在int_result_is_special中添加针对负次正规数的判断，例如当输入为负、是次正规数，且舍入结果等于0x80000000时，触发特殊结果选择；
3. 验证所有边界场景：覆盖以下测试用例确保逻辑健壮性：
   • 正/负次正规数靠近整数边界的情况
   • 刚好等于0x80000000和0x7FFFFFFF的浮点值
   • 接近边界的非正规数与正规数

内容的提问来源于stack exchange，提问作者Muhammad Sufyan Ahmed