Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Paolo Bonzini
Ralf Wildenhues wrote: * Jakub Jelinek wrote on Tue, Feb 19, 2008 at 12:18:02AM CET: PR35218 - I believe the latest patch worked for the tester, so we now have a patch and just need an approval? Yes, the patch is at

Re: [PATCH, DOC] PR 31549: move -frtl-abstract-sequences description

2008-02-19 Thread Gabor Loki
Gabor Loki wrote: Gerald Pfeifer wrote: The last time I tried this on ARM it didn't work because there were ICEs and it might have been fixed by now. However searching on bugzilla found me these . http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33009 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=336

Re: API for callgraph and IPA passes for whole program optimization

2008-02-19 Thread Diego Novillo
On 2/17/08 11:31 AM, Jan Hubicka wrote: The plan would be to update passmanager first and transit main IPA passes (inliner, constant propagation, alias analysis) on mainline. The more advanced IPA stuff, as struct reorg can go later since it is not a showstopper for first incarnation of whole p

Re: Ada: building 4.3 cross-gnattools with gcc-4.2.1

2008-02-19 Thread Joel Sherrill
Arnaud Charlet wrote: 1) Is it supposed to work? (i.e. building an Ada cross compiler 4.3 by a 4.2 compiler) No, as documented, you need a matching native compiler to build a cross Ada compiler (e.g. build from the same 4.3 sources a native compiler first, and then use it to build the cros

Redundant logical operations left after early splitting

2008-02-19 Thread hutchinsonandy
I am stumped and hope someone more skilled can give me some clues to solve this problem I have 4.3/4.4 gcc. I have created RTL define/splits for AVR port logical operation (AND,IOR etc). These split larger mode operations in to QImode operations. I also created similar splitters for zero_ex

Re: API for callgraph and IPA passes for whole program optimization

2008-02-19 Thread Kenneth Zadeck
> > Thanks for the detailed plan. Yes, please add it to the whopr wiki. > The only aspects that are not too clear to me are what exactly do you > plan to do in mainline. > > One idea would be to do all the basic framework during stage 1 and > leave it in mainline. I would suggest doing as much

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Paolo Bonzini
PR34950 - Jason/Mark, could you help with this? It is 4.2/4.3 regression, so perhaps doesn't need to hold the rc PR35218 - I believe the latest patch worked for the tester, so we now have a patch and just need an approval? PR35232 - I'

MELT branch created, barely usable.

2008-02-19 Thread Basile STARYNKEVITCH
Hello All, I just created the MELT branch (basically merging my own source tree), but it is barely usable. See the wiki and my 2007 summit paper and http://gcc.gnu.org/wiki/MiddleEndLispTranslator The bootstrap is not completed, because: make bootstrap might not actually work and most im

Re: GCC 4.3.0 Status Report (2008-02-14)

2008-02-19 Thread Jakub Jelinek
On Mon, Feb 18, 2008 at 01:10:57PM -0800, Janis Johnson wrote: > I changed argument passing and function return of generic vectors to be > consistent with and without the AltiVec ABI for powerpc-linux and > powerpc64-linux, but in so doing inadvertently changed the behavior for > other powerpc tar

Re: GCC 4.3.0 Status Report (2008-02-14)

2008-02-19 Thread Janis Johnson
On Tue, 2008-02-19 at 01:34 +, Joseph S. Myers wrote: > On Mon, 18 Feb 2008, Janis Johnson wrote: > > > There are lots of inconsistencies in passing generic vectors as arguments > > and return values, and I'll leave those alone until the PowerPC ELF ABI > > group decides what to do with them.

Re: GCC 4.3.0 Status Report (2008-02-14)

2008-02-19 Thread Janis Johnson
On Tue, 2008-02-19 at 18:47 +0100, Jakub Jelinek wrote: > On Mon, Feb 18, 2008 at 01:10:57PM -0800, Janis Johnson wrote: > > I changed argument passing and function return of generic vectors to be > > consistent with and without the AltiVec ABI for powerpc-linux and > > powerpc64-linux, but in so

Re: API for callgraph and IPA passes for whole program optimization

2008-02-19 Thread Jan Hubicka
> I find 'analyze' for the first stage confusing. We do no analysis > there, we just produce summary info. The analysis is actually done by > what you call 'read'. How about some variant of: > > generate_summary_{function/variable} > analyze_{function/variable} > transform_{function/variable}

-fpic support detection in testsuite

2008-02-19 Thread Jan Beulich
gcc/testsuite/lib/target-supports.exp checks whether the compiler spits out any messages when using -fpic/-fPIC; this doesn't cover the case where the compiler happily processes everything, but the linker cannot deal with the result (in the given case, because the specific gas (x86) in use accepts

Re: API for callgraph and IPA passes for whole program optimization

2008-02-19 Thread Jan Hubicka
> Currently the job to drive compilation process is implemented in > cgraphunit and passmanager. I am leaning to plan to do as much work as BTW for a while I think that name of cgraphunit outlived its original meaning. Just as historical note, it was introduced so because some bits wasn't possibl

[PATCH] Complex arithmetic changes

2008-02-19 Thread Janne Blomqvist
Hello, the attached patch fixes PR:s c/35162 (just a documentation fix) and fortran/29549. c/35162 is just a small documentation fix where the documentation was inconsistent with the code as well as C99. It adds a new option -fcx-fortran-rules which sets flag_complex_method to 1, and makes libgf

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Jeff Law
[EMAIL PROTECTED] wrote: I am stumped and hope someone more skilled can give me some clues to solve this problem I have 4.3/4.4 gcc. I have created RTL define/splits for AVR port logical operation (AND,IOR etc). These split larger mode operations in to QImode operations. I also created sim

SSA alias representation

2008-02-19 Thread Fran Baena
Hi everybody, i am studing how gcc carries out Alias Representation and some questions appear. For instance, given this code portion: if ( ... ) p = &a; else if ( ... ) p = &b; else p = &c; a = 5; b = 3; d = *p4; My questions are: - both p like *p need a Name Memory T

Re: Redundant logical operations left after early splitting

2008-02-19 Thread hutchinsonandy
Jeff, thanks for help - I desparately need ideas - this problem is driving me nuts The RTL for IOR Rx,0 does use subregs (since I use simplify_gen_subreg in splitter.) Perhaps I should generate new pseudo QI registers instead before reload? Is there any particular function or pass that

Re: [PATCH] Complex arithmetic changes

2008-02-19 Thread Janne Blomqvist
Janne Blomqvist wrote: > Hello, > > the attached patch fixes PR:s c/35162 (just a documentation fix) and > fortran/29549. Uh, sorry, wrong list (I intended to send to gcc-patches and fortran). -- Janne Blomqvist signature.asc Description: OpenPGP digital signature

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Jeff Law
[EMAIL PROTECTED] wrote: The RTL for IOR Rx,0 does use subregs (since I use simplify_gen_subreg in splitter.) Perhaps I should generate new pseudo QI registers instead before reload? It's been a long time, but yes, you could look into creating new registers if you're early into in the optim

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Ralf Wildenhues
* Paolo Bonzini wrote on Tue, Feb 19, 2008 at 01:28:05PM CET: > Ralf Wildenhues wrote: > >* Jakub Jelinek wrote on Tue, Feb 19, 2008 at 12:18:02AM CET: > >>PR35218 - I believe the latest patch worked for the tester, > >> so we now have a patch and just need an approval? > >

Re: Redundant logical operations left after early splitting

2008-02-19 Thread hutchinsonandy
Jeff, thanks again for suggestions. As I understand it (perhaps wrongly), actual splitting only occurs after combine pass (by split1 pass). The combine, does, match one of my patterns (lshift:SI (zero_extend:QI), 8/16/24). The other splitters (zero_extend) are "matched" initially - sinc

Re: -fpic support detection in testsuite

2008-02-19 Thread Janis Johnson
On Tue, 2008-02-19 at 17:04 +, Jan Beulich wrote: > gcc/testsuite/lib/target-supports.exp checks whether the compiler spits > out any messages when using -fpic/-fPIC; this doesn't cover the case > where the compiler happily processes everything, but the linker cannot > deal with the result (in

New GCC ICI v0.9.5 (bug fixes + new examples)

2008-02-19 Thread Grigori Fursin
Hi all, Just a small note, that we released a new GCC-ICI (Interactive Compilation Interface) version 0.9.5. It allows function-level optimization and specialization by selecting or reordering only appropriate passes. It uses external plugins to monitor and improve default compiler optimization he

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Gerald Pfeifer
On Tue, 19 Feb 2008, Ralf Wildenhues wrote: > Erm, so I committed the patch to trunk and 4.2 now, and marked the PR as > fixed. But I forgot that the 4.3 branch has opened in the meantime. I > read that it needs special approval. > > So does you above OK also extend to the 4.3 branch? Heh, by c

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Joe Buck
On Tue, Feb 19, 2008 at 10:11:41PM +0100, Ralf Wildenhues wrote: > * Gerald Pfeifer wrote on Tue, Feb 19, 2008 at 10:06:14PM CET: > > On Tue, 19 Feb 2008, Ralf Wildenhues wrote: > > > > > > So does you above OK also extend to the 4.3 branch? > > > > Heh, by committing to the 4.2 branch you made t

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Jeff Law
[EMAIL PROTECTED] wrote: Jeff, thanks again for suggestions. As I understand it (perhaps wrongly), actual splitting only occurs after combine pass (by split1 pass). Combine has some limited splitting capabilities. For example it can try to combine 3 insns, which might not match a pattern, bu

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Ralf Wildenhues
* Gerald Pfeifer wrote on Tue, Feb 19, 2008 at 10:06:14PM CET: > On Tue, 19 Feb 2008, Ralf Wildenhues wrote: > > > > So does you above OK also extend to the 4.3 branch? > > Heh, by committing to the 4.2 branch you made this a regression in 4.3 > now. :-} It's not in any GCC 4.2 release yet, so n

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Mark Mitchell
Joe Buck wrote: On Tue, Feb 19, 2008 at 10:11:41PM +0100, Ralf Wildenhues wrote: * Gerald Pfeifer wrote on Tue, Feb 19, 2008 at 10:06:14PM CET: On Tue, 19 Feb 2008, Ralf Wildenhues wrote: So does you above OK also extend to the 4.3 branch? Heh, by committing to the 4.2 branch you made this a

