This is the mail archive of the
`gcc-patches@gcc.gnu.org`
mailing list for the GCC project.

Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|

Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |

Other format: | [Raw text] |

*From*: Gabriel Dos Reis <gdr at cs dot tamu dot edu>*To*: Geoff Keating <geoffk at geoffk dot org>*Cc*: Fariborz Jahanian <fjahanian at apple dot com>, gcc-patches at gcc dot gnu dot org*Date*: 05 Oct 2004 16:04:49 -0500*Subject*: Re: Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication*Organization*: Texas A&M University, Department of Computer Science*References*: <2B2F21A1-16FF-11D9-957B-000A95BA54A6@apple.com><m28yalosbv.fsf@greed.local><B5E42B5E-1709-11D9-957B-000A95BA54A6@apple.com><AE923EFA-1710-11D9-BB5A-000A95B1F520@geoffk.org>

Geoff Keating <geoffk@geoffk.org> writes: | On 05/10/2004, at 1:04 PM, Fariborz Jahanian wrote: | | >>> + && (code == MULT_EXPR || code == PLUS_EXPR) | >>> + && FLOAT_TYPE_P (TREE_TYPE (exp))); | >> | >> This function appears to disallow folding | >> | >> (x * 2.0) * 2.0 | >> | >> into | >> | >> x * 4.0 | >> | >> which seems to me to be valid. | > | > Wording of ANSIC disallows such foldings even if it is safe sometimes. | | Could you explain why you think the standard says this? The quote you | gave said "In the following fragment, rearrangements suggested by | mathematical rules for real numbers are often not valid" but it did | not say that they were *always* not valid. But it does not say they are always valid either. I'm having real trouble following your logic. We apply transformations under the name of optimizations only when we know that they are always valid under the usual conditions. Here, the reassociation is a general unsafe transformation for floating point data type. -- Gaby

**Follow-Ups**:

**References**:**Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication***From:*Fariborz Jahanian

**Re: Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication***From:*Geoffrey Keating

**Re: Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication***From:*Fariborz Jahanian

**Re: Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication***From:*Geoff Keating

Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|

Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |