search for: osaft

...nce/PostDominance information. Therefore it is simpler and hopefully faster. At the moment run time is comparable to dominance tree calculation. If you want, have a look into some results I got with a pass extracting maximal non trivial regions that do not contain loops from libbz2: http://tobias.osaft.eu/llvm/region/bz2NoLoops/ Interesting ones: regions_without_loops.BZ2_bzBuffToBuffCompress.dot.png has a lot of exit edges. regions_without_loops.bzopen_or_bzdopen.dot.png the first region has two entry edges. One is the loop latch. (Keep in mind all regions have the same color, so if it seems...

...modify the CFG with the current >>> algorithm. >> Yes. >> >>>> If you want, have a look into some results I got with a pass extracting >>>> maximal non trivial regions that do not contain loops from libbz2: >>>> >>>> http://tobias.osaft.eu/llvm/region/bz2NoLoops/ >>>> >>>> Interesting ones: >>>> >>>> regions_without_loops.BZ2_bzBuffToBuffCompress.dot.png >>>> has a lot of exit edges. >>> >>> I think this example proves the strengths and weaknesses of bot...

...capture more > complicated regions without having to modify the CFG with the current > algorithm. Yes. >> If you want, have a look into some results I got with a pass extracting >> maximal non trivial regions that do not contain loops from libbz2: >> >> http://tobias.osaft.eu/llvm/region/bz2NoLoops/ >> >> Interesting ones: >> >> regions_without_loops.BZ2_bzBuffToBuffCompress.dot.png >> has a lot of exit edges. > > I think this example proves the strengths and weaknesses of both > approaches. Making that region into structured c...

...gionInfo test suite. They are available at this place: http://repo.or.cz/w/llvm-complete/pofl.git/tree/refs/heads/regioninfo:/test/Analysis/RegionInfo Ether and me are currently adding doxygen comments. If you are interested you could also have a look at our doxygen documentation http:://tobias.osaft.eu/regioninfo/doxygen To me it seems as if our approaches are close enough together to merge them. I think your code could take advantage of the iterators and the RegionPass we have written. Whereas we would be really glad to have the classification of the regions, This way we could e.g. write...

Hi folks, A few months back I finished writing and testing a pass which implements "structural analysis" as described originally by Sharir in 1980 ("Structural analysis: A new approach to flow analysis in optimizing compilers") and more recently by Muchnick in Advanced Compiler Design and Implementation. It analyses the CFG and recognises specific region schema, such as