search for: regionpass

...mation could get it on their own. > and a long term consideration about "region pass": > > if we want to integrate region analysis and optimization framework into > llvm, i think we can use an approach that similar to loop analysis and > optimization: write a class "regionpass" inherit from "pass", and the > corresponding pass manger "RegionPassManager". (a kind of function pass) > if we follow this approach, we need to push the region pass manager into > the llvm pass manager stack. > the first question of this approach is, whats the...

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...

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 proje...

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,...

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 extract regions bottom-up. > Vu Cool. It...

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 workin...

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 sa...

...rrently 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 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 proje...

...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 proje...

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

...>> and a long term consideration about "region pass": >>> >>> if we want to integrate region analysis and optimization framework into >>> llvm, i think we can use an approach that similar to loop analysis and >>> optimization: write a class "regionpass" inherit from "pass", and the >>> corresponding pass manger "RegionPassManager". (a kind of function pass) >>> if we follow this approach, we need to push the region pass manager into >>> the llvm pass manager stack. >>> the first questio...

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 work unit. As I wrote it myself I am obviously interested in region detection and the program structure tree itself. Furthermore I would be interes...

...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 use...

...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 t...

...n (this=0x101909440, R=0x10190ef40, RGM=@0x10190ce80) at /Users/Kariddi/Documents/Sviluppo/Tesi/llvm/tools/polly/lib/Analysis/ScopInfo.cpp:1085 #12 0x00000001003b5641 in llvm::RGPassManager::runOnFunction (this=0x10190ce80, F=@0x1019052a0) at /Users/Kariddi/Documents/Sviluppo/Tesi/llvm/lib/Analysis/RegionPass.cpp:96 #13 0x00000001005e90d1 in llvm::FPPassManager::runOnFunction (this=0x10190a240, F=@0x1019052a0) at /Users/Kariddi/Documents/Sviluppo/Tesi/llvm/lib/VMCore/PassManager.cpp:1512 #14 0x00000001005e943d in llvm::FPPassManager::runOnModule (this=0x10190a240, M=@0x1019067f0) at /Users/Kariddi/Docum...

...dich/ParallelAssert/llvm-objects/tools/opt/Debug+Asserts/AnalysisWrappers.o llvm::createRegionPrinterPass() /n/fs/scratch/tpondich/ParallelAssert/llvm-objects/tools/opt/Debug+Asserts/opt.o llvm::createNoAAPass() /n/fs/scratch/tpondich/ParallelAssert/llvm-objects/tools/opt/Debug+Asserts/opt.o llvm::RegionPass::assignPassManager(llvm::PMStack&, llvm::PassManagerType) /n/fs/scratch/tpondich/ParallelAssert/llvm-objects/tools/opt/Debug+Asserts/opt.o llvm::raw_fd_ostream::~raw_fd_ostream()/n/fs/scratch/tpondich/ParallelAssert/llvm-objects/tools/opt/Debug+Asserts/GraphPrinters.o llvm::createInstCountPass(...

...st case, as the dominance frontier information itself is quadratic. In practice runtime seems to be in the order of dominance tree calculation (tested on the polyhedron.com benchmarks) ------------------------------------------------------------------------ For us it would be useful to have the RegionPass interface in LLVM mainline. Here what I found at the first glance: * cmake/modules/LLVMLibDeps.cmake: > set(MSVC_LIB_DEPS_LLVMipa LLVMAnalysis LLVMCore LLVMSupport > LLVMSystem) > +set(MSVC_LIB_DEPS_LLVMregion LLVMAnalysis LLVMCore LLVMSupport > LLVMSystem) Call the library LLVM...