论述：定点小数的截断与扩充

论述：定点小数的截断与扩充

更新历史
20190405：

1. 首次发布

使用定点小数，可以将小数的存储和运算，转化为整数的存储和运算。定点小数的运算，需要小心地处理位宽问题。除此以外，在硬件计算中，还经常会遇到需要对定点小数进行截断与扩充的情况。

接下来，本文将以十进制下非负定点小数为例，让读者明白为什么要对定点小数进行截断与扩充，然后讲解二进制下无符号和有符号定点小数的截断与扩充。

十进制下非负定点小数的截断与扩充

假定在十进制下用非负定点小数做如下的运算：

• $A_{定}$ = 055, 1位整数部分 + 2 位小数部分，对应的实际小数为0.55
• $B_{定}$ = 010300, 2位整数部分 + 4 位小数部分，对应的实际小数为1.03
• $C_{定}$=($A_{定}+B_{定}$)=?

嗯，这就尴尬了，位宽没对齐，没法直接做加法。不过别急，解决方案有两个。

方案1：

不对$A_{定}$进行处理，而是对$B_{定}$进行截断：

• $B_{定}$的整数部分比$A_{定}$多了1位，那么就将$B_{定}$整数部分的高位去掉1位，由"01"变成"1"
• $B_{定}$的小数部分比$A_{定}$多了2位，那么就将$B_{定}$小数部分的低位去掉2位，由"0300"变成"03"

于是，截断后得到：

• $B_{定,截断}$=103，1位整数部分 + 2 位小数部分

此时，$B_{定,截断}$的位宽和$A_{定}$是对齐的，两者就能做加法运算了，并且：虽然对$B_{定}$做了位宽截断，但是计算结果该是什么值仍然是什么值。

方案2：

不对$B_{定}$进行处理，而是对$A_{定}$进行扩充：

• $A_{定}$的整数部分比$B_{定}$少了1位，那么就将$A_{定}$整数部分的高位扩充1位，由"0"变成"00"
• $A_{定}$的小数部分比$B_{定}$少了2位，那么就将$A_{定}$小数部分的低位扩充2位，由"55"变成"5500"

于是，扩充后得到：

• $A_{定,扩充}$=005500，2位整数部分 + 4 位小数部分

此时，$A_{定,扩充}$的位宽和$B_{定}$是对齐的，两者就能做加法运算了，并且：虽然对$A_{定}$做了位宽扩充，但是计算结果该是什么值仍然是什么值。

通过上面的两个解决方案，我们可以看到：

• 可以对定点小数进行适当的位宽截断与扩充来满足计算过程中的位宽需求，而不对计算结果造成影响

二进制下定点小数的截断与扩充

对于二进制下无符号定点小数的截断与扩充，其规律和十进制下非负定点小数相同：

• 截断：整数部分从最高位开始去掉若干位，小数部分从最低位开始去掉若干位。截断可能会造成数值的改变。
• 扩充：整数部分在最高位之前扩充若干个0，小数部分在最低位之后扩充若干个0。扩充不会造成数值的改变。

注：“最高位之前”指的是比最高位更高的位。所谓的“某一位更高”，指的是二进制码的某一位所占的权重更大。
注：“最低位之后”指的是比最低位更低的位。所谓的“某一位更低”，指的是二进制码的某一位所占的权重更小。

例如：

设二进制下的一个无符号定点小数：

• $A_{定}$ = $01011$b，2bit整数部分 + 3bit小数部分，对应实际小数1.375

那么：

• 将$A_{定}$截断成“1bit整数部分 + 2bit小数部分”的定点小数后，得到：$101$b，对应实际小数1.25 (因截断而造成了数值的略微变化)
• 将$A_{定}$扩充成“3bit整数部分 + 5bit小数部分”的定点小数后，得到：$00101100$b，对应实际小数1.375

而对于二进制下有符号定点小数的截断与扩充，由于牵涉到符号位，其规律稍稍有些不同，分析可知：

• 截断：整数部分从次高位开始去掉若干位，小数部分从最低位开始去掉若干位。截断可能会造成数值的改变。
• 扩充：
  • 当小数为非负数时：整数部分在次高位之前扩充若干个0，小数部分在最低位之后扩充若干个0。扩充不会造成数值的改变。
  • 当小数为负数时：整数部分在次高位之前扩充若干个1，小数部分在最低位之后扩充若干个0。扩充不会造成数值的改变。

例如：

设二进制下的一个有符号定点小数：

• $A_{定}$ = $111011$b，符号位 + 2bit整数部分 + 3bit小数部分，对应实际小数-0.625

那么：

• 将$A_{定}$截断成“符号位 + 1bit整数部分 + 2bit小数部分”的定点小数后，得到：$1101$b，对应实际小数-0.75 (因截断而造成了数值的略微变化)
• 将$A_{定}$扩充成“符号位 + 3bit整数部分 + 5bit小数部分”的定点小数后，得到：$111101100$b，对应实际小数-0.625