Patch gcc-4.0 should not apply mathematical associative rules for addition or multiplication

Richard Henderson rth@redhat.com
Thu Oct 7 21:18:00 GMT 2004


On Thu, Oct 07, 2004 at 01:43:41PM -0700, Ziemowit Laski wrote:
> >You should allow
> >
> >	X op C1 op C2
> >to combine to
> >	X op C3
> >
> >if C1 op C2 is exactly representable.  Which happens very often.
> 
> Yes, but don't 'X op C1' and 'X op C3' also need to be exactly 
> representable?

Not so far as I can determine.  What specifically leads you 
to believe this?


r~



More information about the Gcc-patches mailing list