csapp2e 家庭作業 2.73

標籤：style   blog   os   sp   2014   log   ad   amp   as   

#include<limits.h>int saturating_add(int x,int y){int sum = x + y;<span style="white-space:pre"></span>int w = sizeof(int) << 3;int x_sign = x >> (w - 1); // 取出x的符號位int y_sign = y >> (w - 1); // 取出y的符號位int sum_sign = sum >> (w - 1);//取出sum的符號位int pos_overflow = x_sign && y_sign && !sum; //判斷正溢int neg_overflow = !x_sign && !y_sign && sum;//判斷負溢int overflow = pos_overflow || neg_overflow;//設定溢出位overflow <<= w - 1;overflow >>= w - 1; //將溢出位設定為全0 或 全 1int result = (sum & ~overflow ) + ((INT_MAX + !pos_overflow) & overflow); //根據是否溢出進行二路選擇  INT_MAX = 0x7fffffff(32位機器） INT_MAX + 1 = 0X80000000 = INT_MINreturn result;}

csapp2e 家庭作業 2.73