[llvm-dev] RFC: Consider changing the semantics of 'fast' flag implying all fast-math-flags

Nicolai Hähnle via llvm-dev llvm-dev at lists.llvm.org
Thu Nov 17 14:27:32 PST 2016


On 17.11.2016 22:09, Hal Finkel wrote:
> Yes and no. For one thing, *all* FP contraction modes (i.e. FMA formation), including the one standardized by C, can change results doing to different intermediate rounding properties. What makes it different from other "fast math" settings is that:
>
>  1. The result from individual contracted operations is always more accurate than the original operations, not less.
>  2. The FMA operation, which is the only combination that FP contraction enables, is a specific combination that is defined by the IEEE standard.
>
> For these reasons, we differentiate it from the others, and users also consider it qualitatively different from other FP optimization flags.

That makes sense, thank you for the clarification!

Nicolai


More information about the llvm-dev mailing list