
<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman, new york, times, serif;font-size:12pt"><DIV>>>> No. The ideas are comparable, however I believe their implementation is<BR>>>> a little complicated. ;-)<BR>>> <BR>>> Do you have the same definition of a region and entry/exit blocks as they do?<BR>><BR>> No. They define a region based on all the edges in the region. This is a<BR>> very verbose definition, as all edges have to be saved. Also it is quite<BR>> expensive to compare regions, ...<BR>><BR>> However their description allows to talk about all possible regions.<BR></DIV>

<DIV>I agree, their definition did not seem practical for our purposes.</DIV>

<DIV><BR>>> Is the entry always contained and is the exit never contained, or is that specified<BR>>> per region? Depending on the restrictions of entry and exit blocks a loop with a single<BR>>> basic block cannot be an entry or exit by itself. Example:<BR>><BR>> The entry is always contained and dominates all bbs in the region. The<BR>> exit is never contained, but it postdominates all bbs in the region.<BR></DIV>

<DIV>Okay, that makes sense. <BR><BR>>> With the insertion of extra merge-blocks the code becomes more structured and the PST<BR>>> can be refined further. A more fine-grained PST may allow more cases to be handled. <BR>><BR>> That is actually the difference between my algorithm and the PST bracket<BR>> algorithm. Mine should get the same regions, that the PST one gets after<BR>> inserting the best merge blocks possible. Just without requiring CFG<BR>> changes.<BR></DIV>

<DIV>With the definition of a SESE-region you mention above I can see how that would work. </DIV>

<DIV>It was just not clear to me what the definition was to begin with. Back-edges is another</DIV>

<DIV>matter, but I am sure they are handled one way or another. I will have to look more into the</DIV>

<DIV>algorithm.</DIV>

<DIV><BR>> I am in writing some documentation about this that we could discuss<BR>> later on.</DIV>

<DIV><BR>Sure. <BR></DIV>

<DIV>> Thanks for discussing this with me. It helped me to get a feeling where<BR>> the differences are. Hoping we can have these discussions more often.<BR></DIV>

<DIV>Yes, there are always interesting details to be discussed between different algorithms.</DIV>

<DIV><BR>- Jan<BR></DIV><!-- cg32.c2.mail.ac4.yahoo.com compressed/chunked Thu Jan 21 11:38:19 PST 2010 --></div></body></html>