对于补码加法的理解（csapp）

1.分析

类似于十进制加法，对于两个w位的二进制位模式相加，可以得到另一个位模式（可能为w位，也可为w+1位）

两个数的w位补码之和与无符号之和有相同的位级表示（二进制的加法运算是相同的，补码加法和无符号加法对溢出的处理也是相同的——截断，只是对二进制结果的解释不同）

例如：1011 1101 （补码：-5 -3 无符号：11 13）
  1011
+ 1101
--------
 11000
截断为4位：1000（补码：-8 无符号：8）

所以我们可以在无符号加法的基础上得到补码加法，即对于两个有符号数的加法，可以先使用$T2U_w$转换位无符号数，使用${+}_w^u$，得到无符号数的结果，再使用$U2T_w$转换成有符号数，这样就得到了补码加法的结果

2.公式推导

对于两个w位的有符号数x、y，$-2^{w-1}\le x+y\le 2^{w-1}-1$，$-2^w\le x+y\le 2^w-2$，有$2^{w+1}-1$个数，故需要$w+1$位进行表示，对于补码加法一般是直接将x+y的结果截断位w位表示，则有
$$\begin{array}{rl}& x{+}_w^{t}y=U2T_w\left[\left(T2U_w(x)+T2U_w(y)\right)mod{2}^w\right]（补码截断为w位的公式）\\ & =U2T_w\left[\left(x_{w-1}{2}^w+x+y_{w-1}{2}^w+y\right)mod{2}^w\right]（补码转无符号公式）\\ & =U2T_w\left[\left(x+y\right)mod{2}^w\right]\\ & \end{array}$$

• 对于无符号数加法来说，如果$x+y$没有溢出，则$x{+}_w^{u}y=x+y$，不需要进行处理，因为无符号没有溢出，相当于第$w+1$位为0，截断第$w+1$位对于没有溢出的无符号加法的结果并没有影响；但是对于补码加法来说，$x+y$没有溢出，$x{+}_w^t\ne x+y$，因为$x+y$没有溢出，不等于第$w+1$位为0，所以截断第$w+1$位，无论有没有溢出都有影响，因此需要分情况进行讨论：
• $-2^w\le x+y<-2^{w-1}$：
  • $(x+y)mod{2}^w=x+y+2^w$（对于负数，w+1位为1，截断为$w$位表示，即$+2^w$），所以$0\le (x+y)mod{2}^w<2^{w-1}$，
  • $(x+y)mod{2}^w$的结果为无符号数，所以需要使用$U2T_w$转换为有符号数，
  • 又因为$(x+y)mod{2}^w\le TMa{x}_w=2^{w-1}-1$，所以$U2T_w[(x+y)mod{2}^w]=x+y+2^w$，即$x{+}_w^{t}y=x+y+2^w$
• $-2^{w-1}\le x+y<0$：
  • $(x+y)mod{2}^w=x+y+2^w$（对于负数，w+1位为1，截断为$w$位表示，即$+2^w$），所以$2^{w-1}\le (x+y)mod{2}^w<2^w$，
  • $(x+y)mod{2}^w$的结果为无符号数，所以需要使用$U2T_w$转换为有符号数，
  • 又因为$(x+y)mod{2}^w>TMa{x}_w=2^{w-1}-1$，所以$U2T_w[(x+y)mod{2}^w]=x+y+2^w-2^w$，即$x{+}_w^{t}y=x+y$
• $0\le x+y<2^{w-1}$：
  • $(x+y)mod{2}^w=x+y$（对于正数，w+1位为0，截断为$w$位表示，没有影响），所以$0\le (x+y)mod{2}^w<2^{w-1}$，
  • $(x+y)mod{2}^w$的结果为无符号数，所以需要使用$U2T_w$转换为有符号数，
  • 又因为$(x+y)mod{2}^w\le TMa{x}_w=2^{w-1}-1$，所以$U2T_w[(x+y)mod{2}^w]=x+y$，即$x{+}_w^{t}y=x+y$
• $2^{w-1}\le x+y<2^w$：
  • $(x+y)mod{2}^w=x+y$（对于正数，w+1位为0，截断为$w$位表示，没有影响），所以$2^{w-1}\le (x+y)mod{2}^w<2^w$，
  • $(x+y)mod{2}^w$的结果为无符号数，所以需要使用$U2T_w$转换为有符号数，
  • 又因为$(x+y)mod{2}^w>TMa{x}_w=2^{w-1}-1$，所以$U2T_w[(x+y)mod{2}^w]=x+y-2^w$，即$x{+}_w^{t}y=x+y-2^w$