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,b1f4420d01b2c4eb
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp16-2.free.fr!not-for-mail
Return-Path: <baldrick@free.fr>
X-Virus-Scanned: amavisd-new at ada-france.org
From: Duncan Sands <baldrick@free.fr>
To: comp.lang.ada@ada-france.org
Subject: Re: LLVM--Low Level Virtual Machine--and Ada
Date: Thu, 19 Jul 2007 16:56:26 +0200
User-Agent: KMail/1.9.7
References: <1184730995.862147.208590@g12g2000prg.googlegroups.com>
	<mailman.2.1184755766.3834.comp.lang.ada@ada-france.org>
	<1184855418.765903.302810@z24g2000prh.googlegroups.com>
In-Reply-To: <1184855418.765903.302810@z24g2000prh.googlegroups.com>
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
Cc: Maxim Reznik <reznikmm@gmail.com>
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.3.1184856997.3834.comp.lang.ada@ada-france.org>
X-Leafnode-NNTP-Posting-Host: 88.191.17.134
Organization: Guest of ProXad - France
NNTP-Posting-Date: 19 Jul 2007 17:00:03 MEST
NNTP-Posting-Host: 88.191.14.223
X-Trace: 1184857203 news-2.free.fr 26666 88.191.14.223:40014
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:16517
Date: 2007-07-19T17:00:03+02:00

Hi Maxim,

> I read llvm specification long time ago. There weren't many operations
> needed to run Ada programs on it. Such as overflow checks on integer
> arithmetic (even divide by 0),

these are generated as explicit conditional statements by the
front-end, the same as for gcc, so no special LLVM support
needed here.  If it had special support that would be great
of course.  But it is no worse than gcc in this respect.

> variable access from nested subprogram by lexical level

I've implemented nested functions and (for the intel x86) pointers
to nested functions.

> , allocation in stack variables of unknown (till runtime) size

All these kinds of variable size things have been implemented.

> , multitasking,

These is done using library calls, so no special support is needed.

> asynchronouse jumps,

The only such jumps are for exception handling.  I recently
helped complete the LLVM exception handling implementation.

> what else?)   

Nothing, or at least nothing that I haven't already done.

> Has anything changed?

Yes, someone sat down and did the work :)

Ciao,

Duncan.