Polly is a high-level loop and data-locality optimizer and
optimization infrastructure for LLVM. It uses an abstract mathematical
representation based on integer polyhedra to analyze and optimize the
memory access pattern of a program. It currently performs classical
loop transformations, especially tiling and loop fusion to improve
data-locality. Polly can also exploit OpenMP level parallelism, expose
SIMDization opportunities. Work has also done in the area of
automatic GPU code generation.