From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,91d0d8cd28bbb477
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news1.google.com!news.glorb.com!proxad.net!cleanfeed4-b.proxad.net!nnrp13-2.free.fr!not-for-mail
Return-Path: <baldrick@free.fr>
X-Greylist: delayed 3105 seconds by postgrey-1.24 at green;
	Thu, 10 May 2007 11:43:26 CEST
From: Duncan Sands <baldrick@free.fr>
To: comp.lang.ada@ada-france.org, mailbox@dmitry-kazakov.de
Subject: Re: Implementing an Ada compiler and libraries.
Date: Thu, 10 May 2007 10:51:14 +0200
User-Agent: KMail/1.9.6
References: <1178721451.073700.10730@y80g2000hsf.googlegroups.com>
	<1178731280.075981.23040@u30g2000hsc.googlegroups.com>
	<8cu67r7wcdn7$.18rtn6g7506w2$.dlg@40tude.net>
In-Reply-To: <8cu67r7wcdn7$.18rtn6g7506w2$.dlg@40tude.net>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
X-Virus-Scanned: by amavisd-new-20030616-p10 at math.u-psud.fr
X-Virus-Scanned: amavisd-new at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.9rc1
Precedence: list
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Newsgroups: comp.lang.ada
Message-ID: <mailman.141.1178790214.18371.comp.lang.ada@ada-france.org>
X-Leafnode-NNTP-Posting-Host: 88.191.17.134
Organization: Guest of ProXad - France
NNTP-Posting-Date: 10 May 2007 11:45:04 MEST
NNTP-Posting-Host: 88.191.14.223
X-Trace: 1178790304 news-1.free.fr 22802 88.191.14.223:51924
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:15708
Date: 2007-05-10T11:45:04+02:00

> > LLVM would be capable of this.
> 
> Then is not a cross-platform, I mean the only platform here is the VM.
> Otherwise, it could be doable. Though many static things which are
> platform-dependent will cease to be compile-time static. So you will be
> unable to have certain things fully precompiled.

LLVM, in spite of the name, is not a virtual machine like java.  It is
a compiler, or rather a compiler library, with a platform independent
IR.  The gcc C and C++ front-ends have been ported to LLVM, i.e. the
LLVM optimizers and IR are used instead of the gcc ones, and I'm currently
porting the Ada front-end to it.  The LLVM IR produced is not platform
independent, simply because the gcc trees produced by the front-ends are
not platform independent.

Ciao,

Duncan.