4538987e5e
#204146 revealed that Polly can call `SCEVDivision::divide` with a numerator and denominator of different types. I believe such divisions are not meaningful and should be avoided. As far as I can tell, the root cause is that `SCEVRemoveMax::rewrite` may collect terms whose types differ from that of the original expression. Before this patch, the terms gathered by `SCEVRemoveMax::rewrite` were used for delinearization as they are. This patch applies `getTruncateOrSignExtend` to them to matching their types with that of the original expression. |
||
|---|---|---|
| .. | ||
| ci | ||
| cmake | ||
| docs | ||
| include/polly | ||
| lib | ||
| test | ||
| unittests | ||
| utils | ||
| www | ||
| .arclint | ||
| .gitattributes | ||
| .gitignore | ||
| CMakeLists.txt | ||
| CREDITS.txt | ||
| LICENSE.TXT | ||
| Maintainers.md | ||
| 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.