search for: polyhedr

...hite) in gcc to llvm(or that > should be implement at the level of clang?)? I already looked into implementing something like Graphite for LLVM. However just recently, so I have not released any code yet. As soon as some code is available I will post patches. Anybody who wants to work on the polyhedral model in LLVM, is invited to the Graphite mailing list, so we can share ideas. Here some information about graphite like optimizations in LLVM. A short introduction to the current state of GCC/Graphite: ----------------------------------------------------------------------- Graphite is a proje...

...3, Tobias Grosser wrote: > I already looked into implementing something like Graphite for LLVM. > However just recently, so I have not released any code yet. As soon as > some code is available I will post patches. whats its status? do you need any help? > A general plan to implement polyhedral transformations in LLVM: > > 1. The identity transformation (LLVM->polyedral->LLVM) > ====================================================== > > Create the polyhedral representation of the LLVM IR, do nothing with > it, and generate LLVM IR from the polyhedral representat...

Hi all, I would like to participate in Google's Summer of Code this year, for LLVM(Polly), The polyhedral optimization framework ( http://wiki.llvm.org/Polyhedral_optimization_framework ) which i am already working on with Tobias. Polly is a polyhedral optimization framework for llvm, which similar to Graphite for gcc (http://gcc.gnu.org/wiki/Graphite). The main work flow of Polly is: 1. Trans...

Hello everyone Is there someone planning to work on adding to Polly the techniques described in "The polyhedral model is more widely applicable than you think" to increase the coverage of the polyhedral model? I'm not familiar with Polly, but this would involve modifying its front-end and the code generator right? Any idea of how difficult this would be? Thanks! -Arnaldo

...on which Polly depends relicensed such that it is now > distributed under the MIT license, and thus Polly should be eligible for inclusion > as some of LLVM's core analysis and transformation passes. Yes, that will be very useful. One way to think of Polly is as a "gateway into the polyhedral model". The core functionality is to take a region and provide a polyhedral model for its memory accesses. This is separate from the fact that Polly also provides an optimization driver over a handful of different polyhedral implementations. Besides that, ISL, through Polly, provides a pret...

...r doing this so late*. I also want to apologize because this email is long, contains various technical details and also argumentations that might need more justification. However, I am happy to provide further information (and/or examples) to explain my views if required. tldr; We should introduce polyhedral analysis and optimization capabilities into LLVM step by step. Along the way we should revisit design decisions made by Polly and adjust them according to the use cases in the rest of LLVM. Finally, we should keep Polly as a stand-alone tool to allow research into, and prototyping of, complex loo...

...ost patches. > whats its status? do you need any help? Very recently started. That's why I did not talk about this on my own. However help is always needed. As already said. Getting affine access functions from the memory accesses would be a big help. >> A general plan to implement polyhedral transformations in LLVM: >> >> 1. The identity transformation (LLVM->polyedral->LLVM) >> ====================================================== >> >> Create the polyhedral representation of the LLVM IR, do nothing with >> it, and generate LLVM IR from the...

...to apologize > because this email is long, contains various technical details and also > argumentations that might need more justification. However, I am happy > to provide further information (and/or examples) to explain my views if > required. > > tldr; > We should introduce polyhedral analysis and optimization capabilities > into LLVM step by step. Along the way we should revisit design decisions > made by Polly and adjust them according to the use cases in the rest of > LLVM. Finally, we should keep Polly as a stand-alone tool to allow > research into, and prototy...

It would be great to get "accurate" dependence analysis from polyhedral framework. Anyone working on making polly into analysis+Transforms framework? -Prashantha -----Original Message----- From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On Behalf Of Sahasrabuddhe, Sameer Sent: Monday, October 08, 2012 9:03 AM To: Hal Finkel; Javed Absa...

...e this email is long, contains various technical details and also > >argumentations that might need more justification. However, I am happy > >to provide further information (and/or examples) to explain my views if > >required. > > > >tldr; > >We should introduce polyhedral analysis and optimization capabilities > >into LLVM step by step. Along the way we should revisit design decisions > >made by Polly and adjust them according to the use cases in the rest of > >LLVM. Finally, we should keep Polly as a stand-alone tool to allow > >research i...

