c语言 饱和加法,c – 64位整数的有符号饱和加法？

我正在寻找一些用于签名饱和64位加法的C代码,它使用

gcc优化器编译为高效的X86-64代码.便携式代码是理想的,尽管如果需要可以使用asm解决方案.

static const int64 kint64max = 0x7fffffffffffffffll;

static const int64 kint64min = 0x8000000000000000ll;

int64 signed_saturated_add(int64 x, int64 y) {

bool x_is_negative = (x & kint64min) != 0;

bool y_is_negative = (y & kint64min) != 0;

int64 sum = x+y;

bool sum_is_negative = (sum & kint64min) != 0;

if (x_is_negative != y_is_negative) return sum; // can't overflow

if (x_is_negative && !sum_is_negative) return kint64min;

if (!x_is_negative && sum_is_negative) return kint64max;

return sum;

}

写入的函数产生一个相当冗长的汇编输出,有几个分支.有关优化的提示吗？看起来它应该只用一个带有一些CMOV指令的ADD就可以实现,但我对这些东西有点生疏.