From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 902A27ED1A
	for <caml-list@sympa.inria.fr>; Tue, 15 May 2012 19:11:47 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgoKAIKNsk9QRFuw/2dsb2JhbABEsl8DgR+BB4JWP08mKCGIJbsMhVNEhWaEPGMElXyQQYJq
X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; 
   d="scan'208";a="158513299"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 May 2012 19:11:46 +0200
Received: from rich by furbychan.cocan.org with local (Exim 4.72)
	(envelope-from <rich@annexia.org>)
	id 1SULHk-00041j-Qk; Tue, 15 May 2012 18:11:44 +0100
Date: Tue, 15 May 2012 18:11:44 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: caml-list <caml-list@inria.fr>
Cc: Benedikt Meurer <benedikt.meurer@googlemail.com>
Message-ID: <20120515171144.GC18493@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: [Caml-list] Anyone using Benedikt Meurer's new ARM code generator?


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.

Rich.

-- 
Richard Jones
Red Hat