search for: regionpasses

On 01/15/10 03:03, ether wrote: > hi, Hi, > about region class, i think provide some method to extract the top level > loop from a given region is useful in polly(our polyhedral optimization > framework), because the we are only doing optimization on the region > with loop. Hi ether, I think this should be implemented as a RegionFilter, that checks if a region contains a loop,

Hi, in lib/Analysis/RegionPass.cpp there are 3 occurrences of: CurrentRegion->getNameStr() These are slowing down compile times with polly. I would suggest to either remove these calls, or only turn on when the programmer asks for -debug. The reason for the slow pretty printing of types is the same as previously discussed in: http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-July/063755.html

On 01/08/10 14:20, ether wrote: > sorry that i forgot to change the subjuect > > > hi all, Hi ether, now a kind of more complete answer. > On 2010-1-7 0:11, John Mosby wrote: >> In LLVM we could add support for generalized CFG regions and >> RegionPasses. A region is a part of the CFG. The only information we >> have is, that it has one entry and one exit, this it can be optimized >> separately. >> I think this is the best way to add region analysis. I must admit this >> approach >> helps me on another, similar project...

Oh, yes. My algorithm extracts regions in a top-down manner. I modified your RegionPass so that it only visits 2nd level regions. Those regions are extracted into functions and the process continues for the new functions. It's kind of messy since I've just played with LLVM. I'll modify the algorithm so it can extract regions bottom-up. Vu On Wed, Jan 26, 2011 at 10:10 PM, Tobias

On 01/27/2011 02:27 PM, Vu Le wrote: > Oh, yes. > My algorithm extracts regions in a top-down manner. > I modified your RegionPass so that it only visits 2nd level regions. > Those regions are extracted into functions and the process > continues for the new functions. > It's kind of messy since I've just played with LLVM. > I'll modify the algorithm so it can

hi all, On 2010-1-7 0:11, John Mosby wrote: > In LLVM we could add support for generalized CFG regions and > RegionPasses. A region is a part of the CFG. The only information we > have is, that it has one entry and one exit, this it can be optimized > separately. > I think this is the best way to add region analysis. I must admit > this approach > helps me on another, similar project I'm working...

On 01/27/2011 12:48 AM, Vu Le wrote: > Hi Tobias, > If the PHI node at exit block of region R has multiple inputs from the R, > I split the exit block into 2. > The first block contains all PHI nodes whose input are all from the region. > The second is the new exit node. > > All branches (outside R) to the old exit now point the new exit. > All regions whose exit is the old

On 08/28/2013 10:08 AM, Sebastian Pop wrote: > Hi,tic > > in lib/Analysis/RegionPass.cpp there are 3 occurrences of: > CurrentRegion->getNameStr() > These are slowing down compile times with polly. > I would suggest to either remove these calls, > or only turn on when the programmer asks for -debug. > > The reason for the slow pretty printing of types is the same as

...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 RegionPasses that only work on continuous blocks. Or only on if/then/else blocks. Something that seems very useful to me. I would be interested in your opinion Tobias

Hi, as in the subject, is it possible to call on of the analysis pass present in the LLVM (lib/ folder) within a tool pass (tools/ folder)? Thanks. Best, Simone

...m "RegionBase"? On 01/08/10 14:20, ether wrote: > sorry that i forgot to change the subjuect > > > hi all, Hi ether, now a kind of more complete answer. > On 2010-1-7 0:11, John Mosby wrote: >> In LLVM we could add support for generalized CFG regions and >> RegionPasses. A region is a part of the CFG. The only information we >> have is, that it has one entry and one exit, this it can be optimized >> separately. >> I think this is the best way to add region analysis. I must admit this >> approach >> helps me on another, similar project...

...t repo to see it is here: http://repo.or.cz/w/llvm-complete/tobias-sandbox.git/shortlog/refs/heads/region I will think about this and maybe reply again. Tobi > hi all, > > On 2010-1-7 0:11, John Mosby wrote: >> In LLVM we could add support for generalized CFG regions and >> RegionPasses. A region is a part of the CFG. The only information we >> have is, that it has one entry and one exit, this it can be optimized >> separately. >> I think this is the best way to add region analysis. I must admit this >> approach >> helps me on another, similar project...

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 01/20/10 18:16, Jan Sjodin wrote: >> I think this should be implemented as a RegionFilter, that checks if a > >> region contains a loop, and that can be asked for further information. >> In general I do not think this kind of analysis belongs to a region, but >> as you proposed some kind of filter could be applied. In the short term >> the passes who need this

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

...arately! It would be great discussing this together. Looking in your code I saw that you where able to classify the regions in loop, condition, ... This is something very interesting, that my current implementation misses. In my codebase on the other side there is the infrastructure to implement RegionPasses which may facilitate implementations that are based on the control structure tree and the control regions it exposes. Furthermore ether contributed iterators and GraphTraits implementations that allow to work on each region as if it would be a function. I think all these features would be usefu...

...LoopDependency Analysis), and we can also have a Loop Parallelism Analysis implementation based on polyhedral model analysis implemented in polly (called polyhedral loop parallelism analysis), but analysis result of Polly is not visible at the scope of FunctionPass/LoopPass as all polly passes are RegionPasses right now. To allow polly export its analysis result to FunctionPass/LoopPass, we need to make the polyhedral loop parallelism analysis became a FunctionPass, and schedule it before all polly passes but do nothing in its runOnFunction method, after that we can let another pass of polly to fill the...

Hi Tobias. I worked on enabling Polly accepting non affine memory accesses and I produced a patch. I saw that there were a lot of updates in Polly recently, so I had to redo a lot of the work I did and that slowed me quite a bit. I tested the patch on some programs and it seems to work and not to break anything, but you know the topic much better than me, so if you find something wrong please

Hi, I'm trying to build llvm on a Solaris/Sparc machine. I get many undefined symbols during the link phase of opt. The link command being run is below. It is identical to the link command that gets run and works on an x86 host. Thanks, Tarun g++ -I/n/fs/scratch/tpondich/ParallelAssert/llvm-objects/include -I/n/fs/scratch/tpondich/ParallelAssert/llvm-objects/tools/opt

On 02/28/2010 07:12 AM, ether zhhb wrote: > hi all, Hi ether, sorry that it took so long to reply and thanks for your work on the regions stuff. Concerning this patch there are still some small things I would have liked to improve, before before people spend time reviewing this patchset in detail. However as the topic is now on the mailing list maybe we get some feedback on the general