<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:Courier New, courier, monaco, monospace, sans-serif;font-size:12pt"><DIV>On 01/21/10 20:42, Jan Sjodin wrote:<BR>>>>> Imo, a loop is simply a special kind of region, so a "filter" is perhaps the way to<BR>>>>> go if you are interested in loops. Regions containing loops will have to be inspected<BR>>>>> using the PST. <BR>>>><BR>>>> Except loops that have multiple exits. they are not necessarily (single<BR>>>> entry single exit) region, if the exists do not jump to the same exit bb.<BR>>> <BR>>> Yes, my assumption was to classify structured loops, but that does not exclude unstructured<BR>>> regions that contain unstructured loops. <BR>><BR>> Can you explain your definition of structured/unstructured loops/regions.<BR></DIV>
<DIV>Unstructured regions in this case means there is control flow in the region that is not</DIV>
<DIV>interesting to look into or classify any further.</DIV>
<DIV> </DIV>
<DIV>> A structured loop does have just one exit?<BR></DIV>
<DIV>When you say "structured loop" I believe that means it has a single exit and does not use break</DIV>
<DIV>or goto to exit the loop. A loop contained within a region may have multiple exits. If you need </DIV>
<DIV>to reason about these kinds of loops, you can create a special kind of region for them. If they</DIV>
<DIV>are not interesting, then you would simply treat them as unstructured SESE-regions. This mostly</DIV>
<DIV>relates to creating convenience functions around regions so that you can easily extract the body, </DIV>
<DIV>exit-edge[s], then/else portions of contitionals etc. </DIV>
<DIV><BR>> Does a unstructured region have multiple exits, or it just contains<BR>> unstructured code?<BR></DIV>
<DIV>It just contains unstructured code, that cannot be decomposed into smaller</DIV>
<DIV>SESE-regions.</DIV><!-- cg30.c2.mail.ac4.yahoo.com compressed/chunked Fri Jan 22 08:10:25 PST 2010 --></div></body></html>