On 12/31/2013 05:35 AM, Peter Maydell wrote: > From: Tom Musta <[email protected]> > > The float64_to_uint64_round_to_zero routine is incorrect. > > For example, the following test pattern: > > 46697351FF4AEC29 / 0x1.97351ff4aec29p+103 > > currently produces 8000000000000000 instead of FFFFFFFFFFFFFFFF. > > This patch re-implements the routine to temporarily force the > rounding mode and use the float64_to_uint64 routine. > > This contribution can be licensed under either the softfloat-2a or -2b > license. > > Signed-off-by: Tom Musta <[email protected]> > Message-id: [email protected] > Signed-off-by: Peter Maydell <[email protected]> > --- > fpu/softfloat.c | 12 +++++------- > 1 file changed, 5 insertions(+), 7 deletions(-)
Perhaps a duplicate with Tom's thread, but: Reviewed-by: Richard Henderson <[email protected]> r~
