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