use isl::space::named_set_from_params_id

This simplifies the code as it replaces three calls
(set_from_params, add_dims, set_tuple_{name,id}) by a single call.
Note that the (technically required) add_dims call was missing
in some cases.
The single call also clarifies the meaning of the code.

Author: Sven Verdoolaege

tc/core/halide2isl.cc

@@ -258,17 +258,15 @@ isl::map extractAccess(
 
   isl::space domainSpace = domain.get_space();
   isl::space paramSpace = domainSpace.params();
-
-  isl::space rangeSpace = paramSpace.add_dims(isl::dim_type::set, args.size());
-
-  rangeSpace = rangeSpace.set_tuple_name(isl::dim_type::set, tensor);
+  isl::id tensorID(paramSpace.get_ctx(), tensor);
+  auto rangeSpace = paramSpace.named_set_from_params_id(tensorID, args.size());
 
   // Add a tag to the domain space so that we can maintain a mapping
   // between each access in the IR and the reads/writes maps.
   std::string tag = "__tc_ref_" + std::to_string(accesses->size());
   isl::id tagID(domain.get_ctx(), tag);
   accesses->emplace(op, tagID);
-  isl::space tagSpace = paramSpace.set_tuple_name(isl::dim_type::set, tag);
+  isl::space tagSpace = paramSpace.named_set_from_params_id(tagID, 0);
   domainSpace = domainSpace.product(tagSpace);
 
   // Start with a totally unconstrained relation - every point in

tc/core/polyhedral/cuda/codegen.cc

@@ -481,9 +481,8 @@ isl::multi_aff makeMultiAffAccess(
   CHECK_NE(subscripts.size(), 0u) << "cannot build subscript aff for a scalar";
 
   auto domainSpace = findDomainSpaceById(context);
-  auto tensorSpace = domainSpace.params().set_from_params().add_dims(
-      isl::dim_type::set, subscripts.size());
-  tensorSpace = tensorSpace.set_tuple_id(isl::dim_type::set, tensorId);
+  auto tensorSpace = domainSpace.params().named_set_from_params_id(
+      tensorId, subscripts.size());
   auto space = domainSpace.map_from_domain_and_range(tensorSpace);
 
   auto ma = isl::multi_aff::zero(space);

tc/core/polyhedral/memory_promotion.cc

@@ -402,8 +402,7 @@ isl::set tensorElementsSet(const Scop& scop, isl::id tensorId) {
   auto halideParameter = scop.findArgument(tensorId).parameter();
   auto space = scop.domain().get_space().params();
   auto nDim = halideParameter.dimensions();
-  space = space.add_dims(isl::dim_type::set, nDim)
-              .set_tuple_id(isl::dim_type::set, tensorId);
+  space = space.named_set_from_params_id(tensorId, nDim);
 
   auto tensorElements = isl::set::universe(space);
   for (int i = 0; i < nDim; ++i) {

tc/core/polyhedral/schedule_transforms.cc

@@ -559,8 +559,7 @@ detail::ScheduleTree* insertEmptyExtensionAbove(
 isl::map labelExtension(ScheduleTree* root, ScheduleTree* tree, isl::id id) {
   auto prefix = prefixScheduleMupa(root, tree);
   auto scheduleSpace = prefix.get_space();
-  auto space = scheduleSpace.params().set_from_params().set_tuple_id(
-      isl::dim_type::set, id);
+  auto space = scheduleSpace.params().named_set_from_params_id(id, 0);
   auto extensionSpace = scheduleSpace.map_from_domain_and_range(space);
   return isl::map::universe(extensionSpace);
 }

tc/core/polyhedral/scop.cc

@@ -525,15 +525,13 @@ isl::aff Scop::makeIslAffFromStmtExpr(
     const Halide::Expr& e) const {
   auto ctx = stmtId.get_ctx();
   auto iterators = halide.iterators.at(stmtId);
-  auto space = paramSpace.set_from_params();
-  space = space.add_dims(isl::dim_type::set, iterators.size());
+  auto space = paramSpace.named_set_from_params_id(stmtId, iterators.size());
   // Set the names of the set dimensions of "space" for use
   // by halide2isl::makeIslAffFromExpr.
   for (size_t i = 0; i < iterators.size(); ++i) {
     isl::id id(ctx, iterators[i]);
     space = space.set_dim_id(isl::dim_type::set, i, id);
   }
-  space = space.set_tuple_id(isl::dim_type::set, stmtId);
   return halide2isl::makeIslAffFromExpr(space, e);
 }