[Caml-list] Re: Anyone using Benedikt Meurer's new ARM code generator?

["Richard W.M. Jones" <rich@annexia.org>]

On Tue, May 15, 2012 at 07:31:41PM +0200, Benedikt Meurer wrote:
> 
> On May 15, 2012, at 19:11 , Richard W.M. Jones wrote:
> 
> Hey Rich,
> 
> > We recently put bmeurer's new ARM backend into Fedora/ARM, and
> > generally it works well.
> > 
> > However (very very occasionally) I'm getting odd segfaults from
> > programs.  One example is in camomile 0.8.3 during compilation:
> > 
> >  ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx
> >  cd mappings && ./gen_mappings.opt
> >  /bin/sh: line 1: 13996 Illegal instruction     ./gen_mappings.opt
> >  make: *** [mappings/cns11643.mar] Error 132
> > 
> > Another is in libguestfs (in the virt-sysprep program, but it seems to
> > be a problem in the generated bindings).  I'm not sure this is the
> > same problem as in camomile.
> > 
> > I'd just like to compare notes with anyone else using the new backend.
> 
> I haven't heard of any problems yet. Can you provide additional information, i.e. architecture (armel/armhf), platform, etc.?

It's a trimslice, running what Fedora calls armv7hl.tegra.

I don't want to say this is a real bug yet, because I'm actually using
a version of your code which I backported onto 3.12.1 myself -- not
realizing there was already a tree you wrote that contained that.  In
any case I need to test again with the upstream OCaml from SVN
(why-oh-why doesn't OCaml use git!)

Rich.

-- 
Richard Jones
Red Hat