On 12/31/2013 05:35 AM, Peter Maydell wrote:
> From: Tom Musta
>
> The float64_to_uint64_round_to_zero routine is incorrect.
>
> For example, the following test pattern:
>
> 46697351FF4AEC29 / 0x1.97351ff4aec29p+103
>
> currently produces 8000 instead of .
>
>
From: Tom Musta
The float64_to_uint64_round_to_zero routine is incorrect.
For example, the following test pattern:
46697351FF4AEC29 / 0x1.97351ff4aec29p+103
currently produces 8000 instead of .
This patch re-implements the routine to temporarily force the
round