rs6000: floating point cast oddities?

[degger@fhm.edu]

On 17 Dec, Dale Johannesen wrote:

>> What I expect it do to is:
>> Load a single precision 1.0 and add it to the register
>> of the second parameter.
 
> No, according to the language 1.0 is double, and the addition
> should therefore be done in double.  You can write 1.0f to
> specify a float 1.0.

This seems pretty strange to me. Would you please cite the passage
of the specification?

--
Servus,
       Daniel