[Mono-devel-list] SSAPRE: this time it's for real ;-)

[Massimiliano Mantione]

On Fri, 2004-11-26 at 00:56, Willibald Krenn wrote:
> Who is working on that, if I may ask?
> [...]
> Is there some information available describing what you plan to do rsp. 
> what has to be done in terms of changes to the basic mono-system?

In the mono site, news section, look for the summit notes...

> > Being able to add BBs at any point in the compilation (and having
> > the dominator information and iterated dominance frontiers updated
> > at a low cost) would be cleaner, more practical, and probably also
> > more efficient, but now things do not work that way.
> 
> Do you have any paper reference handy?

http://citeseer.ist.psu.edu/116189.html

But it talks about adding arbitrary edges, which is not what I had
in mind...

I especially liked this about dominators:

http://citeseer.ist.psu.edu/cooper01simple.html

(its algorithm is deadly simple, it took me three hours to have
it running correctly when I thought I needed the post-dominator
tree), and this about dominance frontiers:

http://citeseer.ist.psu.edu/sreedhar94computing.html

Anyway, what I have in mind is a bit weird, it would take too long
to explain here and I don't even know if it could really work.
When I'll have something readable about it, I'll post it (and also
blog it).

Ciao,
  Massi