search for: js231

...Transition.h" using namespace vsdg; In my function for constructing my graph, I declare an object: VSDGTransition t; however, at run-time, the pass fails with the following error: dyld: lazy symbol binding failed: Symbol not found: __ZN4vsdg14VSDGTransitionC1Ev Referenced from: /Users/js231/svn-check/js231/code/llvm-2.5/Release/lib/VSDGConstruct.0.0.0.dylib Expected in: flat namespace dyld: Symbol not found: __ZN4vsdg14VSDGTransitionC1Ev Referenced from: /Users/js231/svn-check/js231/code/llvm-2.5/Release/lib/VSDGConstruct.0.0.0.dylib Expected in: flat namespace // Memory dump...

...my function for constructing my graph, I declare an object: > > VSDGTransition t; > > however, at run-time, the pass fails with the following error: > > dyld: lazy symbol binding failed: Symbol not found: > __ZN4vsdg14VSDGTransitionC1Ev > Referenced from: > /Users/js231/svn-check/js231/code/llvm-2.5/Release/lib/VSDGConstruct.0.0.0.dylib > Expected in: flat namespace > > dyld: Symbol not found: __ZN4vsdg14VSDGTransitionC1Ev > Referenced from: > /Users/js231/svn-check/js231/code/llvm-2.5/Release/lib/VSDGConstruct.0.0.0.dylib > Expected in: f...

...hat I drew that might help you (and others!) understand what structural analysis does a bit better than the black-and-white ones in Muchnick's book. This first diagram shows a CFG in step 1, and the steps of reduction that structural analysis performs: http://www.informatics.sussex.ac.uk/users/js231/img/sa-example-reduction.pdf For example, in the first step, the red cloud indicates that the blocks "B6" and "exit" are matched to the "continuous blocks" schema. These are then reduced into an abstract node which is called B6a and is coloured red (the same colour as...

...u (and > others!) understand what structural analysis does a bit better than the > black-and-white ones in Muchnick's book. > > This first diagram shows a CFG in step 1, and the steps of reduction that > structural analysis performs: > http://www.informatics.sussex.ac.uk/users/js231/img/sa-example-reduction.pdf > > For example, in the first step, the red cloud indicates that the blocks "B6" > and "exit" are matched to the "continuous blocks" schema. These are then > reduced into an abstract node which is called B6a and is coloured red...

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

On 03/13/2010 08:54 PM, James Stanier wrote: > > Hi folks, Hi James, I have also been working on such a pass for the last couple of month. The pass itself is finished and ether has written some further LLVM support implementing a RegionPass class, that can be used to implement region passes that work like the existing LoopPasses today, but use a region instead of a loop or function as

...it locally, so > it's just on my personal svn repository. However, if you're interested in > having a glance at the code (it's a bit of a mess) then I've uploaded it for > you, but I'm not responsible for any vomiting: > > http://www.informatics.sussex.ac.uk/users/js231/files/StructuralAnalysis.cpp Hey this is great, thanks to giving me access to this. Unfortunately it did not compile with llvm HEAD. I changed some obvious things (Patch attached), but was not able to find implementations of StructuralAnalysis.cpp:495: error: ‘constructVSDG’ was not declared in...