makeParamSpace: take ParameterVector instead of SymbolTable

Only the ParameterVector is required and the SymbolTable
is only available inside Scop::makeScop.

Author: Sven Verdoolaege

tc/core/halide2isl.cc

@@ -227,17 +227,17 @@ isl::aff makeIslAffFromExpr(isl::space space, const Expr& e) {
   return list[0];
 }
 
-isl::space makeParamSpace(isl::ctx ctx, const SymbolTable& symbolTable) {
+isl::space makeParamSpace(isl::ctx ctx, const ParameterVector& params) {
   auto space = isl::space(ctx, 0);
   // set parameter names
-  for (auto p : symbolTable.params) {
+  for (auto p : params) {
     space = space.add_param(isl::id(ctx, p.name()));
   }
   return space;
 }
 
 isl::set makeParamContext(isl::ctx ctx, const SymbolTable& symbolTable) {
-  auto space = makeParamSpace(ctx, symbolTable);
+  auto space = makeParamSpace(ctx, symbolTable.params);
   auto context = isl::set::universe(space);
   for (auto p : symbolTable.params) {
     isl::aff a(isl::aff::param_on_domain_space(space, isl::id(ctx, p.name())));

tc/core/halide2isl.h

@@ -41,8 +41,8 @@ struct SymbolTable {
 };
 SymbolTable makeSymbolTable(const tc2halide::HalideComponents& components);
 
-/// Make the space of all parameter values from the symbol table
-isl::space makeParamSpace(isl::ctx ctx, const SymbolTable& symbolTable);
+/// Make the space of all given parameter values
+isl::space makeParamSpace(isl::ctx ctx, const ParameterVector& params);
 
 /// Make the parameter set marking all parameters from the symbol table
 /// as non-negative.