Re: LLVM--Low Level Virtual Machine--and Ada

[Duncan Sands <baldrick@free.fr>]

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.