...point is that I can easily use the modular analysis design to do only > what is needed to answer a query without any worrying about side effects > that are of no concern. Great! We do some wonderful stuff with ScalarEvolution and I was waiting for something like that to exploit some of that polyhedral magic. I think that this is a promising approach. However, because having Polyhedral Analysis is an orthogonal approach to Polly (which is more like a Polyhedral IR), it is not really correlated with the true goal of this discussion: integrating Polly or not into LLVM (except that it would mean i...

...ian, thanks for the comments! On 09/27, Sebastian Pop wrote: > On Tue, Sep 26, 2017 at 2:00 AM, Tobias Grosser via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > On Tue, Sep 26, 2017, at 00:03, Johannes Doerfert wrote: > >> It depends on what you want. If you want a polyhedral scheduler right > >> away, integration is the way to go. > > I think this is the topic of the thread as the folks who started > this discussion stated that they want to see Polly integrated > in LLVM. > > >> However, I don't think reuse of > >> Poll...

Dear All; Is there any work that discusses ​LLVM framework's short comings regarding auto vectorization and polyhedral optimizations? Regards, > -- Abid M. Malik ****************************************************** "I have learned silence from the talkative, toleration from the intolerant, and kindness from the unkind"---Gibran "Success is not for the chosen few, but for the few who choose...

...various technical details and also > > >argumentations that might need more justification. However, I am happy > > >to provide further information (and/or examples) to explain my views if > > >required. > > > > > >tldr; > > >We should introduce polyhedral analysis and optimization capabilities > > >into LLVM step by step. Along the way we should revisit design decisions > > >made by Polly and adjust them according to the use cases in the rest of > > >LLVM. Finally, we should keep Polly as a stand-alone tool to allow >...

...Pop <spop at codeaurora.org > <mailto:spop at codeaurora.org>> wrote: >> [many things, but I'm only going to focus on one of them] Would >> you consider using Polly http://polly.grosser.es to avoid writing >> this code? > > My impression is that Polly (and polyhedral analysis generally) > doesn't do want I want. But I'm happy to talk about it 'cause I > might be wrong. That depends what you want. ;-) Polly may offer good possibilities (and maybe even code) or it may not help at all. The best is to discuss this stuff. > If I look at all...

...g the way. > > I remember discussing it with Tobias that Polly could have three main steps: > > 1. Early analysis and annotation: a step that wouldn't modify code, > but extensively annotate (with metadata), so that itself, and other > passes like yours, could benefit from the polyhedral model. hi renato, Instead of exporting the polyhedral model of the program with metadata, another possible solution is designing a generic "Loop Parallelism" analysis interface just like the AliasAnalysis group. For a particular loop, the interface simply answer how many loop iteration...

...is recommend to the user to add pragmas? * Hal: Great set of features * There are other possibilities for loop optimizations than Polly * Tobias: It is possible to write complex loop transformations without Polly, but writing complex loop transformations can be difficult * Tobias: Polyhedral optimization is not a totally stupid option ;-) * Tobias: Maybe different loop optimization phases, eg different before inliner * Tobias: More loop benchmarks in test-suite * Tobias: Explore different options, eg. mixed-lp solvers * Why polyhedral model to do basic loop transformati...

...led by using an >> atomic increment provided by the architecture, if the compiler knows >> about such things. I don't think Polly would help here. > >> for (unsigned i = 0; i < n; i++) >>   count[src[i]]++; > > I do not see why it should be difficult to teach polyhedral tools to > model an increment and to understand that it can be done atomically. When I read about polyhedral frame works, the first thing I see is the restriction to affine subscripts. For loops 2 and 4, this seems to be the stumbling block. > The big selling point of polyhedral transform...

...ling signed division/remainder operations, which worked around lack of support in ScalarEvolution, is being replaced thanks to improvements being contributed to ScalarEvolution itself (see D34598). Polly’s core delinearization routines have long been a part of LLVM itself. * PolyhedralInfo, which exposes a subset of Polly’s loop analysis for use by other clients, is now available. * Polly is now part of the LLVM release process and is being included with LLVM by various packagers (e.g., Debian). I believe that the LLVM community would benefit from beginning th...

...On Mon, Feb 6, 2012 at 12:13 PM, Sebastian Pop <spop at codeaurora.org> wrote: >> [many things, but I'm only going to focus on one of them] >> Would you consider using Polly http://polly.grosser.es to avoid >> writing this code? > > My impression is that Polly (and polyhedral analysis generally) > doesn't do want I want. But I'm happy to talk about it 'cause I might > be wrong. I think you are right. However, Polly might be useful as one layer in a dependence tester. I haven't thought too deeply about it but polyhedral analysis can do some pre...