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