forked from OSchip/llvm-project
11 lines
644 B
Plaintext
11 lines
644 B
Plaintext
|
Polly - Polyhedral optimizations for LLVM
|
||
|
|
|
||
|
|
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.
|