浮点运算：应先舍入再规范化还是先规范化再舍入？

浮点加法中舍入与规范化的工程实现方案 #

实际工业界的浮点加法处理流程已经非常成熟，你遇到的矛盾点属于常规边界场景，处理逻辑明确：

• 「舍入前必须先做规范化」的判断是完全正确的：只有先把相加后的尾数对齐到最高有效位的标准位置，才能准确区分有效位、守卫位（Guard）、舍入位（Round）、粘滞位（Sticky），保证舍入判断的准确性。这一步规范化需要保留所有运算过程中产生的低位信息，不能提前截断尾数。
• 舍入后出现尾数全1进位的场景，不需要重新执行完整的规范化流程，只需要做单步调整即可：检测到舍入后的尾数整数部分为2（二进制对应10.xxxx），直接将尾数右移1位、指数加1就完成修正。这个场景下移出的位都是0，不会造成精度损失，完全符合IEEE 754的精度要求。

浮点数实现的权威参考说明 #

IEEE 754标准本身只规定运算的结果约束、异常定义、舍入规则这些顶层要求，确实不会限定具体实现步骤，你可以参考这些公认的权威资料确定实现逻辑：

• 经典计算机体系结构教材《计算机组成与设计：硬件/软件接口》、《计算机体系结构：量化研究方法》中的浮点运算章节，给出了完整的、经过全行业验证的浮点加减乘除实现步骤，覆盖了所有边界场景的处理规则。
• 你当前使用的Berkeley SoftFloat本身就是IEEE 754的官方参考实现，可以直接阅读其加法函数的源码逻辑，它对舍入后溢出的处理就是上述的单步调整逻辑。
• x86、ARM等主流架构的程序员手册中也公开了浮点运算单元的运算流程，可作为补充验证依据。

如果目前测试用例通过率低，大概率是没有预留足够的GRS位或者舍入后调整逻辑缺失，可以对照SoftFloat的实现逐步核对运算过程的位信息，很容易定位问题。

内容的提问来源于stack exchange，提问作者Willis Blackburn