From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeffsco@psellos.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 346B97ED67
	for <caml-list@sympa.inria.fr>; Sat, 11 Aug 2012 10:57:34 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=pra; client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=mailfrom;
  client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pse.psellos.com) identity=helo;
  client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="postmaster@pse.psellos.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EAP8cJlCuedqy/2dsb2JhbABEuXmBB4IgAQEEATo/BQtRVwaIGga4J4sjhT1gA4hOklmKM4J/gTY
X-IronPort-AV: E=Sophos;i="4.77,749,1336341600"; 
   d="scan'208";a="152880663"
Received: from pse.psellos.com ([174.121.218.178])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Aug 2012 10:57:33 +0200
Received: from [192.168.0.23] (71-212-116-164.tukw.qwest.net [71.212.116.164])
	(authenticated bits=0)
	by pse.psellos.com (8.13.8/8.13.8) with ESMTP id q7B8vPdC024274
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO);
	Sat, 11 Aug 2012 03:57:30 -0500
References: <51E93001-B3AB-4B8D-B46C-7ACA11346C38@psellos.com> <EEE012FC-518B-4F89-9992-69E0958BF8CE@gmail.com> <2FFC6735-76BE-426E-80CD-73CE529FF3FA@gmail.com>
In-Reply-To: <2FFC6735-76BE-426E-80CD-73CE529FF3FA@gmail.com>
Mime-Version: 1.0 (Apple Message framework v1280)
Content-Type: text/plain; charset=us-ascii
Message-Id: <A08E2296-FDAF-414F-919C-4F20F2DB9E63@psellos.com>
Content-Transfer-Encoding: 7bit
Cc: Jeffrey Scofield <jeffsco@psellos.com>, Caml List <caml-list@inria.fr>
From: Jeffrey Scofield <jeffsco@psellos.com>
Date: Sat, 11 Aug 2012 01:57:24 -0700
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
X-Mailer: Apple Mail (2.1280)
X-Validation-by: jeffsco@psellos.com
Subject: [Caml-list] ARM code generator problem

Benedikt,

> Looking through the arm-as-to-ios script you published, I could merge
> most of the label, symbol addressing and jump table related code. BTW
> you're script isn't going to work for large compilation units, because
> the range of the LDR instruction is limited and you always allocate the
> pool at the end of the file.

Since I only use the script to process arm.S, I didn't work *too* hard
at making it work for everything.  But I thought it might be useful
to other people as a starting point, or as a catalog of the changes
I had to make.

If you're not too put off by the ugliness of the compatibility changes,
I'd be very happy to merge the code.

Thanks for looking at my work.

Best regards,

Jeffrey