comp.lang.ada
 help / color / mirror / Atom feed
From: anon@att.net
Subject: Re: Sharing generic bodies across instantiations.
Date: Wed, 28 Jul 2010 11:47:39 +0000 (UTC)
Date: 2010-07-28T11:47:39+00:00	[thread overview]
Message-ID: <i2p5cq$2buo$1@news.ett.com.ua> (raw)
In-Reply-To: 4c4f5c28$0$2375$4d3efbfe@news.sover.net

In <4c4f5c28$0$2375$4d3efbfe@news.sover.net>, "Peter C. Chapin" <pcc482719@gmail.com> writes:
>On 2010-07-27 16:06, anon@att.net wrote:
>
>> Now as for GNAT it uses the optimization based on the GCC back end 
>> ( -OX   where X in 0 .. 4 ). GNAT still preforms a syntactical check of the 
>> Optimize pragma statement, then treat's the statement as a comment like a 
>> number of other built-in Ada pragma statement.  Which allows GNAT to 
>> replicate code and let the GCC handle rather its switches to shared or not. 
>> And at this time GCC does not understand the Ada's concept replication 
>> versus the sharing code for optimization.
>
>Thanks for all the replies to my question. I want to emphasize that my
>interest is not so much in what is done by current compilers but rather
>what is allowed by the standard. Is the standard (even the latest
>standard) written in such a way as to make a shared implementation of
>generic bodies possible? It sounds like the answer is yes.
>
>In contrast I have the impression that in C++ it is not really possible,
>or at least not feasible, for a compiler to share template bodies across
>instantiations. That is, the nature of C++ essentially requires a
>replication strategy. To be honest I'm not sure why I think this and I
>might be wrong. This isn't a C++ group so it's probably not appropriate
>to explore C++'s issues in too much detail here, but I will say that
>haven't heard any serious talk in the C++ community about
>implementations sharing template bodies.
>
>Peter

For any compiler that uses the GCC backend (like GNAT, GCC C/C++) will 
use replicated for generic routines  It's easier for the compiler to handle 
"oops" programming. And that the way the GCC backend is written. 




  parent reply	other threads:[~2010-07-28 11:47 UTC|newest]

Thread overview: 36+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-07-27  0:51 Sharing generic bodies across instantiations Peter C. Chapin
2010-07-27  3:01 ` Gene
2010-07-27  6:55 ` AdaMagica
2010-07-27 11:29   ` Ludovic Brenta
2010-07-27 14:10     ` Tero Koskinen
2010-07-27 10:51 ` Martin
2010-07-27 20:06 ` anon
2010-07-27 22:23   ` Peter C. Chapin
2010-07-28  7:59     ` Maciej Sobczak
2010-07-28  9:28       ` Dmitry A. Kazakov
2010-07-28 12:55         ` Maciej Sobczak
2010-07-28 13:16           ` Dmitry A. Kazakov
2010-07-28 19:48             ` Maciej Sobczak
2010-07-29  8:03               ` Dmitry A. Kazakov
2010-07-29 14:02                 ` Maciej Sobczak
2010-07-29 14:40                   ` Dmitry A. Kazakov
2010-07-29 20:27                     ` Maciej Sobczak
2010-07-30  9:09                       ` Dmitry A. Kazakov
2010-07-30 12:31                         ` Maciej Sobczak
2010-07-30 14:59                           ` Dmitry A. Kazakov
2010-08-03  3:02                           ` Randy Brukardt
2010-08-03 14:37                             ` Robert A Duff
2010-08-03  2:47                         ` Randy Brukardt
2010-07-28 20:01             ` Keith Thompson
2010-07-29  7:46               ` Dmitry A. Kazakov
2010-07-28 11:27       ` Peter C. Chapin
2010-07-28 13:10         ` Maciej Sobczak
2010-07-28 16:32           ` Peter C. Chapin
2010-07-28 19:30             ` Robert A Duff
2010-07-28 20:03             ` Maciej Sobczak
2010-07-28 11:47     ` anon [this message]
2010-08-03  2:38     ` Randy Brukardt
2010-08-03 14:31       ` Robert A Duff
2010-07-28  0:55   ` Keith Thompson
2010-07-28  8:42     ` Markus Schoepflin
2010-07-28 11:16     ` anon
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox