ieee float舍入问题
csapp等书告诉你,ieee754格式一共有4种舍入:
1.向上舍入
2.向下舍入
3.向零舍入
4.向偶数舍入
在我完成讨论课课题时,对一个超过24位数的float查看时却出现了不同的一幕。。。
给出数据如下
数据1
value1=67108884=0b1 0000 0000 0000 0000 0000 010 100
解释一下:10进制67108884写成2进制为右边这个数: 1 0000 0000 0000 0000 0000 010 100
开头的1是默认隐藏的1,最靠右边用一大串空格隔开的3位数(100)是将要舍去的位数。
舍入位后为100,理论上执行向偶数舍入后float的后缀为 010
(注:粗体对应粗体位置)
数据2
value2=67108892=0b1 0000 0000 0000 0000 0000 011 100
解释一下:10进制671088924写成2进制为右边这个数: 1 0000 0000 0000 0000 0000 011 100
开头的1是默认隐藏的1,最靠右边用一大串空格隔开的3位数(100)是将要舍去的位数。
舍入位后为100,理论上执行向偶数舍入后float的后缀为 100
我的汇编代码是这样的
进入gdb调试
得到结果如下:
发现value1在寄存器里存放的数为0x4C800003,
写成二进制为0b01001100100000000000000000000 011
发现最后的尾数并未同预期一样向偶数舍入成010
而value2在寄存器里存放的数为0x4C800004,
写成二进制为0b01001100100000000000000000000 100
最后的尾数未同预期一样为100
???
为什么出现了这种事情,书上不是说只有四种舍入方式?这是怎么回事?
为什么出现了 "四舍五入" ?
int强转float
继续修改代码,尝试int转换float,和直接定义float
gdb调试
对上述代码进行调试
解释一下:地址里x,y连续分配,
0xbffff2fc是x的地址,存的数据是0x4000014对应的就是十进制的67108884
0xbffff300是y的地址,存的数据是0x4c800002 其对应的二进制位:
1001100100000000000000000000 010
发现其末尾3位为 010 已经符合向偶数取整的方式
0xbffff304是c的地址,存的数据是0x4c800002 其对应的二进制位:
1001100100000000000000000000 010
其末尾3位为 010 也符合向偶数取整的方式
结论:
在进行c语言里(int转float或者直接定义float),超过长度的尾数采用的是向偶数取整。
在汇编语言里解释时使用的是“四舍五入”(即大于等于100……0进1)
原因:我也不知道
有知道原因的请告诉我,我也想知道qaq