From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <benedikt.meurer@googlemail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id C5B137ED1A
	for <caml-list@sympa.inria.fr>; Tue, 15 May 2012 19:31:48 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlEBAECSsk/RVdSukGdsb2JhbABEs3kIIgEBAQEJCQ0HFAQjghUBAQEDARICJgYBATcBBAsLCwciEjQBBQEODgY1h10BAwYFBJwrCQOKZoQxAYUVCkANiU0GixyFHWOWAY5gPYQO
X-IronPort-AV: E=Sophos;i="4.75,595,1330902000"; 
   d="scan'208";a="143922084"
Received: from mail-wi0-f174.google.com ([209.85.212.174])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 May 2012 19:31:48 +0200
Received: by wibhr14 with SMTP id hr14so2665440wib.9
        for <caml-list@inria.fr>; Tue, 15 May 2012 10:31:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=20120113;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=vFYOzt1HRV97H6iqsDa0pLZgh7AiWIu+SLw4DK+zVS4=;
        b=gTHH7WA4s5LNxcImpyLnPM7l8T5dzz3MFLDsRhZXZLtvH9wS3jin2F9SSbFny+RSET
         I7qRZ6WFjnSuKOmgyLtyYrMSS+G9W164XKgQRLB1VMbqzgdVFZjkNmDQZnDgwlTR1S7E
         QIEtPdPU+Kad51gA6it/8K+H/Px1YfbleCyhRvjGoNZzB4xZT7099IeWdm0Cx+Epn/F9
         ycDohi62oCf+/FBb8RQmS8YRjizNQQXRtOQM30pyuOzkU5YI3agAbczIzuD6tFnYRmd/
         g0Igfu6igMj5HKOFS1FM9fX86rCB9qVFqeES1PJu5+HOgMUqgSoKVXqLkRO0TQEBpL4f
         KKtg==
Received: by 10.216.135.199 with SMTP id u49mr8606956wei.7.1337103107643;
        Tue, 15 May 2012 10:31:47 -0700 (PDT)
Received: from tatooine.in.benediktmeurer.de (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32])
        by mx.google.com with ESMTPS id ex2sm68511140wib.8.2012.05.15.10.31.46
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 15 May 2012 10:31:46 -0700 (PDT)
Mime-Version: 1.0 (Apple Message framework v1278)
Content-Type: text/plain; charset=us-ascii
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
In-Reply-To: <20120515171144.GC18493@annexia.org>
Date: Tue, 15 May 2012 19:31:41 +0200
Cc: caml-list <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
Message-Id: <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com>
References: <20120515171144.GC18493@annexia.org>
To: Richard W.M. Jones <rich@annexia.org>
X-Mailer: Apple Mail (2.1278)
Subject: [Caml-list] Re: Anyone using Benedikt Meurer's new ARM code
 generator?


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.
>=20
> However (very very occasionally) I'm getting odd segfaults from
> programs.  One example is in camomile 0.8.3 during compilation:
>=20
>  ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mapping=
s/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappin=
gs.cmx
>  cd mappings && ./gen_mappings.opt
>  /bin/sh: line 1: 13996 Illegal instruction     ./gen_mappings.opt
>  make: *** [mappings/cns11643.mar] Error 132
>=20
> 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.
>=20
> 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.?

> Rich.

Benedikt=