From: Duncan Sands <baldrick@free.fr>
To: comp.lang.ada@ada-france.org
Cc: Pascal Obry <pascal@obry.net>
Subject: Re: Implementing an Ada compiler and libraries.
Date: Thu, 10 May 2007 22:01:02 +0200
Date: 2007-05-10T22:50:03+02:00 [thread overview]
Message-ID: <mailman.143.1178830010.18371.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <4643579E.9000305@obry.net>
> Why not play on a C generator for the Ada language ?
I have one! I'm porting the GNAT Ada f-e to LLVM
(http://llvm.org/), which replaces the gcc code
optimizers with those of LLVM. LLVM has a C backend
which turns its IR into C. So you can put Ada in and
get C out. Unfortunately the C is not always compilable.
For example, if you compile an instance of GNAT.Table with
Natural as the index type, in the C you end up with the
declaration of a very big C array, corresponding to
Big_Table_Type. This array is rejected by the gcc C
compiler as too big. Still, it works most of the time.
Ciao,
Duncan.
next prev parent reply other threads:[~2007-05-10 20:01 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-09 14:37 Implementing an Ada compiler and libraries Lucretia
2007-05-09 16:51 ` Dmitry A. Kazakov
2007-05-09 17:21 ` Lucretia
2007-05-10 7:59 ` Dmitry A. Kazakov
2007-05-10 8:51 ` Duncan Sands
2007-05-10 17:39 ` Lucretia
2007-05-10 18:06 ` Lucretia
2007-05-10 19:30 ` Dmitry A. Kazakov
2007-05-11 7:14 ` Gautier
2007-05-11 17:39 ` Lucretia
2007-05-11 17:43 ` Lucretia
2007-05-11 18:20 ` Robert A Duff
2007-05-11 18:49 ` Lucretia
2007-05-11 20:34 ` Georg Bauhaus
2007-05-11 22:37 ` Lucretia
2007-05-11 22:06 ` Robert A Duff
2007-05-11 22:41 ` Lucretia
2007-05-16 19:40 ` Randy Brukardt
2007-05-09 20:48 ` Robert A Duff
2007-05-10 3:38 ` Lucretia
2007-05-16 19:58 ` Randy Brukardt
2007-05-09 21:15 ` Gautier
2007-05-10 3:39 ` Lucretia
2007-05-10 15:34 ` Stefan Bellon
2007-05-10 16:25 ` Jean-Pierre Rosen
2007-05-10 17:07 ` Ludovic Brenta
2007-05-10 17:14 ` Stefan Bellon
2007-05-10 16:37 ` Ludovic Brenta
2007-05-10 16:43 ` Stefan Bellon
2007-05-10 16:49 ` Ludovic Brenta
2007-05-10 17:02 ` Stefan Bellon
2007-05-10 19:57 ` Jacob Sparre Andersen
2007-05-10 20:31 ` Simon Wright
2007-05-10 17:37 ` Pascal Obry
2007-05-11 10:09 ` Ludovic Brenta
2007-05-11 16:33 ` Pascal Obry
2007-05-10 17:36 ` Pascal Obry
2007-05-10 17:42 ` Lucretia
2007-05-10 17:34 ` Pascal Obry
2007-05-10 17:48 ` Lucretia
2007-05-10 20:01 ` Duncan Sands [this message]
2007-05-10 21:00 ` Pascal Obry
2007-05-11 11:04 ` Duncan Sands
2007-05-13 12:03 ` Ludovic Brenta
2007-05-10 21:00 ` Pascal Obry
2007-05-11 8:39 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox