Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004869OCamlOCaml generalpublic2009-09-18 15:372012-09-25 20:07
Reporterlouis 
Assigned Toxleroy 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version3.13.0+dev 
Summary0004869: assembly labels loop on huge generated .ml files
Descriptionnative code generation uses a barrier at 100000 for the generation of asm labels, at least on i386 and amd64 (haven't tried others). This only happens when using ocaml on very huge generated code, but there doesn't seem to be a good reason to enforce this limitation (except, perhaps, readability of the asm); besides, ocaml doesn't complain but generates invalid assembly code.
Additional Informationhere is a possible patch that replaces the barrier at 100000 to max_int/2 : it's not pretty but solves the issue alright
TagsNo tags attached.
Attached Filespatch file icon asmlabels.patch [^] (1,534 bytes) 2009-09-18 15:37 [Show Content]

- Relationships

-  Notes
(0006373)
xleroy (administrator)
2011-12-18 11:02

Tentative fix in SVN trunk, commit 11887. Tested only on AMD64/Linux so far.
(0006374)
meurer (developer)
2011-12-18 12:16

Confirmed to work with ARM/Linux.
(0006376)
meyer (developer)
2011-12-18 14:00

I bumped on it also just few days ago at work when compiling 200K of mechanically generated OCaml code, I'll validate it today and update the issue.

Thank you for fixing this!
(0006424)
meyer (developer)
2011-12-20 22:38

Indeed, I tried with the project that stopped compiling and it works flawlessly.

Sorry to keep you waited.

- Issue History
Date Modified Username Field Change
2009-09-18 15:37 louis New Issue
2009-09-18 15:37 louis File Added: asmlabels.patch
2011-05-31 16:32 doligez Status new => assigned
2011-05-31 16:32 doligez Assigned To => xleroy
2011-12-18 11:02 xleroy Note Added: 0006373
2011-12-18 11:02 xleroy Status assigned => resolved
2011-12-18 11:02 xleroy Resolution open => fixed
2011-12-18 11:02 xleroy Fixed in Version => 3.13.0+dev
2011-12-18 12:16 meurer Note Added: 0006374
2011-12-18 14:00 meyer Note Added: 0006376
2011-12-20 22:38 meyer Note Added: 0006424
2012-09-25 20:07 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker