Polyhedral optimization

[windelbouwman]

This looks cool:

https://polly.llvm.org/performance.html

How would we integrate this?

[pfalcon]

What's so cool about? Polyhedral-model optimization looks like "corporate bloat" of compiler optimizations. Loop parallelization for multiprocessors and the like - what can be more boring? ;-) People don't build such CPU on kitchen tables.

I recently looked for what loop optimizations PPCI does at all, and saw nothing. I'd suggest to start with classic loop optimizations like loop invariant code motions and induction variable optimization.

[pfalcon]

Related: https://github.com/inducer/loopy . "A code generator for array-based code on CPUs and GPUs". Pure-Python. It doesn't mention "polyhedral optimization" specifically, but does some loop munging associated with it (like tiling, etc.).