Re: machine-dependent Passes on GIMPLE/SSA Tree's?

2006-11-27 Thread Paolo Bonzini
Note that in general we're trying to avoid introducing target dependent stuff into the gimple/SSA optimizers. We should consider the vectorization code as the exception rather than the rule for this kind of thing. Well, these exceptions are starting to pile up however. Besides ivopts, which

Re: Finding canonical names of systems

2006-11-27 Thread Mike Stump
[ first, this is the wrong list to ask such question, gcc-help is the right one ] On Nov 27, 2006, at 7:25 PM, Ulf Magnusson wrote: How are you supposed to find the canonical name of a system (of known type) in CPU-Vendor-OS form in the general case? In the general case, you ask someone tha

Finding canonical names of systems

2006-11-27 Thread Ulf Magnusson
How are you supposed to find the canonical name of a system (of known type) in CPU-Vendor-OS form in the general case? If you have access to a system of that particular type, you can run config.guess to find out, but you might not have, and that approach won't work for many systems anyway. The can

Re: Bug in multiple register reload inheritance?

2006-11-27 Thread Ian Lance Taylor
Rask Ingemann Lambertsen <[EMAIL PROTECTED]> writes: >Here something has gone wrong, and the parameters to > subreg_regno_offset() are invalid: > > (gdb) frame 1 > #1 0x08504786 in subreg_regno_offset (xregno=9, xmode=HImode, offset=2, > ymode=HImode) at rtlanal.c:3017 > >If I take out

Re: Differences in c and c++ anon typedefs

2006-11-27 Thread Mike Stump
On Nov 27, 2006, at 12:49 PM, Brendon Costa wrote: As a result of C types not having a "class name for linkage purposes", I am finding it difficult to define a "normalised" string Trivially, you can construct the name by composing one based upon the structure. The is_compatible function th

Re: Differences in c and c++ anon typedefs

2006-11-27 Thread Brendon Costa
Andrew Pinski wrote: > Again C has different rules from C++. > In C, the following two TUs combined together are still valid code while in > C++, > they are invalid. > > tu1.c: > > struct a > { > int t; > }; > void f(struct a); > > cut - > tu2.c: > > type

Re: Differences in c and c++ anon typedefs

2006-11-27 Thread Andrew Pinski
> > Gabriel Dos Reis wrote: > > C++ defines a notion of "class name for linkage purpose" -- that is a > > notion used to define the One Definition Rule. > > In general the TYPE_NAME of TYPE_MAIN_VARIANT is the class name for > > linkage purpose. > > The behaviour you reported on implements the

Re: Differences in c and c++ anon typedefs

2006-11-27 Thread Brendon Costa
Gabriel Dos Reis wrote: > C++ defines a notion of "class name for linkage purpose" -- that is a > notion used to define the One Definition Rule. > In general the TYPE_NAME of TYPE_MAIN_VARIANT is the class name for > linkage purpose. > The behaviour you reported on implements the rule 7.1.3/5: >

Re: Bootstrap broken on x86_64 on the trunk in libgfortran?

2006-11-27 Thread David Daney
Andrew Pinski wrote: Platform is x86_64 (FC6) with trunk r119257 Configured thusly: ../trunk/configure --with-gmp=/usr/local --with-mpfr=/usr/local --disable-multilib I am getting this while in stage3 when I bootstrap: /bin/sh ../../../trunk/libgfortran/mk-kinds-h.sh '/home/daney/gccsvn/

Re: Bootstrap broken on x86_64 on the trunk in libgfortran?

2006-11-27 Thread Andrew Pinski
> > Platform is x86_64 (FC6) with trunk r119257 > > Configured thusly: > ../trunk/configure --with-gmp=/usr/local --with-mpfr=/usr/local > --disable-multilib > > I am getting this while in stage3 when I bootstrap: > > > /bin/sh ../../../trunk/libgfortran/mk-kinds-h.sh > '/home/daney/gccsvn

