十进制转二进制浮点数：用舍入还是截断？含RISC FPU相关疑问

1. 首次生成二进制浮点数时是否使用舍入位、保护位和粘滞位？ #

当然会用，不是只做截断。当把十进制数（或其他非浮点数格式）转成二进制浮点数时，如果原数无法被目标浮点格式的尾数精确容纳，FPU就会借助舍入位、保护位和粘滞位来执行IEEE 754标准的舍入操作——这和RISC架构中算术运算归一化时的舍入逻辑是一致的，目的是保证精度和运算一致性，不会简单截断尾数。

2. 处理小数输入时，FPU怎么确定停止查找粘滞位的时机？ #

粘滞位只需要标记“尾数截断后是否存在非零位”，不需要记录具体位数或数值。FPU处理小数输入时会持续生成二进制位，直到两种情况之一出现：

• 生成完尾数位+保护位+舍入位后，后续所有位都是0，直接将粘滞位置0，停止处理；
• 生成到尾数位+保护位+舍入位之后，只要碰到第一个非零位，立刻将粘滞位置1，无需继续生成后续位——反正已经能确定截断后存在非零位，粘滞位的状态已明确。

3. 半精度浮点数转换2775.0的实际结果是舍入还是截断？ #

先拆解2775的二进制：2775 = 101011010111_2，共11位有效二进制数。半精度浮点数的尾数部分为10位（隐含最高位的1），因此需要对第11位及之后的部分做舍入判断：

• 原数归一化后为 1.01011010111 × 2^11，尾数的前10位是0101101011，第11位（保护位）是1，后续无更多位（粘滞位为0）；
• 按照默认的“就近舍入到偶数”规则，当前尾数最后一位是1，保护位为1，满足舍入进位条件，进位后尾数变为0101101100；
• 最终对应的数值是 1.0101101100 × 2^11 = 2776.0，所以实际采用舍入方式，结果为2776.0，而非截断得到的2774.0。

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