精度相关优化

本文探讨了GCC和Clang编译器中关于浮点计算的FMA特性及其优化选项。FMA能够提高浮点计算速度并提升精度。文章提到了牛顿迭代步长选择对性能和精度的影响,并指出Clang中关于浮点交换的精度变化。同时,还介绍了如何通过特定attribute属性控制精度转换。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1、选项-ffp-contract=style (floating point expression contract)控制FMA特性,即fused multipy add。 fma的特点是可以使得这种模式的浮点计算更快精度更高

   参考gcc优化选项解析 - PhoenixTree(梧桐树) - 博客园

2、性能和精度的权衡在于牛顿迭代步长的选取,参考⚙ D46498 [X86] Enable reciprocal estimates for v16f32 vectors by using VRCP14PS/VRSQRT14PS

注意:可以使用getRecipEstimateForFunc解析类似如下的attribute属性,只有存在类似attribute属性时才允许做Convert (fadd (fdiv y, z), x) -> fma(y, 1/z, x)转换,避免精度问题

attributes #0 = { norecurse nounwind "reciprocal-estimates"="vec-divf" }

3、 intel 在clang上传了一个精度相关的commit f04e387, 在这之前默认浮点是不能做交换,也就是下面两个表达式的结果可能不一样。此patch调整默认-ffp-contract=on,从而允许做交换,精度可能存在不一致。Compiler Explorer

b[i] += a[i] * d[i] + a[i+1] * d[i+1];

b[i] += a[i+1] * d[i+1] + a[i] * d[i];

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值