diff --git a/loopy/kernel/tools.py b/loopy/kernel/tools.py index 35efc9766056e27cad3bb54da444b2b6d37194c3..d1093c01a19fb70cb49918cf60517c1a42d4cca9 100644 --- a/loopy/kernel/tools.py +++ b/loopy/kernel/tools.py @@ -257,10 +257,10 @@ class SetOperationCacheManager: return result def dim_min(self, set, *args): - return self.op(set, "dim_min", isl.dim_min_projected, args) + return self.op(set, "dim_min", isl.dim_min_with_elimination, args) def dim_max(self, set, *args): - return self.op(set, "dim_max", isl.dim_max_projected, args) + return self.op(set, "dim_max", isl.dim_max_with_elimination, args) def base_index_and_length(self, set, iname, context=None): if not isinstance(iname, int):