进行浮点比较

13.2  绝对值计算

绝对值计算是浮点运算的最基本运算之一，几乎没有什么可研究的，下面给出的一些代码有钻牛角尖的意思。我并不推荐读者直接使用，只是希望通过这些代码分析一下计算绝对值这样简单的运算可以达到多高的效率。在实际工作中，对代码的可读性的要求通常高于对效率的要求，读者可以根据实际情况选择一种方式。

13.2.1  进行浮点比较

一个简单的绝对值计算代码如下：

double myabs( double data )
{
if( data < 0 )
data = -data;
return data;
}

这段代码的汇编代码是（删除了函数框架代码）：

fld      qword ptr [ebp+8]     // 将data载入浮点数据寄存器
fcomp    qword ptr [zero]      // 与0比较
fnstsw   ax                    // 取比较结果
test     ah,1                 // 测试C0
je       exit                  // C1=0,即data>=0
fld      qword ptr [ebp+8]     // C1=1,即data<0
fchs                           // data = -data
fstp     qword ptr [ebp+8]
exit:
fld      qword ptr [ebp+8]     // return data

稍微优化一下这段代码，得到：

fld      qword ptr [ebp+8]
fcom     qword ptr [zero]      // 使用fcom指令,而不用fcomp指令
fnstsw   ax                    // 取比较结果
test     ah,1                  // 测试C0
je       exit                  // C1=0,即data>=0
fchs                           // data = -data
exit:

这段代码的核心是使用与0.0进行浮点数比较的思路，不可避免地使用了浮点比较指令。即使再优化，也无法去除浮点指令。而使用浮点指令带来的浮点寄存器装载及浮点运算等开销导致效率低下，跳转指令也会导致CPU效率低下。