[Mono-devel-list] SSA and try/catch/finally regions
massi at ximian.com
Wed Apr 6 12:53:16 EDT 2005
On Wed, 2005-04-06 at 06:53 -0700, Kelly Leahy wrote:
> Anyway, I think the method you describe works, but I
> would recommend implementing both methods (since the
> "every possible path" method is quite easy to
> implement) so that you can do some testing to see
> which actually does perform better, and also so that
> you can fall back on the theoretically correct method
> in case your heuristic does not in fact work properly.
Well, actually I think the "every possible path" method
is not so easy to implement in Mono.
We cannot model CFG edges that start from the "middle" of
a BB, only from the end of it (in other words, we don't
support extended basic blocks).
So, my comment was more something like "the complete
solution would be hard to do and unlikely to be worth
because it doesn't really add usable information"...
More information about the Mono-devel-list