Re: -fpic support detection in testsuite

2008-02-19 Thread Hans-Peter Nilsson
On Tue, 19 Feb 2008, Jan Beulich wrote: > Should the testsuite not instead do a test whether all involved tools > are able to handle -fPIC and its results)? *shrug* Then, would you want to build a dso or just link something compiled with -fpic/-fPIC or both? (I guess just the link; save the othe

how to correct logs on my MELT branch?

2008-02-19 Thread Basile STARYNKEVITCH
Hello All, On my MELT branch http://gcc.gnu.org/wiki/MiddleEndLispTranslator I committed some code with badly formatted (really free form) logs. How can I correct the logs now to put them in ChangeLog format? Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basil

RE: Redundant logical operations left after early splitting

2008-02-19 Thread Dave Korn
On 19 February 2008 19:26, [EMAIL PROTECTED] wrote: > The RTL for IOR Rx,0 does use subregs (since I use simplify_gen_subreg > in splitter.) Are there any notes on any of these insns? cheers, DaveK -- Can't think of a witty .sigline today

Re: GCC 4.3 branch created, 4.4 opens for stage1

2008-02-19 Thread Janis Johnson
On Mon, 2008-02-18 at 18:18 -0500, Jakub Jelinek wrote: > Hi! > > As I've mentioned last week, I've created branches/gcc-4_3-branch. > The trunk is now 4.4 stage 1, the branch is open for regression bugfixes > and documentation fixes only, but additionally all checkings require > RM approval in ad

Re: Redundant logical operations left after early splitting

2008-02-19 Thread hutchinsonandy
Dave and Jeff, (sorry if you get more than one copy of this email, it's playing up!) Here are more details and I have include testcase, splitter patterns and RTL dump to show problem in more detail. The testcase is: unsigned long f (unsigned char *P) { unsigned long C; C = ((unsigned

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Jeff Law
[EMAIL PROTECTED] wrote: Dave and Jeff, (sorry if you get more than one copy of this email, it's playing up!) Here are more details and I have include testcase, splitter patterns and RTL dump to show problem in more detail. [ ... ] Can you send the .combine dump as well as the dump for what

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Andy H
After some digging, I can confirm local-alloc.c is creating OR Rx,0 instructions but not simplifying them local-alloc.c is not the problem - but right now it the only help I'm getting for post split optimization. This occurs when source registers are replaced with equivalent constant using va

Re: Redundant logical operations left after early splitting

2008-02-19 Thread hutchinsonandy
RTL dumps for Combine pass and ASMCONS (last one before local-alloc) COMBINE ;; Function f (f) starting the processing of deferred insns ending the processing of deferred insns df_analyze called insn_cost 2: 4 insn_cost 6: 16 insn_cost 7: 12 insn_cost 8: 16 insn_cost 9: 16 insn_cost

Re: Redundant logical operations left after early splitting

2008-02-19 Thread Andy H
Dave and Jeff, Here are more details and I have include testcase, splitter patterns and RTL dump to show problem in more detail. The testcase is: unsigned long f (unsigned char *P) { unsigned long C; C = ((unsigned long)P[1] << 24) | ((unsigned long)P[2] << 16) | ((unsigned long)P