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 B56587ED67 for ; Sat, 11 Aug 2012 11:48:04 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of benedikt.meurer@googlemail.com) identity=pra; client-ip=209.85.214.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="benedikt.meurer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of benedikt.meurer@googlemail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="benedikt.meurer@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="benedikt.meurer@googlemail.com"; x-sender="postmaster@mail-bk0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQCAM8pJlDRVdY2k2dsb2JhbABEFrlbCCIBAQEBCQkLCRQEI4IgAQEBAwESAiYGAQE3AQQLCwsDJhI0AQUBHAY1h1sBAwYGBAeZTAkDimaELwEFhQ8KQA2JSAaLDxSFPWCVToEUjR4+hACBVA X-IronPort-AV: E=Sophos;i="4.77,749,1336341600"; d="scan'208";a="169648436" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Aug 2012 11:48:04 +0200 Received: by bkcje9 with SMTP id je9so1117386bkc.27 for ; Sat, 11 Aug 2012 02:48:03 -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=g7UJF5/0hcmp6rwByGqQ7vDs1g17ZmaMX4cvfwcN4LY=; b=enh1rNyAHnCBECqC3epDuZ42lUUjLFLGC465LGnk9hLxEiu3M9OvmynnSCUlZgwPwj LtlXZvIB1SU0f7B0z+kC612Gq/0S5CTiRVypdUjqm4mQ+BUV0wOsRtwN6nRMRmxySToU SISzbDvOUWRyJHhkQMwjwjEttDB7D4+9OIjDCvjoxjjLKP/1sAcNZgMzbA9JNJQvIoM0 pgJBZcY0BlN9QaVb2d/SbeWFWWXVrnp/ztXJujgH1NQm+GdnSEPe5IdDQmg8z+jQzmpX M1CNn+XdZ9B6KnthPQ7TyyPvFTQrLHpcDwLT+J1ymmmzStwFyHEAWk34GYwd+58G/AV8 km6w== Received: by 10.204.157.10 with SMTP id z10mr2186340bkw.63.1344678483584; Sat, 11 Aug 2012 02:48:03 -0700 (PDT) Received: from tatooine.in.benediktmeurer.de (sign-4db6014b.pool.mediaWays.net. [77.182.1.75]) by mx.google.com with ESMTPS id hg13sm429072bkc.7.2012.08.11.02.48.02 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 11 Aug 2012 02:48:03 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1278) Content-Type: text/plain; charset=us-ascii From: Benedikt Meurer In-Reply-To: Date: Sat, 11 Aug 2012 11:48:01 +0200 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: <0DAB6C5E-6C68-47E0-B71F-A033DADB5BB0@gmail.com> References: <51E93001-B3AB-4B8D-B46C-7ACA11346C38@psellos.com> <2FFC6735-76BE-426E-80CD-73CE529FF3FA@gmail.com> To: Jeffrey Scofield X-Mailer: Apple Mail (2.1278) Subject: [Caml-list] Re: ARM code generator problem On Aug 11, 2012, at 10:57 , Jeffrey Scofield wrote: > Benedikt, Hey Jeffrey, >> 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. >=20 > 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. >=20 > If you're not too put off by the ugliness of the compatibility changes, > I'd be very happy to merge the code. I started work on merging your code, see the diff here: https://github.com/bmeurer/ocaml-arm/compare/bm/ios That handles most of the basic stuff. Now there are some open issues, i.e. = what about .arch / .machine? Is that armv6 vs. armv7 thing an ABI differenc= e? You can install Debian armel within qemu to easily test the Linux ARM stuff= . Preinstalled Debian/squeeze images are available from http://people.debia= n.org/~aurel32/qemu/armel/ > Best regards, > Jeffrey Benedikt