海湾合作委员会-ffp-合约选项的差异

Question

我有一个关于GNU GCC中< code>-ffp-contract标志的问题(见https://GCC . GNU . org/online docs/GCC/Optimize-options . html)。

标志文档编写如下：

< code>-ffp-contract=off禁用浮点表达式收缩。< code>-ffp-contract=fast启用浮点表达式收缩，如融合乘加运算的形成(如果目标具有对它们的本机支持)。< code>-ffp-contract=on如果语言标准允许，则启用浮点表达式收缩。这目前尚未实现，并被视为等于< code>-ffp-contract=off。默认值为< code>-ffp-contract=fast。

现在的问题是:

< li >快速和开启之间有什么区别？ < li >除了FMA(或类似的fused-mult sub)之外，还有其他收缩示例吗？

Answer 1

在 C89 中，FP 收缩是不允许的。从 C99 开始，默认情况下，实现可以对表达式执行 FP 收缩，但随后需要提供一个#pragma STDC FP_CONTRACT（cppreference），可以切换该代码来影响收缩行为。

因此，GCC 开关应该是：

• -ffp-合约=关闭：不要进行收缩。忽略#pragma STDCFP_CONTRACT。这是-std=c89的默认值。
• -ffp-合约=on：默认启用收缩并尊重#pragma STDCFP_CONTRACT。这将是-std=c99及更高版本的默认值。
• -ffp-合约=快速：这是GCC默认设置，即使没有任何快速数学选项。我们不要求在快速数学模式下符合ISO，因此始终收缩是可以的，即使是单独的表达式（参见Marc Glisse的评论）。这是-std=gnu99和C.的其他GNU方言的默认设置。

不幸的是，#pragma STDCFP_CONTRACT还没有在GCC中实现，所以目前gcc-ffp-合同=on做了保持符合ISO的必要工作：没有。即on=off，因为GCC知道如何实现（快速）的唯一其他行为对于on来说太激进了。

你必须深入研究来源（或邮件列表），看看GCC能够做什么样的收缩，但它不必局限于FMA。

有关一个表达式与2个语句的简单测试用例，请参阅Gobolt上的GCC和Clang。如您所见，Clang默认为-ffp合约=off，但支持on和Fast。GCC仅支持off和Fast，on映射到off。

C11标准对#pragma STDC FP_CONTRACT的评价：

§6.5¶8：浮动表达式可以被收缩，也就是说，计算就好像它是单个操作一样，从而省略了源代码和表达式计算方法所暗示的舍入误差 FP_CONTRACT。

收缩表达式中的中间操作被计算为无限范围和精度，而最终操作被四舍五入为表达式计算方法确定的格式。收缩表达式还可能省略浮点异常的引发。

此许可证专门用于允许实现利用组合多个 C 运算符的快速机器指令。由于收缩可能会破坏可预测性，甚至会降低包含表达式的准确性，因此需要明确定义和清楚地记录它们的使用。