From: Brian Drummond <brian@shapes.demon.co.uk>
Subject: Re: Is this Forum Moderated?
Date: Mon, 21 May 2018 11:40:13 -0000 (UTC)
Date: 2018-05-21T11:40:13+00:00 [thread overview]
Message-ID: <pdub6t$jrm$1@dont-email.me> (raw)
In-Reply-To: 76f63959-e26a-407e-a029-b13fd12540d3@googlegroups.com
On Sun, 20 May 2018 09:18:15 -0700, Dan'l Miller wrote:
>
> There is a fair chance that LLVM already has all the primitives needed
> to express every conceivable Ada construct and semantics. (GNAT didn't
> have to extend GCC's C IR very much over all these years; there have
> been 10 tree types added to GCC's C IR for Ada topics, and even 6 of
> those have varying degrees of ‘it never actually shows up in the tree
> downstream from GIGI’.)
One it doesn't have : support for nested subprograms. It's too heavily
modelled on C.
I believe this was one of the problems Dragonegg was facing.
The GHDL project already faced this, when translating its own IR
("ortho") to the LLVM backend, and overcame it successfully, so it's not
a total showstopper
I haven't dived into src/ortho/llvm in the ghdl source tree to find out
how Tristan did it.
-- Brias
next prev parent reply other threads:[~2018-05-21 11:40 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-20 11:46 Is this Forum Moderated? patrick
2018-05-20 12:07 ` Jere
2018-05-20 13:24 ` Dan'l Miller
2018-05-20 14:35 ` Dennis Lee Bieber
2018-05-20 13:57 ` Shark8
2018-05-20 14:26 ` Dennis Lee Bieber
2018-05-20 14:42 ` Simon Wright
2018-05-20 15:18 ` patrick
2018-05-20 15:53 ` patrick
2018-05-20 23:52 ` Shark8
2018-05-20 16:18 ` Dan'l Miller
2018-05-21 11:40 ` Brian Drummond [this message]
2018-05-21 15:06 ` Dan'l Miller
[not found] ` <e3cac5bb-5e1e-47de-8401-219287dff804@googlegroups.com>
[not found] ` <pdruhr$70h$1@dont-email.me>
2018-05-20 17:34 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox