Le 18/01/2017 à 22:42, Richard Henderson a écrit :
> On 01/18/2017 01:05 PM, Laurent Vivier wrote:
>> This series modifies the original ColdFire FPU implementation
>> to use floatx80 instead of float64 internally as this
>> is the native datatype for 680x0. I didn't keep the float64
>> type for ColdFire, but if someone thinks it's required I
>> can update this series in this way.
>
> I think at minimum you'll need to round to float64. But this control is
> also needed for 68040 FPU, so probably you can use the same helpers.
>
> I'm thinking something like
>
> void helper_foo_d(args);
> {
> ...
> r80 = floatx80_foo(args);
> r64 = floatx80_to_float64(r80, &env->fp_status);
> r80 = float64_to_floatx80(r64, &env->fp_status);
> [store r80]
> ...
> }
>
> since iirc 68040 has fadd.d, fadd.s to go with fadd.
OK, I will modify this part.
Thanks,
Laurent