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
hi, On Fri, Apr 8, 2011 at 5:02 AM, Arnaldo <arnaldo.cruz at upr.edu> wrote:> 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?It seems that the answer is 'no'.> > 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?For the front-end, you need to modify the ScopDetection pass so it accepts the irregular stuffs, and you also need to modify the ScopInfo pass so it can translate those irregular stuffs to polyhedral representation correctly. I am not familar with the backend, cced to tobi. best regards ether> > Thanks! > > > -Arnaldo > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >
On 04/07/2011 11:02 PM, Arnaldo wrote:> 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?Hi Arnaldo, we plan to implement such extensions. However, at the moment there are still a lot of low hanging fruits within the strict model. If you want to introduce the first piece of non linearity the easiest extension is the support of access functions with non linear array subscripts. They can be modeled as maywrite or read accesses of the whole array. This extension does not require any code generation changes, but only changes to the SCopDetection and the ScopInfo pass. Cheers Tobi