From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
Subject: Re: Restricted or no run time in Ada
Date: Fri, 04 Jan 2008 13:46:05 +0100
Date: 2008-01-04T13:46:05+01:00 [thread overview]
Message-ID: <1199450765.7932.2.camel@K72> (raw)
In-Reply-To: <47bfaa83-b922-426e-8f6f-48e1c4ccacbb@j78g2000hsd.googlegroups.com> <dcc6d7b5-fb5b-4096-a066-85f6168a094d@l1g2000hsa.googlegroups.com> <22a9c47e-bed4-40ed-9b6a-218655861989@k30g2000hse.googlegroups.com> <xY8fj.369019$kj1.86220@bgtnsc04-news.ops.worldnet.att.net> <351807b3-947a-47d5-82e9-b15061cd964d@s12g2000prg.googlegroups.com> <13d38860-282c-4371-a16f-46425a32d977@l32g2000hse.googlegroups.com> <47bfaa83-b922-426e-8f6f-48e1c4ccacbb@j78g2000hsd.googlegroups.com>
On Fri, 2008-01-04 at 01:23 -0800, Maxim Reznik wrote:
> 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?
$ objdump --disassemble test.o
test.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <_ada_test>:
0: 8d 47 01 lea 0x1(%rdi),%eax
3: c3 retq
$
For:
> procedure Test (X : in out Integer)
> is
> begin
> X := X +
> 1;
> end
> Test;
Have you instructed GNAT to not perform any kind of
optimization?
Is this an option using Gela? (For example, to verify
close correspondence of source and object code.)
next prev parent reply other threads:[~2008-01-04 12:46 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-02 19:19 Restricted or no run time in Ada Lucretia
2008-01-02 20:49 ` anon
2008-01-02 21:33 ` Lucretia
2008-01-03 3:50 ` anon
2008-01-02 22:23 ` Simon Wright
2008-01-02 23:06 ` Lucretia
2008-01-03 5:14 ` roderick.chapman
2008-01-03 7:30 ` Lucretia
2008-01-03 8:00 ` Lucretia
2008-01-03 8:40 ` Lucretia
2008-01-03 9:58 ` anon
2008-01-03 10:22 ` Lucretia
2008-01-03 17:30 ` anon
2008-01-03 20:05 ` Vadim Godunko
2008-01-03 20:22 ` Lucretia
2008-01-04 9:23 ` Maxim Reznik
2008-01-04 23:23 ` Brian May
2008-01-04 12:46 ` Georg Bauhaus [this message]
2008-01-04 13:53 ` Vadim Godunko
2008-01-04 14:13 ` Maxim Reznik
2008-01-04 14:15 ` 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