Re: Restricted or no run time in Ada

[Maxim Reznik <reznikmm@gmail.com>]

On Jan 3, 10:22 pm, Lucretia <lucret...@lycos.co.uk> wrote:
> Yes, I know of it. Incomplete (I don't know by how much though). Also,
> a guy in #Ada has informed me the code generation is not great.
>
What do guys at #Ada say about GNAT generated code?

An example:
procedure Test (X : in out Integer)
is
begin
   X := X +
1;
end
Test;

--------------------------------------
GNAT:
_ada_test:
.LFB3:
        pushl
%ebp
.LCFI0:
        movl    %esp,
%ebp
.LCFI1:
        pushl
%ebx
.LCFI2:
        subl    $20,
%esp
.LCFI3:
        movl    8(%ebp),
%eax
 
cltd
        movl    %eax,
%ecx
        movl    %edx,
%ebx
        addl    $1,
%ecx
        adcl    $0,
%ebx
        movl    %ecx,
%eax
        movl    %ebx,
%edx
        addl    $-2147483648,
%eax
        adcl    $0,
%edx
        cmpl    $0,
%edx
 
jbe     .L6
        movl    $3,
4(%esp)
        movl    $.LC0,
(%esp)
        call
__gnat_rcheck_10
.L6:
        movl    %ecx,
%eax
        addl    $20,
%esp
        popl
%ebx
        popl
%ebp
 
ret
--------------------------------------

Gela over ten15 (http://www.ten15.org/wiki/Ada) :
--------------------------------------
Test:
.set .Ldisp5,
0
 movl 4+.Ldisp5(%esp),
%eax
 incl
%eax
 
jno .L7
 pushl
$7
 movl __trans386_errhandler,
%eax
 call *
%eax
.L7:
 movl %eax,
4+.Ldisp5(%esp)
 
ret
--------------------------------------

Of course Gela project is far away of completion and not yet ready to
be
used in your project, but code it can generate for now not much worse
then one of others compilers.

--
Maxim Reznik