This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Removal of gotos from cfg based ir
- From: Andrew MacLeod <amacleod at redhat dot com>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: Jeff Law <law at redhat dot com>, Richard Henderson <rth at redhat dot com>, Jan Hubicka <jh at suse dot cz>, Jason Merrill <jason at redhat dot com>, Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>, Diego Novillo <dnovillo at redhat dot com>, gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: 17 Nov 2003 10:27:33 -0500
- Subject: Re: [tree-ssa] Removal of gotos from cfg based ir
- References: <20031114211322.GE28319@redhat.com><200311150013.hAF0DJ2K000868@speedy.slc.redhat.com> <20031115004553.GI19944@atrey.karlin.mff.cuni.cz>
On Fri, 2003-11-14 at 19:45, Jan Hubicka wrote:
> > In message <20031114211322.GE28319@redhat.com>, Richard Henderson writes:
> > >> and it seems like a restriction to force entry into RTL to have a CFG
> > >> already created. I dont think the front end and the back end ought to
> > >> be that tightly coupled...
> > >
> > >Ah hah, that's a point of disconnect. The front end should only
> > >call tree_rest_of_compilation, and then *everything* happens there
> > >behind the scenes. This is, shockingly, a vast improvement over
> > >the situation on mainline.
> > And, so with this in mind, what state should we be passing to
> > to the tree_rest_of_compilation routine.
> >
> > Today, we have the IL, EH lookaside data and probably other data I
> > don't want to think about stored in global structures like the symbol
> > table.
> >
> > With Zdenek's change, the passed state would include the CFG.
> CFG is conceptually simple datastructure compared to, for instance,
> debug information you need to pass around as well. I don't see anything
> evil about dumping it to file/reading it back. Other compilers do that.
>
I dont think dumping the CFG as part of the IL is evil. Whether it is
appropriate at that point in time is the bigger question which I want to
work through. It might be, but its not a decision I want to take lightly
because there are ramifications. Im going to try to cobble together my
thoughts today.
Andrew