[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."
From: |
Laurent GUERBY |
Subject: |
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..." |
Date: |
Wed, 03 Jan 2007 19:02:13 +0100 |
On Sun, 2006-12-31 at 12:04 -0500, Robert Dewar wrote:
> Duncan Sands wrote:
>
> > The C front-end performs this transformation too. I'm not claiming that the
> > back-end optimizers would actually do something sensible if the front-end
> > didn't transform this code (in fact they don't seem too), but since the
> > optimal way of doing the check presumably depends on the target, wouldn't
> > it make sense if the backend took care of it?
>
> Remember that not all GNAT backends use GCC, so sometimes we do
> optimizations in the front end rather than duplicate the code in
> each of our back ends (JGNAT, Dotgnat (the .Net version), AAMP,
> and maybe more in the future, who knows?)
Is the AAMP backend available somewhere?
Laurent
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", (continued)
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Ian Lance Taylor, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Kenner, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Andrew Pinski, 2007/01/01
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Gabriel Dos Reis, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Gerald Pfeifer, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Gabriel Dos Reis, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Richard Kenner, 2007/01/02
- Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Geert Bosch, 2007/01/02
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Diego Novillo, 2007/01/02
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...",
Laurent GUERBY <=
Re: changing "configure" to default to "gcc -g -O2 -fwrapv ...", Thorsten Glaser, 2007/01/16