forked from OSchip/llvm-project
1ef55ac96e
After the update to ISL to isl-0.22.1-87-gfee05a13 and its change of isl_*_dim returning -1 instead of 0, the -1 got wrapped-around to UINT_MAX because Polly often uses 'unsigned' type to represent dimensions, as ISL did before this patch. This may happen in normal executions after an out-of-quota. Fix by catching the error-case earlier. |
||
---|---|---|
.. | ||
cmake | ||
docs | ||
include/polly | ||
lib | ||
test | ||
tools | ||
unittests | ||
utils | ||
www | ||
.arclint | ||
.gitattributes | ||
.gitignore | ||
CMakeLists.txt | ||
CREDITS.txt | ||
LICENSE.txt | ||
README |
README
Polly - Polyhedral optimizations for LLVM ----------------------------------------- http://polly.llvm.org/ 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.