if ( expA == 0x7FF ) { if ( sigA ) goto propagateNaN; if ( expB == 0x7FF ) { if ( sigB ) goto propagateNaN; goto invalid; } goto infinity; } if ( expB == 0x7FF ) { if ( sigB ) goto propagateNaN; goto zero; }

这段代码中使用了 IEEE 754 标准来处理双精度浮点数的异常情况。其中，expA 和 expB 表示两个浮点数的指数部分，sigA 和 sigB 表示两个浮点数的尾数部分。下面是这段代码的具体处理方式：

1. 如果 expA 和 expB 都等于 0x7FF，表示两个浮点数都是 NaN。如果 sigA 和 sigB 都为 0，表示两个浮点数是同一个 NaN，直接进行 NaN 传递；如果 sigA 和 sigB 中有一个不为 0，表示两个浮点数不同，需要抛出无效操作异常（propagateNaN）。

2. 如果只有 expA 等于 0x7FF，表示第一个浮点数是无穷大或 NaN，需要进行特判处理。如果 sigA 不为 0，表示第一个浮点数是 NaN，需要进行 NaN 传递；如果 sigA 为 0，表示第一个浮点数是无穷大，需要根据第二个浮点数的符号位来判断结果是正无穷大还是负无穷大。

3. 如果只有 expB 等于 0x7FF，表示第二个浮点数是无穷大或 NaN，需要进行特判处理。如果 sigB 不为 0，表示第二个浮点数是 NaN，需要进行 NaN 传递；如果 sigB 为 0，表示第二个浮点数是无穷大，需要根据第一个浮点数的符号位来判断结果是正无穷大还是负无穷大。

4. 如果两个浮点数都不是无穷大或 NaN，继续进行计算。

5. 如果最终结果为 NaN，需要进行 NaN 传递。

6. 如果最终结果为无穷大，需要根据符号位来判断结果是正无穷大还是负无穷大。

7. 如果最终结果为 0，需要根据符号位来判断结果是正 0 还是负 0。

8. 如果除数为 0，需要抛出除以零异常（invalid）。

总之，这段代码主要的作用是对双精度浮点数进行异常情况的处理，确保计算结果的正确性和有效性。