| Tobias Grosser | 7580537 | 2011-04-29 06:27:02 | [diff] [blame] | 1 | Polly - Polyhedral optimizations for LLVM |
| Sameer Sahasrabuddhe | 1646a6e | 2012-10-09 04:59:42 | [diff] [blame] | 2 | ----------------------------------------- |
| 3 | http://polly.llvm.org/ |
| Tobias Grosser | 7580537 | 2011-04-29 06:27:02 | [diff] [blame] | 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. |
