Re: Notes toward re-implementing EH in gimple

[Richard Henderson <rth at redhat dot com>]

On 08/10/2009 08:20 AM, Michael Matz wrote:
> It's not that they _create_ side-effects, but they depend on some.

Ah, fair enough.  I hadn't actually thought that all through.

> Btw, it's really wonderful that someone tackles EH-on-gimple ;-)

I hadn't been planning on it, but my trans-mem branch is stalled
on the dominator-breaking representation we have in gimple atm.

I tried fixing that, but ran quite afoul of Honza's critical edge
splitting pass.  There's absolutely no way to split a resx edge
in the current representation, and we're saved only by the fact
that resx statements don't have edges at the moment.  Though you
wouldn't know it by looking at the code.  Lots of places seem to
think resx should have edges.  But deep down in the middle you'd
find that resx doesn't satisfy stmt_could_throw_p, which stops
the eh edge creation right in its tracks.

So it seems there's nothing to do but rewrite it all.  ;-)


r~