[mlir][sparse] add asserts on reading in tensor data
[lldb.git] / polly / README
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.