summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRoman Gareev <gareevroman@gmail.com>2016-06-04 06:34:04 +0000
committerRoman Gareev <gareevroman@gmail.com>2016-06-04 06:34:04 +0000
commitba0fb97c0ad79667ead024f5766e3abbc61e7dad (patch)
tree12a48da6f893c8a3945b574e282606c5f7f58bd8
parent79abce39bb851b7a865a4cb37a1e4b9fa467ebc6 (diff)
downloadbcm5719-llvm-ba0fb97c0ad79667ead024f5766e3abbc61e7dad.tar.gz
bcm5719-llvm-ba0fb97c0ad79667ead024f5766e3abbc61e7dad.zip
[NFC] Check that a parameter of ScheduleTreeOptimizer::isMatrMultPattern contains a correct partial schedule
llvm-svn: 271780
-rw-r--r--polly/lib/Transform/ScheduleOptimizer.cpp3
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);
OpenPOWER on IntegriCloud