makeParamContext: 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

@@ -236,10 +236,10 @@ isl::space makeParamSpace(isl::ctx ctx, const ParameterVector& params) {
   return space;
 }
 
-isl::set makeParamContext(isl::ctx ctx, const SymbolTable& symbolTable) {
-  auto space = makeParamSpace(ctx, symbolTable.params);
+isl::set makeParamContext(isl::ctx ctx, const ParameterVector& params) {
+  auto space = makeParamSpace(ctx, params);
   auto context = isl::set::universe(space);
-  for (auto p : symbolTable.params) {
+  for (auto p : params) {
     isl::aff a(isl::aff::param_on_domain_space(space, isl::id(ctx, p.name())));
     context = context & (a >= 0);
   }

tc/core/halide2isl.h

@@ -44,9 +44,9 @@ SymbolTable makeSymbolTable(const tc2halide::HalideComponents& components);
 /// 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
+/// Make the parameter set marking all given parameters
 /// as non-negative.
-isl::set makeParamContext(isl::ctx ctx, const SymbolTable& symbolTable);
+isl::set makeParamContext(isl::ctx ctx, const ParameterVector& params);
 
 /// Make a constant-valued affine function over a space.
 isl::aff makeIslAffFromInt(isl::space space, int64_t i);

tc/core/polyhedral/scop.cc

@@ -47,7 +47,7 @@ ScopUPtr Scop::makeScop(
 
   halide2isl::SymbolTable sym = halide2isl::makeSymbolTable(components);
 
-  auto globalParameterContext = halide2isl::makeParamContext(ctx, sym);
+  auto globalParameterContext = halide2isl::makeParamContext(ctx, sym.params);
   isl::space paramSpace = globalParameterContext.get_space();
 
   ScopUPtr scop(new Scop());