IEEE 754舍入到最近偶数逻辑困惑：16位加法器测试异常求助

核心问题：平局判断与GSR的实际价值对应 #

你对“舍入到最近偶数”的平局定义理解有误，同时第一个测试用例的移位加减后未修剪尾数可能存在误差，导致判断错误。

1. 正确的平局定义 #

IEEE 754中，“平局”的严格定义是：待舍入的值恰好等于两个相邻可表示浮点数的中点。对于16位半精度浮点数（10位尾数），ulp（最后位置单位）为2^(指数-10)，半ulp为2^(指数-11)。只有当尾数超出保留部分的总价值恰好等于半ulp时，才触发“偶入”规则：

• 若保留尾数的最低位为0，直接截断超出部分
• 若保留尾数的最低位为1，进位使最低位变为0（偶数）

2. 第一个测试用例错误分析 #

你的输入0x594E（实际值169.75） + 0xAC01（实际值-0.0625078125）的真实结果是169.6874921875，这个值并非恰好落在两个可表示值的中点：

• 相邻可表示值为0x594D（169.625）和0x594E（169.75）
• 169.6874921875与169.625的差值为0.0624921875，与169.75的差值为0.0625078125，显然更接近169.625，因此舍入到0x594D是正确的（与测试平台结果一致）。

你认为GSR=100属于平局，但这是错误的——你的未修剪尾数没有准确反映真实计算结果，实际超出部分的总价值略小于半ulp，不属于平局，直接截断即可得到0x594D。

3. 第二个测试用例正确的原因 #

第二个测试用例中，-10670 + 2554 = -8116，这个值恰好是半精度相邻可表示值0xEFED（-8112）和0xEFEE（-8120）的中点。此时GSR=100对应的超出部分价值正好等于半ulp，触发偶入规则：保留尾数的最低位为1，进位后变为偶数，得到正确结果0xEFEE。

4. 修正建议 #

• 重新验证移位加减逻辑：确保对齐、加减操作后的未修剪尾数准确反映真实计算结果
• 明确GSR的价值对应：G是保留尾数的下一位（权值2^(指数-11)），R是下下位（权值2^(指数-12)），S是剩余所有位的或。只有当G=1且R+S的总价值为0时，才是真正的平局
• 偶入规则仅在平局时触发：非平局场景直接舍入到最近的可表示值即可

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