整数运算 Z = X + Y 的溢出标志 OF 条件表达式

对整数运算 Z = X + Y，设置条件码 OF 的表达式为：

OF = (((x >> 31) & 1) == ((y >> 31) & 1)) && (((z >> 31) & 1) != ((x >> 31) & 1))

该表达式利用了以下逻辑：

• 首先，使用 (x >> 31) & 1 获取 X 的符号位，如果 X 为负数，则符号位为 1，否则为 0。
• 同理，获取 Y 和 Z 的符号位。
• 当 X 和 Y 的符号位相同，而 Z 的符号位与它们不同时，说明发生了溢出。

例如，当 X = 2147483647 (最大正整数)，Y = 1 时，Z = -2147483648 (最小负整数)，根据上述表达式，OF 为 1，表示发生了溢出。

使用该表达式，可以准确地判断整数加法运算是否发生溢出，对于确保程序正确性和稳定性至关重要。