[NFC] Check that a parameter of ScheduleTreeOptimizer::isMatrMultPattern contains a correct partial schedule
llvm-svn: 271780
diff --git a/polly/lib/Transform/ScheduleOptimizer.cpp b/polly/lib/Transform/ScheduleOptimizer.cpp
index 36df4f2..5fd86a0 100644
--- a/polly/lib/Transform/ScheduleOptimizer.cpp
+++ b/polly/lib/Transform/ScheduleOptimizer.cpp
@@ -484,6 +484,9 @@
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);