-ffast-math and floating point reordering

[Joseph S. Myers]

On Fri, 26 Mar 2004, Joe Buck wrote:

> One possible representation in GIMPLE would be a flag indicating that a
> temporary can be, well, I'll call it "refactored" (feel free to suggest a
> better word).  That is, given GIMPLE code like

Likewise one to indicate an expression can be contracted (evaluated
atomically without intermediate rounding), to allow multiply-adds etc.
with the FP_CONTRACT pragma (which allows expressions to be contracted
while not allowing such optimizations across separate statements).

-- 
Joseph S. Myers
jsm@polyomino.org.uk