Optimization

[John Carr]

> -fno-typed-alias
>   Compiler assumes that different types cannot be aliased.

With a few exceptions this describes ANSI C aliasing, which egcs tries to
implement.  Because the back end doesn't have type information alias
detection is based only on size.  On most systems float and int are the
same size.  If the example program used double instead of float you might
see better code.

I have some ideas for better aliasing but haven't had time to implement
them.  I started work on limited support for restrict but haven't had
time to finish that either.  A complete implementation may be a big job.