search for: controltree

...control tree that is built while these reductions are occurring, which shows the hierarchical structure of the program. The coloured nodes are the abstract nodes from the first diagram, and all leaf nodes are the original basic blocks. http://www.informatics.sussex.ac.uk/users/js231/img/sa-example-controltree.pdf Does this make it any clearer? I'm happy to explain it in more detail. Best, James -- View this message in context: http://old.nabble.com/Seeking-advice-on-Structural-Analysis-pass-tp27890316p27920484.html Sent from the LLVM - Dev mailing list archive at Nabble.com.

...e that is built while these > reductions are occurring, which shows the hierarchical structure of the > program. The coloured nodes are the abstract nodes from the first diagram, > and all leaf nodes are the original basic blocks. > http://www.informatics.sussex.ac.uk/users/js231/img/sa-controltree.pdf > > Does this make it any clearer? I'm happy to explain it in more detail. Hi James, this is very close to what ether and me have implemented. However you have got the nicer graphics, they look great. If you want to try the RegionInfo pass call: opt -regions -analyze somefile.ll...

On Mar 13, 2010, at 11:54 AM, James Stanier wrote: > It > analyses the CFG and recognises specific region schema, such as if- > then, > if-then-else, while-loop, etc., and builds a "control tree" which > represents > the hierarchical structure of the input program. I am not sure if my definition of a control flow tree is the same as yours, but if it is, I am very

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