From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBLABK7O002727
	for <caml-list@sympa-roc.inria.fr>; Wed, 21 Dec 2011 11:11:20 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvEBAJWw8U5KfVK2kWdsb2JhbABDrA8IIgEBAQEJCwsbBCGBcgEBAQECARICLAEBOAQLCzQHCzQBBQEcBicOh1gCmj8KijOEHQGONAeLLGOifz2Deg
X-IronPort-AV: E=Sophos;i="4.71,387,1320620400"; 
   d="scan'208";a="124158194"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2011 11:11:05 +0100
Received: by werb13 with SMTP id b13so4813999wer.27
        for <caml-list@inria.fr>; Wed, 21 Dec 2011 02:11:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=content-type:mime-version:subject:from:in-reply-to:date
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=+znfpHLUnhn0GiWR/abchFTOXdpTCTN1u9SL9EMJz4o=;
        b=B47u16GFpwtQ02q3JallvDftKIgNqeSZCIXHuANo5FCPuvjbxvASkvcrVq9juEm7+o
         sMGokY2rvsxwUgDKQO6IlCeNrLeRVIjLoNicXhUcTq4fTD8bDQE8la25w48hgmdc3YdQ
         F7vG5tzo0o8KHn8lKsehPAuy60Py8PZKgKXl8=
Received: by 10.216.132.199 with SMTP id o49mr8520297wei.50.1324462265368;
        Wed, 21 Dec 2011 02:11:05 -0800 (PST)
Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32])
        by mx.google.com with ESMTPS id z5sm12229135wix.5.2011.12.21.02.11.03
        (version=SSLv3 cipher=OTHER);
        Wed, 21 Dec 2011 02:11:03 -0800 (PST)
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0 (Apple Message framework v1251.1)
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
In-Reply-To: <4EEE2197.6010305@glondu.net>
Date: Wed, 21 Dec 2011 11:11:03 +0100
Message-Id: <05393427-79DB-4281-8768-A7A5DA7187A4@googlemail.com>
References: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> <4EE37070.4010702@inria.fr> <4EE63E88.40805@glondu.net> <C2D371F3-9553-4D85-821A-E521BDC2FA91@googlemail.com> <AB320EDD-5A86-413C-AFBF-A6A40E4E9AE8@googlemail.com> <A72D4587-0857-42A8-8F6C-633C80686A5B@googlemail.com> <4EEE2197.6010305@glondu.net>
To: caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.1251.1)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBLABK7O002727
Subject: Re: [Caml-list] New experimental ARM backend [was: OCaml maintenance status / community fork (again)]


On Dec 18, 2011, at 18:23 , Stéphane Glondu wrote:

> Le 18/12/2011 14:08, Benedikt Meurer a écrit :
>> While we are at it: Can we have this patch applied to the Debian OCaml package? This would (a) get OCaml running native on armhf and (b) get some testing / feedback for the patch.
> 
> The git repository looks more sensible, but the history is kind of messy
> (e.g. one big initial import removing/duplicating arm.S, then later
> merge). My advice is to maintain a clean patch series (e.g. one patch
> for each new feature you advertise, or whatever logical split you see
> fit), in addition to publishing your working git repository.

I did some initial work on this in the development branch. This is for the trivial stuff.

> What tests did you perform, by the way?

The test suite that ships with OCaml plus some custom test programs to test specific cases in the instruction selection and scheduling.

> Cheers,
> Stéphane

Benedikt