Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005623OCamlOCaml backend (code generation)public2012-05-25 10:592012-06-02 20:05
ReporterRichard Jones 
Assigned Tomeurer 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionfixed 
Platformarm7hlOSLinuxOS VersionFedora 17
Product Version3.12.1 
Target VersionFixed in Version 
Summary0005623: New ARM backend generates bad code for camomile 0.8.3 "gen_mappings" program.
DescriptionThe new ARM backend (from OCaml SVN) generates bad code which segfaults when camomile 0.8.3 is being built.
Steps To ReproduceUsing OCaml from SVN, on arm7hl, do:

wget 'http://prdownloads.sourceforge.net/camomile/camomile-0.8.3.tar.bz2' [^]
bzcat camomile-0.8.3.tar.bz2 | tar xf -
cd camomile-0.8.3
./configure
make

The build will segfault when it runs the 'gen_mappings' program.
Additional InformationThere is a thread about this on caml-list:
https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00119.html [^]
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007506)
meurer (developer)
2012-06-02 20:04

Ok, this bug was quite tricky. Actually the Thumb-2 TBH instruction used to implement the Lswitch cannot handle backward jumps, which wasn't handled properly by the emitter. This should be fixed in trunk and 4.00 with revision 12548.
(0007507)
meurer (developer)
2012-06-02 20:05

Fixed in trunk and 4.00 with revision 12548.

- Issue History
Date Modified Username Field Change
2012-05-25 10:59 Richard Jones New Issue
2012-05-25 11:12 meurer Assigned To => meurer
2012-05-25 11:12 meurer Status new => assigned
2012-06-02 20:04 meurer Note Added: 0007506
2012-06-02 20:05 meurer Note Added: 0007507
2012-06-02 20:05 meurer Status assigned => resolved
2012-06-02 20:05 meurer Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker