18 Optimization in embedded systems

不同的浮点数选项在速度和精度之间做出不同的权衡。这包括以下内容:
-ffp-contract=fast: 将a*b+c转换为融合乘加指令。中间值(a*b)使用无限精度计算。
-freciprocal-math: 通过乘以倒数来替代除以常数。这提高了速度，对精度的影响最小。
-fassociative-math: (a+b)+c = a+(b+c)。这可能对精度产生严重影响。例如: float a = 1.E10, b = (1+a)-a; 在没有-fno-associative-math选项时，结果为0，在有-fassociative-math选项时，结果为1。程序员可能更喜欢使用括号来表示所需的计算顺序，而不是使用此选项。
-ffinite-math-only: 优化无法传播NAN和INF。例如: x*x可以优化为0. 如果x=INF，则结果将错误，因为INF-INF=NAN。警告: 在该选项下，可能无法检测到NAN和INF。
-fno-trapping-math: 自动向量化所必需。x=0.0/0.0会被归约为x=NAN，不会产生陷阱。
-fno-math-errno: 不会为sqrt等函数设置errno的陷阱。这对于包含sqrt的分支的自动向量化是必要的。
-fno-signed-zeros: 启用忽略零的符号的优化，例如x*0.0=0和x+0.0=x。