Bootstrap broken on x86_64 on the trunk in libgfortran?

2006-11-27 Thread David Daney
Platform is x86_64 (FC6) with trunk r119257 Configured thusly: ../trunk/configure --with-gmp=/usr/local --with-mpfr=/usr/local --disable-multilib I am getting this while in stage3 when I bootstrap: /bin/sh ../../../trunk/libgfortran/mk-kinds-h.sh '/home/daney/gccsvn/native-trunk/./gcc/gfo

Re: machine-dependent Passes on GIMPLE/SSA Tree's?

2006-11-27 Thread Dorit Nuzman
> Markus Franke wrote on 11/27/06 12:50: > > > Are there also some other optimisation passes working on the GIMPLE/SSA > > representation which make use of any machine-dependent features? > > > Yes. Passes like vectorization and loop optimizations will use so > called 'target hooks' which allow th

Re: [PATCH] Re: Canonical type nodes, or, comptypes considered harmful

2006-11-27 Thread Mike Stump
On Nov 27, 2006, at 7:04 AM, Doug Gregor wrote: So, here's a variant that might just work: add a flag variable flag_check_canonical_types. When it's true, we do the complete structural checking, verify it against the canonical types result, and warn if they differ. (This is what we do now when V

Re: machine-dependent Passes on GIMPLE/SSA Tree's?

2006-11-27 Thread Jeffrey Law
On Mon, 2006-11-27 at 13:08 -0500, Diego Novillo wrote: > Markus Franke wrote on 11/27/06 12:50: > > > Are there also some other optimisation passes working on the GIMPLE/SSA > > representation which make use of any machine-dependent features? > > > Yes. Passes like vectorization and loop optimi

Re: machine-dependent Passes on GIMPLE/SSA Tree's?

2006-11-27 Thread Diego Novillo
Markus Franke wrote on 11/27/06 12:50: Are there also some other optimisation passes working on the GIMPLE/SSA representation which make use of any machine-dependent features? Yes. Passes like vectorization and loop optimizations will use so called 'target hooks' which allow the high-level pa

machine-dependent Passes on GIMPLE/SSA Tree's?

2006-11-27 Thread Markus Franke
Dear GCC Developers, I am currently trying to get familiar with basic functionalities (and their implementation) of the GCC (cc1). After generating the GIMPLE representation of the Input-Parse-Tree a huge number of optimisation passes takes place. These passes are said to be hardware independent.

Queries regarding calls to divmod assembly functions

2006-11-27 Thread Daniel Towner
Hi all, I am currently working on the implementation of division/modulus assembly libraries for incorporation into my port of gcc (which is currently a private port, but will be submitted back at some point). I have run into a few problems that I would appreciate some help with. My port is f

Re: [PATCH] Re: Canonical type nodes, or, comptypes considered harmful

2006-11-27 Thread Doug Gregor
On 11/22/06, Mike Stump <[EMAIL PROTECTED]> wrote: ensure if doesn't fall over, if you structure it that way, however, if instead you just warn: [snip code using warnings] or even maybe just a note, it'll make it just a bit safer in the short term. People can then watch for these messages and

Compiling gcc source: unknown command gcctabopt

2006-11-27 Thread Andrea Callia D'Iddio
Hi all, I'm trying to compile gcc 4.1 source (from debian). I need to be able to compile it because I have to modify and add some code and recompile. When I try to compile gcc I get the following error message: ../.././fastjar/fastjar.texi:119: Unknown command `gcctabopt'. ../.././fastjar/fastja

Re: what about a compiler probe?

2006-11-27 Thread Basile STARYNKEVITCH
Le Mon, Nov 27, 2006 at 11:54:20AM +1100, Ben Elliston écrivait/wrote: > > I am considering implementing the following feature into GCC using > > the patch on http://gcc.gnu.org/ml/gcc-patches/2006-11/msg01769.html > > : a compiler probe which permits to probe the run of a compilation, > > e.g. by