|
150
|
1 Polly - Polyhedral optimizations for LLVM
|
|
|
2 -----------------------------------------
|
|
|
3 http://polly.llvm.org/
|
|
|
4
|
|
|
5 Polly uses a mathematical representation, the polyhedral model, to represent and
|
|
|
6 transform loops and other control flow structures. Using an abstract
|
|
|
7 representation it is possible to reason about transformations in a more general
|
|
|
8 way and to use highly optimized linear programming libraries to figure out the
|
|
|
9 optimal loop structure. These transformations can be used to do constant
|
|
|
10 propagation through arrays, remove dead loop iterations, optimize loops for
|
|
|
11 cache locality, optimize arrays, apply advanced automatic parallelization, drive
|
|
|
12 vectorization, or they can be used to do software pipelining.
|
