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: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- To: Chris Lattner <sabre at nondot dot org>
- Cc: Diego Novillo <dnovillo at redhat dot com>, Jeff Law <law at redhat dot com>,Andrew Macleod <amacleod at redhat dot com>,gcc-patches <gcc-patches at gcc dot gnu dot org>, Jan Hubicka <jh at suse dot cz>
- Date: Fri, 14 Nov 2003 08:03:05 +0100
- Subject: Re: [tree-ssa] Removal of gotos from cfg based ir
- References: <20031114064309.GB18752@atrey.karlin.mff.cuni.cz> <Pine.LNX.4.44.0311140103530.31354-100000@nondot.org>
Hello,
> > > FWIW, LLVM does the exact opposite of this: the CFG is implicitly defined
> > > by the goto's in the program (as opposed to Zdenek's design, where the
> > > gotos are implicitly defined by the CFG).
> >
> > how do you get the edges in the cfg then?
>
> Def-use edges, which are tracked for all SSA values.
how do you then do things like jump threading?
Zdenek