0004984: Error in the num library

(0005249)
glondu (reporter)
2010-02-22 00:28

I've been told that it is a 64-bit kernel with a 32-bit userland, actually.

(0005250)
xleroy (administrator)
2010-02-24 16:54

I have an old Sparc running an old version of Debian Linux, but it doesn't exhibit the problem: "11/10" is obtained. Moreover, commit 9320 affects only input_value on big ints, so I don't think it is related. I would rather suspect a change in gcc that could have exposed a problem in the Sparc-specific inline assembly.

If you're willing to test some more, you could start by turning off the Sparc-specific asm: just edit the toplevel "configure" file to remove the line that reads

sparc) bng_arch=sparc; bng_asm_level=1;;

Then you can rebuild OCaml as usual and see if the problem is still there. Do keep me informed of the results.

(0005251)
glondu (reporter)
2010-02-24 23:09

Indeed, the same bug exists with the commit mentioned in the initial report reverted.

The bug disappears after commenting out the said line in configure.

(0005318)
xleroy (administrator)
2010-04-18 10:46

Thanks for the test. Turned off selection of SPARC asm for BNG in configure. Better slower than wrong.

Issue History
Date Modified	Username	Field	Change
2010-02-21 22:58	glondu	New Issue
2010-02-22 00:28	glondu	Note Added: 0005249
2010-02-24 16:54	xleroy	Note Added: 0005250
2010-02-24 16:54	xleroy	Status	new => feedback
2010-02-24 23:09	glondu	Note Added: 0005251
2010-04-18 10:46	xleroy	Note Added: 0005318
2010-04-18 10:46	xleroy	Status	feedback => closed
2010-04-18 10:46	xleroy	Resolution	open => fixed
2010-04-18 10:46	xleroy	Fixed in Version	=> 3.12.0+dev

Notes
(0005249) glondu (reporter) 2010-02-22 00:28	I've been told that it is a 64-bit kernel with a 32-bit userland, actually.

(0005250) xleroy (administrator) 2010-02-24 16:54	I have an old Sparc running an old version of Debian Linux, but it doesn't exhibit the problem: "11/10" is obtained. Moreover, commit 9320 affects only input_value on big ints, so I don't think it is related. I would rather suspect a change in gcc that could have exposed a problem in the Sparc-specific inline assembly. If you're willing to test some more, you could start by turning off the Sparc-specific asm: just edit the toplevel "configure" file to remove the line that reads sparc) bng_arch=sparc; bng_asm_level=1;; Then you can rebuild OCaml as usual and see if the problem is still there. Do keep me informed of the results.

(0005251) glondu (reporter) 2010-02-24 23:09	Indeed, the same bug exists with the commit mentioned in the initial report reverted. The bug disappears after commenting out the said line in configure.

(0005318) xleroy (administrator) 2010-04-18 10:46	Thanks for the test. Turned off selection of SPARC asm for BNG in configure. Better slower than wrong.

Relationships