Date: Sat, 20 Mar 2010 23:50:03 GMT From: Peter Jeremy <peterjeremy@acm.org> To: freebsd-sparc64@FreeBSD.org Subject: Re: sparc64/144900: [patch] SPARC64 Floating point fixes Message-ID: <201003202350.o2KNo3Jm015516@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR sparc64/144900; it has been noted by GNATS.
From: Peter Jeremy <peterjeremy@acm.org>
To: Marius Strobl <marius@alchemy.franken.de>
Cc: FreeBSD-gnats-submit@freebsd.org
Subject: Re: sparc64/144900: [patch] SPARC64 Floating point fixes
Date: Sun, 21 Mar 2010 10:42:21 +1100
--6Nae48J/T25AfBN4
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
On 2010-Mar-20 21:49:41 +0100, Marius Strobl <marius@alchemy.franken.de> wr=
ote:
>On Sat, Mar 20, 2010 at 08:11:20PM +1100, Peter Jeremy wrote:
>> - Parts of the emulator code must be compiled with no-strict-aliasing
>> specified to function correctly. CFLAGS is updated to include the
>> relevant gcc option. (This will add -fno-strict-aliasing to all of
>> libc - which is excessive but I don't believe it's possible to compile
>> only part of libc that way).
>
>Could you please elaborate on what exactly breaks when compiling
>with strict aliasing rules? I think there actually is a way to
>limit -no-strict-aliasing to the emulator part but I'd like to
>understand what's going on and make sure there's no way it can
>be solved by the code affected before turning it on.
The problem manifests in a number of seemingly unrelated ways. The
obvious aliasing issues (from code examination) are in fpu_explode.c
and union-based aliasing in fpu_qp.c. It appears that compiling just
fpu_explode.c with -fno-strict-aliasing is sufficient to make the
errors go away. This suggests that the problem may be amenable to
code patching.
The following errors are reported by 'testemufloat -all' (I've
pruned the list of reported errors to shorten this mail). The FP
format is defined in testfloat/testfloat.txt but an overview is:
Single precision:
x000 .... .... . .... .... .... .... .... .... sign (1 bit)
.... xxxx xxxx . .... .... .... .... .... .... exponent (8 bits)
.... .... .... . 0xxx xxxx xxxx xxxx xxxx xxxx fraction (23 bits)
For double and long double precision, the '.' is located between the
exponent and fraction, with the top bit of the exponent representing
the sign. In all cases, the implicit '1' is not shown.
The 5-char field represents exception bits as follows:
v invalid flag
z division-by-zero flag
o overflow flag
u underflow flag
x inexact flag
In virtually all cases, the reported sign is incorrect.
The errors in int64_to_float32, int64_to_float64, int64_to_float128,
float64_sqrt, float128_to_float64, float128_add, float128_sub,
float128_mul, float128_div, float128_sqrt, float128_eq, float128_le,
float128_lt, float128_eq_signalling, float128_le_quiet and
float128_lt_quiet otherwise appear random.
The results are negated in float64_to_int32_round_to_zero,
float64_to_int64_round_to_zero, float64_to_float32,
float64_to_float128, float64_add, float64_sub, float64_mul,
float64_div, float128_to_int32_round_to_zero,
float128_to_int64_round_to_zero (though one result has the correct
sign and just the low order 12 bits are incorrect) and
float128_to_float32.
The sign confusion appears to cause incorrect results in float64_eq,
float64_le and float64_lt.
Errors found in int64_to_float32, rounding nearest_even:
FFFFFFFF85366D68 soft: 89D.759325 ....x syst: 0BF.000000 ....x
0000000000000000 soft: 000.000000 ..... syst: 800.000000 .....
FED98D1D7EA052A1 soft: 8B7.133971 ....x syst: 0BE.7ED98D ....x
0000000000000001 soft: 07F.000000 ..... syst: 87F.000000 .....
FFFE87E94EE94B0B soft: 8AF.3C0B59 ....x syst: 0BE.7FFE88 ....x
0000000000000002 soft: 080.000000 ..... syst: 880.000000 .....
F0D9B2277EDEB41E soft: 8BA.7264DE ....x syst: 0BE.70D9B2 ....x
0000000000000004 soft: 081.000000 ..... syst: 881.000000 .....
FEFFFFFE3FFFFFFF soft: 8B7.000001 ....x syst: 0BE.7F0000 ....x
0000000000000020 soft: 084.000000 ..... syst: 884.000000 .....
Errors found in int64_to_float32, rounding to_zero:
Errors found in int64_to_float32, rounding down:
Errors found in int64_to_float32, rounding up:
Errors found in int64_to_float64, rounding nearest_even:
800021FFFFFFFFFD soft: C3D.FFFF780000000 ....x syst: 43E.0000440000000 ..=
=2E.x
000000000000000A soft: 402.4000000000000 ..... syst: C02.4000000000000 ..=
=2E..
FBFFFFFFFF7FF7FE soft: C39.0000000020020 ....x syst: 43E.F7FFFFFFFEFFF ..=
=2E.x
0000000000000002 soft: 400.0000000000000 ..... syst: C00.0000000000000 ..=
=2E..
C0007FFE00000000 soft: C3C.FFFC001000000 ..... syst: 43E.8000FFFC00000 ..=
=2E..
0000000000000004 soft: 401.0000000000000 ..... syst: C01.0000000000000 ..=
=2E..
FFFFFFFFFFF003FE soft: C12.FF80400000000 ..... syst: 43E.FFFFFFFFFFE00 ..=
=2E.x
0000000000000010 soft: 403.0000000000000 ..... syst: C03.0000000000000 ..=
=2E..
FFFFFFFF781078B5 soft: C1E.0FDF0E9600000 ..... syst: 43E.FFFFFFFEF020F ..=
=2E.x
0000000000000020 soft: 404.0000000000000 ..... syst: C04.0000000000000 ..=
=2E..
Errors found in int64_to_float64, rounding to_zero:
Errors found in int64_to_float64, rounding down:
Errors found in int64_to_float64, rounding up:
Errors found in int64_to_float128:
FDFFFFF7EFFFFFFE
soft: C038.0000040800000100000000000000 .....
syst: 403E.FBFFFFEFDFFFFFFC000000000000 .....
0032A8E5535CD163
soft: 4034.95472A9AE68B1800000000000000 .....
syst: C034.95472A9AE68B1800000000000000 .....
FFFFFFFE07FFFFFE
soft: C01F.F800000200000000000000000000 .....
syst: 403E.FFFFFFFC0FFFFFFC000000000000 .....
00000000001C995A
soft: 4013.C995A00000000000000000000000 .....
syst: C013.C995A00000000000000000000000 .....
FFFFFEF7FFFEFFFE
soft: C027.0800010002000000000000000000 .....
syst: 403E.FFFFFDEFFFFDFFFC000000000000 .....
0000000000000004
soft: 4001.0000000000000000000000000000 .....
syst: C001.0000000000000000000000000000 .....
80000007FFFFFFFE
soft: C03D.FFFFFFE000000008000000000000 .....
syst: 403E.0000000FFFFFFFFC000000000000 .....
0000000000A597F0
soft: 4016.4B2FE00000000000000000000000 .....
syst: C016.4B2FE00000000000000000000000 .....
FFFFFEFFFFC3FFFE
soft: C027.00003C0002000000000000000000 .....
syst: 403E.FFFFFDFFFF87FFFC000000000000 .....
0000063A5D983DA5
soft: 4029.8E97660F69400000000000000000 .....
syst: C029.8E97660F69400000000000000000 .....
Errors found in float64_to_int32_round_to_zero:
C3E.037FFFFFFFFFF soft: 80000000 v.... syst: 7FFFFFFF v....
402.007FFFDFFFFFE soft: 00000008 ....x syst: FFFFFFF8 ....x
C02.FFFFF800000FF soft: FFFFFFF1 ....x syst: 0000000F ....x
C1D.278E6110DFB5B soft: B61C67BC ....x syst: 49E39844 ....x
C0C.EFFFFDFFFFFFE soft: FFFFC201 ....x syst: 00003DFF ....x
C1B.CF02007CC83D7 soft: E30FDFF9 ....x syst: 1CF02007 ....x
C96.0000000004003 soft: 80000000 v.... syst: 7FFFFFFF v....
F72.C296F6303BAF4 soft: 80000000 v.... syst: 7FFFFFFF v....
E1A.0020100000000 soft: 80000000 v.... syst: 7FFFFFFF v....
C0D.FFFFE00000FFF soft: FFFF8001 ....x syst: 00007FFF ....x
Errors found in float64_to_int64_round_to_zero:
C85.0000000000F7E soft: 8000000000000000 v.... syst: 7FFFFFFFFFFFFFFF v..=
=2E.
BFF.FFF00000000FF soft: FFFFFFFFFFFFFFFF ....x syst: 0000000000000001 ...=
=2Ex
C02.FFF80000003FF soft: FFFFFFFFFFFFFFF1 ....x syst: 000000000000000F ...=
=2Ex
C3D.0000000801000 soft: BFFFFFFDFFC00000 ..... syst: 4000000200400000 ...=
=2E.
C1C.000009FFFFFFF soft: FFFFFFFFDFFFFEC1 ....x syst: 000000002000013F ...=
=2Ex
C03.80F104A1FA39D soft: FFFFFFFFFFFFFFE8 ....x syst: 0000000000000018 ...=
=2Ex
C00.0000000010003 soft: FFFFFFFFFFFFFFFE ....x syst: 0000000000000002 ...=
=2Ex
F5D.35B4561B01C9C soft: 8000000000000000 v.... syst: 7FFFFFFFFFFFFFFF v..=
=2E.
C3D.FF801FFFFFFFF soft: 801FF80000000400 ..... syst: 7FE007FFFFFFFC00 ...=
=2E.
C03.705F27662F75B soft: FFFFFFFFFFFFFFE9 ....x syst: 0000000000000017 ...=
=2Ex
Errors found in float64_to_float32, rounding nearest_even:
BCA.0004000FFFFFF soft: 84A.000200 ....x syst: 04A.000200 ....x
000.0000000000000 soft: 000.000000 ..... syst: 800.000000 .....
C33.6B3CFC1374734 soft: 8B3.359E7E ....x syst: 0B3.359E7E ....x
000.0000000000001 soft: 000.000000 ...ux syst: 800.000000 ...ux
BFD.42DB4573445CA soft: 87D.216DA3 ....x syst: 07D.216DA3 ....x
001.FFFFFFFF01FFE soft: 000.000000 ...ux syst: 800.000000 ...ux
CEB.EFFFFFFFFF7FF soft: 8FF.000000 ..o.x syst: 0FF.000000 ..o.x
001.0000000000000 soft: 000.000000 ...ux syst: 800.000000 ...ux
C1C.0300000000000 soft: 89C.018000 ..... syst: 09C.018000 .....
001.0000000000001 soft: 000.000000 ...ux syst: 800.000000 ...ux
Errors found in float64_to_float32, rounding to_zero:
Errors found in float64_to_float32, rounding down:
Errors found in float64_to_float32, rounding up:
Errors found in float64_to_float128:
C0C.0000000000041
soft: C00C.0000000000041000000000000000 .....
syst: 400C.0000000000041000000000000000 .....
3F6.000000000FFFB
soft: 3FF6.000000000FFFB000000000000000 .....
syst: BFF6.000000000FFFB000000000000000 .....
C18.FFFC000FFFFFF
soft: C018.FFFC000FFFFFF000000000000000 .....
syst: 4018.FFFC000FFFFFF000000000000000 .....
000.0000000000001
soft: 3BCD.0000000000000000000000000000 .....
syst: BBCD.0000000000000000000000000000 .....
C3D.0407FFFFFFFFE
soft: C03D.0407FFFFFFFFE000000000000000 .....
syst: 403D.0407FFFFFFFFE000000000000000 .....
480.0010008000000
soft: 4080.0010008000000000000000000000 .....
syst: C080.0010008000000000000000000000 .....
D76.00200000003FF
soft: C176.00200000003FF000000000000000 .....
syst: 4176.00200000003FF000000000000000 .....
000.FFFFFFFFFFFFE
soft: 3C00.FFFFFFFFFFFFC000000000000000 .....
syst: BC00.FFFFFFFFFFFFC000000000000000 .....
800.9A9E51A5E8212
soft: BC00.353CA34BD0424000000000000000 .....
syst: 3C00.353CA34BD0424000000000000000 .....
001.0000000000000
soft: 3C01.0000000000000000000000000000 .....
syst: BC01.0000000000000000000000000000 .....
Errors found in float64_add, rounding nearest_even:
C02.A3E7A164FE784 001.FFFFF80000000
soft: C02.A3E7A164FE784 ....x syst: 402.A3E7A164FE784 ....x
C3D.0000000000011 000.0000000000000
soft: C3D.0000000000011 ..... syst: 43D.0000000000011 .....
41F.AAA39D0D72647 C67.FFFFFFEFFFF7E
soft: C67.FFFFFFEFFFF7E ....x syst: 467.FFFFFFEFFFF7E ....x
2AE.FC000000003FF C01.000000001FFFD
soft: C01.000000001FFFD ....x syst: 401.000000001FFFD ....x
000.0000000000000 BFF.003FFF7FFFFFF
soft: BFF.003FFF7FFFFFF ..... syst: 3FF.003FFF7FFFFFF .....
402.380973C6BD218 B37.00000000001FE
soft: 402.380973C6BD218 ....x syst: C02.380973C6BD218 ....x
3CA.FFF8000008000 C1F.0001FFFFFFC00
soft: C1F.0001FFFFFFC00 ....x syst: 41F.0001FFFFFFC00 ....x
C08.0000000000000 3FE.2A015D953FF0D
soft: C07.FF6AFF5135600 ....x syst: 407.FF6AFF5135600 ....x
000.0000000000000 BCA.00000087FFFFE
soft: BCA.00000087FFFFE ..... syst: 3CA.00000087FFFFE .....
3FD.FDFFF7FFFFFFF C1F.FFFFFFAFFFFFF
soft: C1F.FFFFFFAF807FF ....x syst: 41F.FFFFFFB07F7FF ....x
Errors found in float64_add, rounding to_zero:
Errors found in float64_add, rounding down:
Errors found in float64_add, rounding up:
Errors found in float64_sub, rounding nearest_even:
Errors found in float64_sub, rounding to_zero:
Errors found in float64_sub, rounding down:
Errors found in float64_sub, rounding up:
Errors found in float64_mul, rounding nearest_even:
E37.08001FFFFFFFE EC7.FFFFFEEFFFFFE
soft: 7FF.0000000000000 ..o.x syst: FFF.0000000000000 ..o.x
C1E.CAAFB2A53DFDD 000.0000000000000
soft: 800.0000000000000 ..... syst: 000.0000000000000 .....
C3F.00000000001FB FFE.FFC000000000F
soft: 7FF.0000000000000 ..o.x syst: FFF.0000000000000 ..o.x
000.0000000000000 3FB.003FFFFFFE000
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
41D.3069CE4DE50E6 C3E.CB2A5736C8D6A
soft: C5D.110006FB4E5C2 ....x syst: 45D.110006FB4E5C2 ....x
C1C.FB308867716C9 47D.3C2357C57B325
soft: C9B.392AF6F38A775 ....x syst: 49B.392AF6F38A775 ....x
482.FBBFFFFFFFFFE C2F.E6F908143F31D
soft: CB3.E2EE36E3142B6 ....x syst: 4B3.E2EE36E3142B6 ....x
000.0000000000000 000.FFFFFFFFFFFFF
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
43F.07FFFFFEFFFFE BFC.00000007FFFFE
soft: C3C.080000073FFFC ....x syst: 43C.080000073FFFC ....x
000.0000000000000 000.000000001F000
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
Errors found in float64_mul, rounding to_zero:
Errors found in float64_mul, rounding down:
Errors found in float64_mul, rounding up:
Errors found in float64_div, rounding nearest_even:
000.0000000000000 401.8000000000006
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
C96.100000007FFFE C0E.000003FFFF7FF
soft: 487.0FFFFBC08098F ....x syst: C87.0FFFFBC08098F ....x
000.0000000000000 C0C.0002000003FFF
soft: 800.0000000000000 ..... syst: 000.0000000000000 .....
B81.000000400000E 41C.4298E74AE88EC
soft: B63.964D60923F428 ....x syst: 363.964D60923F428 ....x
55B.00FFFFFFFFFF6 D67.C6F4E731E7DE7
soft: BF2.213920E70652F ....x syst: 3F2.213920E70652F ....x
000.0000000000000 000.0000000000001
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
3F7.FFF7FFFFFFFF8 BE6.00007FFFFBFFF
soft: C10.FFF7000487FD4 ....x syst: 410.FFF7000487FD4 ....x
FFD.DCCDF02AB3541 000.FFFFFFFFFFFFF
soft: FFF.0000000000000 ..o.x syst: 7FF.0000000000000 ..o.x
FFE.00000FFFF0000 BFF.61AEAE4BAB191
soft: 7FD.7297C092B6353 ....x syst: FFD.7297C092B6353 ....x
000.0000000000000 000.FFFFFFFFFFFFF
soft: 000.0000000000000 ..... syst: 800.0000000000000 .....
Errors found in float64_div, rounding to_zero:
Errors found in float64_div, rounding down:
Errors found in float64_div, rounding up:
Errors found in float64_sqrt, rounding nearest_even:
98A.FFFFFC0000007 soft: 7FF.FFFFFFFFFFFFF v.... syst: 2C4.FFFFFDFFFFFF3 .=
=2E..x
000.0000000000001 soft: 1E6.0000000000000 ..... syst: 7FF.FFFFFFFFFFFFF v=
=2E...
C01.3F2E87BAD2B37 soft: 7FF.FFFFFFFFFFFFF v.... syst: 400.1DD9BCDF402B2 .=
=2E..x
43C.77FFFFFFFFFFF soft: 41D.B6C30B83593E6 ....x syst: 7FF.FFFFFFFFFFFFF v=
=2E...
802.0008020000000 soft: 7FF.FFFFFFFFFFFFF v.... syst: 200.6A0F8FEE41785 .=
=2E..x
000.FFFFFFFFFFFFE soft: 1FF.FFFFFFFFFFFFE ....x syst: 7FF.FFFFFFFFFFFFF v=
=2E...
C26.7A017BDD4D83E soft: 7FF.FFFFFFFFFFFFF v.... syst: 412.B7EE3E6633D68 .=
=2E..x
3CA.FFFFFFE00003F soft: 3E4.FFFFFFF00001F ....x syst: 7FF.FFFFFFFFFFFFF v=
=2E...
BFC.FFFFFFC001FFF soft: 7FF.FFFFFFFFFFFFF v.... syst: 3FD.FFFFFFE000FFF .=
=2E..x
432.0001FFFFFFFF7 soft: 418.6A0B507125202 ....x syst: 7FF.FFFFFFFFFFFFF v=
=2E...
Errors found in float64_sqrt, rounding to_zero:
Errors found in float64_sqrt, rounding down:
Errors found in float64_sqrt, rounding up:
Errors found in float64_eq:
000.0000000000001 800.0000000000001 soft: 0 ..... syst: 1 .....
000.FFFFFFFFFFFFF 000.FFFFFFFFFFFFF soft: 1 ..... syst: 0 .....
000.FFFFFFFFFFFFF 800.FFFFFFFFFFFFF soft: 0 ..... syst: 1 .....
000.FFFFFFFFFFFFE 000.FFFFFFFFFFFFE soft: 1 ..... syst: 0 .....
000.FFFFFFFFFFFFE 800.FFFFFFFFFFFFE soft: 0 ..... syst: 1 .....
001.0000000000000 001.0000000000000 soft: 1 ..... syst: 0 .....
001.FFFFFFFFFFFFF 001.FFFFFFFFFFFFF soft: 1 ..... syst: 0 .....
001.FFFFFFFFFFFFE 001.FFFFFFFFFFFFE soft: 1 ..... syst: 0 .....
3CA.0000000000000 3CA.0000000000000 soft: 1 ..... syst: 0 .....
3CA.0000000000000 BCA.0000000000000 soft: 0 ..... syst: 1 .....
Errors found in float64_le:
C1F.FFEFBFFFFFFFF 434.FFFFEFFFFFFEF soft: 1 ..... syst: 0 .....
000.0000000000000 C1E.FFC0000000010 soft: 0 ..... syst: 1 .....
335.7FF7FFFFFFFFE 01E.FFFFFFFFE00FE soft: 0 ..... syst: 1 .....
800.FFFFFFFFFFEBE 000.0000000000001 soft: 1 ..... syst: 0 .....
BFE.4C3DDC6ADA006 47E.FFF9FFFFFFFFE soft: 1 ..... syst: 0 .....
800.3E0E8638E2CC3 3FB.0000000000040 soft: 1 ..... syst: 0 .....
407.FFEF7FFFFFFFE 000.FFFFFFFFFFFFE soft: 0 ..... syst: 1 .....
C4A.0000DFFFFFFFE 480.DFE0000000000 soft: 1 ..... syst: 0 .....
000.0000000000000 8BA.FB514E3B26DD2 soft: 0 ..... syst: 1 .....
2FB.00FFF7FFFFFFF C1E.D431A58F6E9C1 soft: 0 ..... syst: 1 .....
Errors found in float64_lt:
FFD.00000BFFFFFFF 480.0004000000100 soft: 1 ..... syst: 0 .....
000.0000000000000 B7F.00000FF800000 soft: 0 ..... syst: 1 .....
41F.A80E28C0BE462 04A.0803FFFFFFFFF soft: 0 ..... syst: 1 .....
2D8.FFFFFFFFFFC02 C1E.8E253FD5983AF soft: 0 ..... syst: 1 .....
C0F.FFDFFFFFFEFFF 000.0000000000001 soft: 1 ..... syst: 0 .....
DB0.0000000007FFD 434.A6973C6DD3D3D soft: 1 ..... syst: 0 .....
000.0000000000000 C0F.03FFFFFFFFFEF soft: 0 ..... syst: 1 .....
C03.0002000000010 000.FFFFFFFFFFFFF soft: 1 ..... syst: 0 .....
FFE.FFFFFC0000100 C07.FBFFFFFFEFFFF soft: 1 ..... syst: 0 .....
BFE.FFFFFFFFFE000 BFE.F6BCC606EC749 soft: 1 ..... syst: 0 .....
Errors found in float128_to_int32_round_to_zero:
0000.0000000000000000000000000000 soft: 00000000 ..... syst: 00000000 ...=
=2Ex
C400.C5E7603B19AACCA31B9F7B5E42A2 soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
C203.FF7FFFFFFFFFFFFFFFFFFFFFFFF8 soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
C053.007FFFFFFFFFFFFFFFFFFFFFFFFF soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
C000.FFFFFFFFFFFFFFFFFFFFFDFFFFFF soft: FFFFFFFD ....x syst: 00000003 ...=
=2Ex
C2F8.0000000003FFFFFFFFFFFFFFFF7F soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
4005.FFFFBFFFFFFFFFFFFFFFFFFBFFFF soft: 0000007F ....x syst: FFFFFF81 ...=
=2Ex
F66A.0000000000100000000000100000 soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
C000.D289997D5CD5956A6E795F870D35 soft: FFFFFFFD ....x syst: 00000003 ...=
=2Ex
D560.8063CE96B1AAFFEB394B49AE613D soft: 80000000 v.... syst: 7FFFFFFF v..=
=2E.
Errors found in float128_to_int64_round_to_zero:
0000.0000000000000000000000000000
soft: 0000000000000000 ..... syst: 0000000000000000 ....x
C01C.FFEFFFFF00000000000000000000
soft: FFFFFFFFC0020001 ....x syst: 000000003FFDFFFF ....x
403C.EF5593056A34A3857765E0CB27C6
soft: 3DEAB260AD469470 ....x syst: 3DEAB260AD469FFF ....x
BFFF.FFFFDE0000000000000000000000
soft: FFFFFFFFFFFFFFFF ....x syst: 0000000000000001 ....x
C080.FFFF000000008000000000000000
soft: 8000000000000000 v.... syst: 7FFFFFFFFFFFFFFF v....
C03F.FFFFFFFFFFFFFEFFFFFFFFFFFFC0
soft: 8000000000000000 v.... syst: 7FFFFFFFFFFFFFFF v....
3FFF.FFFF7FFFFFFFFF80000000000000
soft: 0000000000000001 ....x syst: FFFFFFFFFFFFFFFF ....x
FFFD.FFF8000002000000000000000000
soft: 8000000000000000 v.... syst: 7FFFFFFFFFFFFFFF v....
C01F.FFFFFFFFFFFFFFFFFFFFFFF6FFFF
soft: FFFFFFFE00000001 ....x syst: 00000001FFFFFFFF ....x
BFFF.0000000002000000200000000000
soft: FFFFFFFFFFFFFFFF ....x syst: 0000000000000001 ....x
Errors found in float128_to_float32, rounding nearest_even:
3F81.FFFFFFFFFFFFFFFFFFDFFFFFF000 soft: 002.000000 ....x syst: 802.000000=
....x
0000.0000000000000000000000000000 soft: 000.000000 ..... syst: 000.000000=
...ux
B886.FFF2000000000000000000000000 soft: 800.000000 ...ux syst: 000.000000=
...ux
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF soft: 000.000000 ...ux syst: 800.000000=
...ux
BFF9.0000000000000000000100040000 soft: 879.000000 ....x syst: 079.000000=
....x
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE soft: 000.000000 ...ux syst: 800.000000=
...ux
C005.FFFFFFFFFFFFFFFFFFFFFF007FFF soft: 886.000000 ....x syst: 086.000000=
....x
3F80.00000000000000000FFFFFFFFFC0 soft: 000.400000 ...ux syst: 800.400000=
...ux
3F8E.FF00000000000000004000000000 soft: 00E.7F8000 ....x syst: 00E.7F8000=
.....
8001.97784557D9002A4B85519E04EB7C soft: 800.000000 ...ux syst: 000.000000=
...ux
Errors found in float128_to_float32, rounding to_zero:
Errors found in float128_to_float32, rounding down:
Errors found in float128_to_float32, rounding up:
Errors found in float128_to_float64, rounding nearest_even:
407E.0000000000007FFFFFFFFFFFC000
soft: 47E.0000000000008 ....x syst: 47E.0000000000000 ....x
0000.0000000000000000000000000000
soft: 000.0000000000000 ..... syst: 000.0000000000000 ...ux
407A.FFFFFFFFFFFFFFFFFFFFF0007FFF
soft: 47B.0000000000000 ....x syst: 47A.FFFFFFFFFFFF0 .....
4359.03FFFFF000000000000000000000
soft: 759.03FFFFF000000 ..... syst: 759.03FFFFF000010 ....x
0000.0000000000000000000000000001
soft: 000.0000000000000 ...ux syst: 000.0000000000000 .....
C002.FFFFFFFFFFFFFFFFFFEFFFFFFFFE
soft: C03.0000000000000 ....x syst: 402.FFFFFFFFFFFF0 ....x
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 000.0000000000000 ...ux syst: 800.0000000000000 ...ux
400E.FFFE000000000000000000000008
soft: 40E.FFFE000000000 ....x syst: 40E.FFFE000000010 ....x
8001.00000000000000000003FFF80000
soft: 800.0000000000000 ...ux syst: 000.0000000000000 ...ux
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 000.0000000000000 ...ux syst: 800.0000000000000 ...ux
Errors found in float128_to_float64, rounding to_zero:
Errors found in float128_to_float64, rounding down:
Errors found in float128_to_float64, rounding up:
Errors found in float128_add, rounding nearest_even:
BF21.FBFFFFFFFFFFFF00000000000000 BC00.0000001000000000000000000010
soft: BF21.FBFFFFFFFFFFFF00000000000000 ....x
syst: 3F21.FBFFFFFFFFFF0000000040590867 ....x
0000.0000000000000000000000000000 BEB0.FFFFFFFFFFFFFFFFFFFFFFFFE7FF
soft: BEB0.FFFFFFFFFFFFFFFFFFFFFFFFE7FF .....
syst: 3EB0.FFFFFFFFFFFF0000000000000000 ....x
C016.0000000000002000000002000000 1F41.FFBFFFFFFFFFFFFFFFFFFFFFFF00
soft: C016.0000000000002000000002000000 ....x
syst: C016.000000000000FFFFFFFFFFFFE7FF ....x
BF7E.FFFFFFFFFFFFFFFFFFFFDFFDFFFF 0000.0000000000000000000000000000
soft: BF7E.FFFFFFFFFFFFFFFFFFFFDFFDFFFF .....
syst: 3F7E.FFFFFFFFFFFFFFFFFFFFFFFFFF00 ....x
BFFB.FFFFFFFFFFFFFC40000000000000 0001.FFFFFFFFFFFFFFFFFFFFFFFDFC00
soft: BFFB.FFFFFFFFFFFFFC40000000000000 ....x
syst: 3FFB.FFFFFFFFFFFF0000000000000000 ....x
0000.0000000000000000000000000000 0000.0000000000000000000000000000
soft: 0000.0000000000000000000000000000 .....
syst: 0000.000000000000FFFFFFFFFFFDFC00 .....
BFFB.FFC0000000000000000400000000 BF80.000000000000000000001F800000
soft: BFFB.FFC0000000000000000400000000 ....x
syst: 3FFB.FFC0000000000000000000000000 ....x
0000.0000000000000000000000000000 BFBE.0000000000000100100000000000
soft: BFBE.0000000000000100100000000000 .....
syst: 3FBE.0000000000000000000000000000 ....x
4004.00000007FFFFFFFFFFFFFFFBFFFF C01E.00000000000000000000000001F7
soft: C01D.FFFFFF7FFFFFFC000000000003EE ....x
syst: 401D.FFFFFF800001FC00007F7FEFFFFE .....
C01C.FFFFFF7FFFFFFFE0000000000000 0000.0000000000000000000000000001
soft: C01C.FFFFFF7FFFFFFFE0000000000000 ....x
syst: C01C.FFFFFF7FFFFF00000000000001F7 ....x
Errors found in float128_add, rounding to_zero:
Errors found in float128_add, rounding down:
Errors found in float128_add, rounding up:
Errors found in float128_sub, rounding nearest_even:
Errors found in float128_sub, rounding to_zero:
Errors found in float128_sub, rounding down:
Errors found in float128_sub, rounding up:
Errors found in float128_mul, rounding nearest_even:
C06C.FFFFDFFFFFFFFFFFF00000000000 C0DC.FFFFFFFFFFFFFFFFFFFFFF800020
soft: 414A.FFFFDFFFFFFFFFFFEFFFFF800028 ....x
syst: 414A.FFFFDFFFFFFFFFFFF00000FFE000 ....x
0000.0000000000000000000000000000 43FE.0800000000001000000000000000
soft: 0000.0000000000000000000000000000 .....
syst: 83D0.07FFFFFFFF7C0021000000000000 .....
3BFF.7E97EDA7689F2B4952393B680C8B 374C.949D21B83C86FE11B4148F1FEAFD
soft: 334D.2E594C4EEF088CD5E6EFE7B355C6 ....x
syst: 334D.2E594C4EEF07D9C39F54D086FD89 ....x
BFFF.FF80000000000000000100000000 0000.0000000000000000000000000000
soft: 8000.0000000000000000000000000000 .....
syst: 8000.00000000000000000001FF800000 ...ux
C2C9.ED9C13ED86C05A40B5C7DC909276 C003.5288D86EA6850195EF602326C369
soft: 42CE.465FF7459E8718965538965B9141 ....x
syst: C2CE.465FF7459E873264F5675B1A409E ....x
0000.0000000000000000000000000000 0000.0000000000000000000000000000
soft: 0000.0000000000000000000000000000 .....
syst: 8000.0000000000000000000000000000 .....
DC4E.FFFFFFFFFFFFFFFFE20000000000 3FFE.03FFFFFFFFFFFFFFFFFFDFFFFFFF
soft: DC4E.03FFFFFFFFFFFFFFF0C3DFFFFFFF ....x
syst: DC4E.03FFFFFFFFFF7DFFE20000000000 ....x
0000.0000000000000000000000000000 6673.0000001FFFFF8000000000000000
soft: 0000.0000000000000000000000000000 .....
syst: 2645.0000001FDFFEFFFB00001FE00001 .....
4070.0000000000007E00000000000000 3F7F.FFFFFFFFFFFFFFFFFFFFFFFFE008
soft: 3FF1.0000000000007DFFFFFFFFFFF004 ....x
syst: 3FF1.0000000000003EFFFFFFFFFFDF80 .....
8001.FFFFFFFF7FFFFFFFFFFFFFFF0000 C144.3B2134230EF5D899E623DEF52865
soft: 0147.3B213422C02D8B91226668CE114B ....x
syst: 8147.3B213422C02D1566A230F8840001 ....x
Errors found in float128_mul, rounding to_zero:
Errors found in float128_mul, rounding down:
Errors found in float128_mul, rounding up:
Errors found in float128_div, rounding nearest_even:
FCAA.0003FFFFFFFFFFFFFFFFDFFFFFFF BFFB.0080000000000000000000004000
soft: 7CAD.FF087BC21EF087BC21EEC89B32A3 ....x
syst: FCAD.FF087BC21EEE89B2AAE8AC9C37A8 ....x
0000.0000000000000000000000000000 3C00.0000000004000000000000800000
soft: 0000.0000000000000000000000000000 .....
syst: 839D.FFFFFFFFF8000000002000000000 ....x
3FE3.0000000000000008000000001000 B24F.FFFFFF0000008000000000000000
soft: CD92.0000008000000007FFE004000000 ....x
syst: 4D92.0000008000003FFC001FFC8007FD ....x
4023.0000000000000000002000000100 0000.0000000000000000000000000000
soft: 7FFF.0000000000000000000000000000 .z...
syst: FFFF.0000000000000000000000000000 ..o.x
C070.E79797FED3CDC79B5D0D2F11EE23 BFFC.000000000001FFFFFFFFFFF00000
soft: 4073.E79797FED3C9F86C2D0F879C76C4 ....x
syst: C073.E79797FED3C99C39A6D5DFB929D8 ....x
0000.0000000000000000000000000000 0000.0000000000000000000000000000
soft: 7FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF v....
syst: FFFF.0000000000000000000000000000 .z...
401E.9D60464ED1D5220C7F3F5B8416DB BFCD.1FFFFFFFFFFFFFFFFFFFC0000000
soft: C050.6F72059B652F3AB5C671868EC03B ....x
syst: 4050.6F72059B6530379F0EFFFD923381 ....x
0000.0000000000000000000000000000 C07F.0000001000100000000000000000
soft: 8000.0000000000000000000000000000 .....
syst: 8000.0000000000000000000000000000 ...ux
C00E.000007FFFFFFC000000000000000 4400.FFFFFFFFFFFFFFFFFFFE80000000
soft: BC0C.000007FFFFFFC0000000C0000600 ....x
syst: 3C0C.000007FFFFFF200000FFFFFFE400 ....x
8001.0007FFFFFFFFFFFFFFFFFFFFFFFF 0000.0000000000000000000000000001
soft: C06F.0007FFFFFFFFFFFFFFFFFFFFFFFF .....
syst: C02F.0008000000000001000680000000 ....x
Errors found in float128_div, rounding to_zero:
Errors found in float128_div, rounding down:
Errors found in float128_div, rounding up:
Errors found in float128_sqrt, rounding nearest_even:
B6A7.FFFFFFFFFFFFFFBFFFFFFFFF7FFF
soft: 7FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF v....
syst: 3B53.6A09E667F3BCC908B2FB1366EA95 ....x
3F81.FFFFFFFFFFFFF000020000000000
soft: 3FC0.6A09E667F3BCC3608C16788B2B60 ....x
syst: 7FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF v....
0000.0000000000000000000000000000
soft: 0000.0000000000000000000000000000 .....
syst: 1FE7.EFBDED25BF80DBB0E688CC1D095E ....x
2EEE.FFFFFFFE00000000800000000000
soft: 3776.FFFFFFFF00000000000000000000 .....
syst: 3776.FFFFFFFEFFFFFFFFBFFFFFFFE000 ....x
BFFD.6B6E6BFF6AAF4ADB4B7015F42689
soft: 7FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF v....
syst: 3FFE.3105A1F0C3146C05F9AE9CD7AE96 ....x
0000.0000000000000000000000000001
soft: 1FC8.0000000000000000000000000000 .....
syst: 7FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF v....
407F.FFFFFFFFFEFFFFFE000000000000
soft: 403F.6A09E667F362468E63F925B05F2A ....x
syst: 403F.6A09E667F361EC0C9F641BDE7B05 ....x
4080.000007FFFFFC0000000000000000
soft: 403F.6A09EC101B484474DEA13BAA3E89 ....x
syst: 403F.6A09EC101B48F97864F7410E3C1E ....x
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 1FFF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF ....x
syst: 1FFF.FFFFFFFFFFFEFFFFFFFFFFFFC000 ....x
3AF7.1155D9E5AE3D960B331FD7F11D58
soft: 3D7B.088694EB5DADD504E30B7810911D ....x
syst: 3D7B.088694EB5DAE084A2B23DB30D4EE ....x
Errors found in float128_sqrt, rounding to_zero:
Errors found in float128_sqrt, rounding down:
Errors found in float128_sqrt, rounding up:
Errors found in float128_eq:
0000.0000000000000000000000000000 7FFF.000000000000000000000C000000
soft: 0 v.... syst: 0 .....
BF52.FFFFFFFFFFBFFFF0000000000000 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
BFFF.FEFFFFFFFF000000000000000000 7FFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.0000000000000000000000000000 7FFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.0000000000000000000000000000 8000.0000000000000000000000000000
soft: 1 ..... syst: 0 .....
C01E.0000100000000000000000400000 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000000 FFFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.0000000000000000000000000001 0000.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
3F8E.0800000000000000000000080000 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000001 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
BFD4.E21E216D6C4B8441000138825323 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000001 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 1 ..... syst: 0 .....
C000.C5C8E9B80F97F4977B3107298679 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
BFFC.E81D4E22283EDE4B371C011E8B5E FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
3FFB.FFFFFFFDE0000000000000000000 FFFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 1 ..... syst: 0 .....
FFFF.FFFFFFF7FFFFFFFFE00000000000 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
Errors found in float128_le:
BFFE.FFFFFFC000000000100000000000 2DA4.0000000000000003FFFFC0000000
soft: 1 ..... syst: 0 .....
C004.00000000000003FFFFFFFFFF7FFF 403D.FFFFFFFFFFFFFFFFFF0200000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 C04A.FFFFFFFFFFFFFFFFFFFDBFFFFFFF
soft: 0 ..... syst: 1 .....
BFD1.BFFFFFFFFFFFFFFFFFFFFFFF8000 4080.00000000007FF000000000000000
soft: 1 ..... syst: 0 .....
C3FF.0800000000000004000000000000 BBFF.AF7914C544B9455AE61590E9B397
soft: 1 ..... syst: 0 .....
CEB7.FFFFFFFFFFFFC000000008000000 C019.F95CFD98142698F62BF75E8F5454
soft: 1 ..... syst: 0 .....
4003.000000000001FF80000000000000 C3FF.DFFFFFFFFFFFFFFFFFFFFBFFFFFF
soft: 0 ..... syst: 1 .....
403F.FFFFFFFFC0000000400000000000 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 0 ..... syst: 1 .....
3FFD.FFFFFFFFFFFFFFF8000000080000 C400.FFFFFFBFFFFFFFFFFFFFBFFFFFFF
soft: 0 ..... syst: 1 .....
C070.FFFFFFFFFFFFFFFFFC0020000000 BD27.0000000000000000000007FFFFFC
soft: 1 ..... syst: 0 .....
C03E.FFFFFFFFFFFFFFFFFFFFBFFFFFFE 407F.FFFFF80000000000000400000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 BBFE.0000000020010000000000000000
soft: 0 ..... syst: 1 .....
C07E.FFFFFFFFFFFFFFFFFFFFEFF00000 BFFF.FFFFFFFF7FFFFFFFFFFFFFFBFFFF
soft: 1 ..... syst: 0 .....
3FFD.FFFFFFFFFFFFFFFFFFDFFE000000 0001.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 0 ..... syst: 1 .....
38A7.0000000000000000400000000002 C002.49A5CBE57184D5273101064FA0CB
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 BBFF.09BA037D4AAC6418FECEC032D1BE
soft: 0 ..... syst: 1 .....
403D.48EE42CBD3B8F4DA0D4814A588CA 8002.FFFFFFFC00000000800000000000
soft: 0 ..... syst: 1 .....
4BE8.FFFFFFFFFFE00000000000000000 0001.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 0 ..... syst: 1 .....
C0A3.00000000000000007FE000000000 3FFB.FF80000000000000000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 BFFE.FF7FFFFFFFFFFFFFFE0000000000
soft: 0 ..... syst: 1 .....
Errors found in float128_lt:
41CE.FFFFFFE800000000000000000000 3FE0.3E716E6AB3026C337DD47DED8643
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 BF38.AA3D84C3EBF4FC3B6E2FF5AD3AE7
soft: 0 ..... syst: 1 .....
4003.5CED6F4E0FFA40312C7EEF44EA6E 0000.0000000000000000000000000000
soft: 0 ..... syst: 1 .....
DFEB.FFFFFBFFE0000000000000000000 3FFD.0000000000000400000800000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 C070.0000000000000000003FEFFFFFFF
soft: 0 ..... syst: 1 .....
B96B.FFFFFFEFFFFFFFFFFFFFFDFFFFFF 0000.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
BFFF.0800000000000400000000000000 BFF3.00000007FFFFFFF8000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 C00B.00000000000000000000007FFFEF
soft: 0 ..... syst: 1 .....
4070.FFFFFFFFFFFFFFF7FFFFFFFFFFEF C03E.00000000007FFFFFFFFF80000000
soft: 0 ..... syst: 1 .....
4036.C81F9530DBFEBA675A9701F7E3DE 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 0 ..... syst: 1 .....
C0A6.00000000000000000FFFFF800000 42E7.49D2CA1E4614FD8AED7654F0B7F2
soft: 1 ..... syst: 0 .....
B7C6.58C7AD64208A81860163CCADA399 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 1 ..... syst: 0 .....
C01F.000FFFFFFFFFFFFFFFC000000000 3A25.FFF7FFFFFFFFC000000000000000
soft: 1 ..... syst: 0 .....
BFF8.0000000FFFFFFFFFFFFFFFFFFFFD 0001.0000000000000000000000000000
soft: 1 ..... syst: 0 .....
C002.0000003C00000000000000000000 3B9D.FFFFFFFFFFFFFFFFFFFFFEFFFFBF
soft: 1 ..... syst: 0 .....
C000.FFFFFFFFFFFFFFFC000020000000 0001.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
BFDC.0000800000002000000000000000 3F81.0000000000000FFFFFFFFFFF0000
soft: 1 ..... syst: 0 .....
C3FF.000000000000FFFFFFFFFF800000 400A.B3F02E070B6CF2BA390D2C19C4A0
soft: 1 ..... syst: 0 .....
C03D.B38084B367143D6595E33B2DB681 407F.0000003800000000000000000000
soft: 1 ..... syst: 0 .....
3FFB.CDE337EC98F4AA5F832602FFDA2C BFFB.FFFFFFFFFFFFFFFFFFFFFFFF7F7F
soft: 0 ..... syst: 1 .....
Errors found in float128_eq_signaling:
0000.0000000000000000000000000000 0000.0000000000000000000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 7FFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.0000000000000000000000000000 8000.0000000000000000000000000000
soft: 1 ..... syst: 0 .....
BFFC.7333D0F0C60C5591C490788DF424 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000000 FFFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.0000000000000000000000000001 0000.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
4023.8FC1E7E3878591D63F47F92D0CDB 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000001 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
B265.007FFFFFFFFFFFFFFFFFFFFFFDFF FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.0000000000000000000000000001 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
3F63.7C00000000000000000000000000 FFFF.0000000000000000000000000001
soft: 0 v.... syst: 0 .....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 1 ..... syst: 0 .....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
C400.FFFFA00000000000000000000000 FFFF.00000000000000000FE000000000
soft: 0 v.... syst: 0 .....
FFFF.0000000000000000003FF0000000 3B0F.00000000000000FFFFFFFFFFFFC0
soft: 0 v.... syst: 0 .....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 1 ..... syst: 0 .....
403F.BB150A05EB2178E01560C4688C5C 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE 7FFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
BE51.0000000000000000000200200000 FFFF.0000000000000000000000000000
soft: 0 ..... syst: 0 v....
Errors found in float128_le_quiet:
C03F.FFFFFFFFFFEFFFFFFFF000000000 404B.FFFFFFFFFFFFFFFEFFFFFFFFF7FF
soft: 1 ..... syst: 0 .....
B867.00FFFFFFFC000000000000000000 471F.5BCF08795420E5194F5FDA6A152E
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 0000.0000000000000000000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 BC1E.0000020000000000000000400000
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 BF7E.06096645EEDE21E4901D106F095F
soft: 0 ..... syst: 1 .....
4008.0000000002000000000001000000 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 0 ..... syst: 1 .....
CD4E.FFFFFFFFF0000000000000200000 C3FE.3E7FE203C4A8DA9F6C2CF3AF4009
soft: 1 ..... syst: 0 .....
FFFD.FFFFFFFFFFFFFFFFFFFFE0000200 13CB.FFFFFFFFFFF7FFFFFFFFFFFFFFBF
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 C00E.4B8C2D2C25FF18BB25C7D6A6BF8F
soft: 0 ..... syst: 1 .....
401C.FFFFFFFFFBE00000000000000000 FFFE.0010000004000000000000000000
soft: 0 ..... syst: 1 .....
407F.0000082000000000000000000000 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 0 ..... syst: 1 .....
C01F.FFFFFFFFFFFFFFFFFFDFFFE00000 C017.0000000000090000000000000000
soft: 1 ..... syst: 0 .....
C070.9428B15A971F54B297E53506CEA7 C003.000000000FFFFFFFFFFFFFFFFFFD
soft: 1 ..... syst: 0 .....
4005.FFFF800000000000000000000008 0001.0000000000000000000000000000
soft: 0 ..... syst: 1 .....
3FFE.FFFFFFFFFFFBFFFFFFFFFFFFFBFF C03F.FFFFFFFFFFFFFFFFFFFFFFFEBFFF
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 C03C.FFFFFFFFFFFFFFFFFFFEFFFFEFFF
soft: 0 ..... syst: 1 .....
C001.EFFFFFFFFFFFFFFFFFFFEFFFFFFF 0001.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
C000.0000800000000000800000000000 B047.0007FFFFFFFFFFFFF80000000000
soft: 1 ..... syst: 0 .....
400A.1FFFFFFFFFFFFFFFFFFFFFFFFFE0 0001.FFFFFFFFFFFFFFFFFFFFFFFFFFFF
soft: 0 ..... syst: 1 .....
C2AD.788271EF80926974DE41DB37DF7E 43BF.FFFFFFFF80000000000000001000
soft: 1 ..... syst: 0 .....
Errors found in float128_lt_quiet:
0000.0000000000000000000000000000 BFFB.FFFFFFFFFE000000001000000000
soft: 0 ..... syst: 1 .....
3FFD.0010000000000000100000000000 C064.7FFFFFFFFFFFFFFFFFFFFF000000
soft: 0 ..... syst: 1 .....
C016.A0E1B208FF51E84B913884DCF266 401F.AEFB2FF2FFF8085BC51986151F6A
soft: 1 ..... syst: 0 .....
C137.993525BED5350E0CF3440574F3DE BC5C.FFBFFFFFFFFFFFC0000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 BEC7.00FFFFFFFFFFFFFFFFE000000000
soft: 0 ..... syst: 1 .....
3F8E.0000000000000000000FFFFFFFBF 2D5D.00000000000000000007FFBFFFFF
soft: 0 ..... syst: 1 .....
C3FF.FFFFFFFFFFFFFFFFFFFFFFFFFFFF 0000.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
BDF3.FF7FFFFFFFFFFFFFFFFFFFFFFFF7 4002.0000000000000FFF000000000000
soft: 1 ..... syst: 0 .....
0000.0000000000000000000000000000 0000.0000000000000000000000000001
soft: 1 ..... syst: 0 .....
C003.8000000000000000000000000400 C002.FFFFEFFFFFFFFFFFFFFFFDFFFFFF
soft: 1 ..... syst: 0 .....
3996.1134B7B464B394AB65458DCE31D4 BF7E.435149F0BF99901BFD201C821228
soft: 0 ..... syst: 1 .....
BFFB.000000000000000000C000000000 0000.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 1 ..... syst: 0 .....
3FC4.0000000000000400800000000000 C002.000000007FFFF800000000000000
soft: 0 ..... syst: 1 .....
403C.D1502E96992AA980AC44903FB4CE C080.FFFFFFFFFFFFFFFFFFEFFFFFC000
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 BFA2.94B1FC28BD21B9DB9D94C4BDA512
soft: 0 ..... syst: 1 .....
0000.0000000000000000000000000000 BF8E.2000000000000000000000002000
soft: 0 ..... syst: 1 .....
4001.6A01D89A27E2FE7E843C6C2ECB89 0001.0000000000000000000000000001
soft: 0 ..... syst: 1 .....
401D.FFFFFFFFFC000000000000000020 C03C.0400008000000000000000000000
soft: 0 ..... syst: 1 .....
C03F.7423B6BDE1D7F3C27BE60320E845 0001.FFFFFFFFFFFFFFFFFFFFFFFFFFFE
soft: 1 ..... syst: 0 .....
C014.FFFFFFFFFFFFFEFFFFFFEFFFFFFF 4001.FFFFFFFFFFBFFFFFFFF000000000
soft: 1 ..... syst: 0 .....
--=20
Peter Jeremy
--6Nae48J/T25AfBN4
Content-Type: application/pgp-signature
Content-Disposition: inline
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.14 (FreeBSD)
iEYEARECAAYFAkulXV0ACgkQ/opHv/APuIcEdACfRlVYp8BP+bfEbG1sDEGOpyC/
3ckAniMGi224YdiqBFe6CPzQ/5f+W+hK
=NeID
-----END PGP SIGNATURE-----
--6Nae48J/T25AfBN4--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201003202350.o2KNo3Jm015516>