Polly - extending its polyhedral model

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,

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

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