0005623: New ARM backend generates bad code for camomile 0.8.3 "gen_mappings" program.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005623

OCaml

OCaml backend (code generation)

public

2012-05-25 10:59

2012-06-02 20:05

Reporter

Richard Jones

Assigned To

meurer

Priority

normal

Severity

crash

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

arm7hl

Linux

OS Version

Fedora 17

Product Version

3.12.1

Target Version

Fixed in Version

Summary

0005623: New ARM backend generates bad code for camomile 0.8.3 "gen_mappings" program.

Description

The new ARM backend (from OCaml SVN) generates bad code which segfaults when camomile 0.8.3 is being built.

Steps To Reproduce

Using 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 Information

There is a thread about this on caml-list:
https://sympa.inria.fr/sympa/arc/caml-list/2012-05/msg00119.html [^]

Tags

No 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