llvm-project/polly/lib/Analysis
Tobias Grosser 2df884f95a ScopInfo: use project_out instead of remove_dims
By just removing dimensions (and the constraints they are involved in) we
may loose information about the dimensions we do not remove. By instead
using project_out, we are sure all constraints on the outer dimensions are
preserved.

No test case, as this error condition is very unlikely to be triggered by
isl's current code. We still 'fix' this, as isl gives little guarantees
regarding the behavior of remove_divs.

llvm-svn: 246567
2015-09-01 18:17:41 +00:00
..
DependenceInfo.cpp Use schedule trees to compute dependences 2015-08-18 15:05:29 +00:00
ScopDetection.cpp Fix another typo in the subloop counting 2015-08-31 21:04:51 +00:00
ScopDetectionDiagnostic.cpp Add diagnostic for unsigned integer comparisions 2015-05-20 15:37:11 +00:00
ScopGraphPrinter.cpp Add option -polly-view-only 2015-08-03 16:39:56 +00:00
ScopInfo.cpp ScopInfo: use project_out instead of remove_dims 2015-09-01 18:17:41 +00:00
ScopPass.cpp [Refactor] Add a Scop & as argument to printScop 2015-03-01 18:40:25 +00:00
TempScopInfo.cpp Always use the branch instructions to model the PHI-node writes 2015-08-31 13:45:54 +00:00