From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 135577ED1A for ; Tue, 15 May 2012 19:34:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwKAH6Ssk9QRFuw/2dsb2JhbABEsl8DgR+BB4IVAQEFOj8QCxIGHBIUKA0UiCW7D4VTRIUFYYUfBJV8kEGCag X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; d="scan'208";a="158515576" 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:34:36 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1SULds-00045q-Ei; Tue, 15 May 2012 18:34:36 +0100 Date: Tue, 15 May 2012 18:34:36 +0100 From: "Richard W.M. Jones" To: Benedikt Meurer Cc: caml-list Message-ID: <20120515173436.GY18947@annexia.org> References: <20120515171144.GC18493@annexia.org> <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] Re: Anyone using Benedikt Meurer's new ARM code generator? 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