diff options
| -rw-r--r-- | polly/lib/Transform/ScheduleOptimizer.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/Transform/ScheduleOptimizer.cpp b/polly/lib/Transform/ScheduleOptimizer.cpp index 36df4f23635..5fd86a0dee8 100644 --- a/polly/lib/Transform/ScheduleOptimizer.cpp +++ b/polly/lib/Transform/ScheduleOptimizer.cpp @@ -484,6 +484,9 @@ bool ScheduleTreeOptimizer::isMatrMultPattern( isl_map_free(NewPartialSchedule); return false; } + assert(isl_map_dim(NewPartialSchedule, isl_dim_out) == 3 && + "Each schedule dimension should be represented by a union piecewise" + "quasi-affine expression."); NewPartialSchedule = circularShiftOutputDims(NewPartialSchedule); if (containsMatrMult(NewPartialSchedule)) { isl_map_free(NewPartialSchedule); |
