This is the mail archive of the
mailing list for the GCC project.
Re: Updating the CFG on the fly?
- To: Michael Hayes <m dot hayes at elec dot canterbury dot ac dot nz>
- Subject: Re: Updating the CFG on the fly?
- From: Jeffrey A Law <law at cygnus dot com>
- Date: Wed, 10 Nov 1999 09:30:29 -0700
- cc: Richard Henderson <rth at cygnus dot com>, gcc at gcc dot gnu dot org
- Reply-To: law at cygnus dot com
In message <email@example.com>you writ
> Yes, it can occur when we have nested natural loops sharing the same
> loop header. I've got a testcase for this but do not yet have a good
> idea of how common this occurs.
> |__/ \ |
> (3) |
> | |
What does this look like at the source level? And what does it look like as
soon as we've finished initial RTL generation?
> I had envisaged that the jump optimiser would fix this up once the
> loop had been optimised.
Only by cross jumping, which happens just before final output. And our cross
jumping isn't very powerful.
When I was looking at edge splitting stuff a year or so ago I was looking
at similar kinds of problems, and most of the time jump didn't clean things
up (and cleaning them up was pretty far out of the scope of what jump was
going to be able to do without being converted to use the cfg to drive its