[polly] r271780 - [NFC] Check that a parameter of ScheduleTreeOptimizer::isMatrMultPattern contains a correct partial schedule

[Roman Gareev via llvm-commits]

Author: romangareev
Date: Sat Jun  4 01:34:04 2016
New Revision: 271780

URL: http://llvm.org/viewvc/llvm-project?rev=271780&view=rev
Log:
[NFC] Check that a parameter of ScheduleTreeOptimizer::isMatrMultPattern contains a correct partial schedule

Modified:
    polly/trunk/lib/Transform/ScheduleOptimizer.cpp

Modified: polly/trunk/lib/Transform/ScheduleOptimizer.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Transform/ScheduleOptimizer.cpp?rev=271780&r1=271779&r2=271780&view=diff
==============================================================================
--- polly/trunk/lib/Transform/ScheduleOptimizer.cpp (original)
+++ polly/trunk/lib/Transform/ScheduleOptimizer.cpp Sat Jun  4 01:34:04 2016
@@ -484,6 +484,9 @@ bool ScheduleTreeOptimizer::isMatrMultPa
     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);