Merge pull request #278 from facebookresearch/pr/parameter_values

Scop::makeContextFromInputs: fix check for fixed parameter values

Author: skimo-openhub

src/core/polyhedral/scop.cc

@@ -324,7 +324,8 @@ isl::set Scop::makeContextFromInputs(
           paramSet & (isl::aff_set(parametricAff) == inputs[i]->shape[j]);
     }
   }
-  CHECK(paramSet.is_singleton()) << "could not infer the values of parameters";
+  CHECK(paramSet.is_equal(paramSet.sample()))
+      << "could not infer the values of parameters";
   return paramSet;
 }