RE: [RFC] Cleaning up the pass manager

2010-06-16 Thread Grigori Fursin
Hi Diego, Thanks a lot for doing this! I was a bit sad not to be able to continue this work on pass selection and reordering but I would really like to see GCC pass manager improved in the future. I also forwarded your email to the cTuning mailing list in case some of the ICI/MILEPOST GCC/cTuni

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Joern Rennecke
Quoting Basile Starynkevitch : I believe that a structured comment could help. When - in many years :-( - the powerful people (Steering Committee, FSF, RMS, ...) would accept the idea of generating documentation from code [and implement the legalese allowing it thru appropriate exceptions, or le

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Manuel López-Ibáñez
On 15 June 2010 10:40, Richard Guenther wrote: > On Tue, Jun 15, 2010 at 4:03 AM, Diego Novillo wrote: > >> - Pass scheduling can be done by simply declaring a pass and >> presenting it to the pass manager.  The property sets should be enough >> for the PM to know where to schedule a pass. > > Ug

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Basile Starynkevitch
On Tue, 2010-06-15 at 18:38 +0200, Jan Hubicka wrote: Citing Diego Novillo: > > I have been thinking about doing some cleanups to the pass manager. > This has been my goal for years, but somehow it always got off the top of > TODO list ;) > > > > Additionally, I would like to (at some point) inc

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Jan Hubicka
> I have been thinking about doing some cleanups to the pass manager. > The goal would be to have the pass manager be the central driver of > every action done by the compiler. In particular, the front ends > should make use of it and the callgraph manager, instead of the > twisted interactions we

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Richard Guenther
On Tue, Jun 15, 2010 at 4:03 AM, Diego Novillo wrote: > I have been thinking about doing some cleanups to the pass manager. > The goal would be to have the pass manager be the central driver of > every action done by the compiler.  In particular, the front ends > should make use of it and the call

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Joern Rennecke
Quoting Manuel López-Ibáñez : I would think that instead of hooks, a program should be able to call pass_manager functions to query/add/remove/reorder passes within a running program. That is, make the pass_manager a library that works on passes. GCC would just call that library to implement its

Re: [RFC] Cleaning up the pass manager

2010-06-15 Thread Manuel López-Ibáñez
On 15 June 2010 04:03, Diego Novillo wrote: > I have been thinking about doing some cleanups to the pass manager. > The goal would be to have the pass manager be the central driver of > every action done by the compiler.  In particular, the front ends > should make use of it and the callgraph mana

Re: [RFC] Cleaning up the pass manager

2010-06-14 Thread Joern Rennecke
Quoting Diego Novillo : - Fields properties_required, properties_provided and properties_destroyed should Mean Something other than asserting whether they exist. - Whatever doesn't exist before a pass, needs to be computed. - Pass scheduling can be done by simply declaring a pass and presenting