[Polly] Update ISL to isl-0.25-193-g8621c60c.

The bugfix https://reviews.llvm.org/D142308 might already have been
fixed upstream.

Author: Meinersbur

polly/lib/External/CMakeLists.txt

@@ -254,6 +254,8 @@ if (POLLY_BUNDLED_ISL)
     isl/isl_schedule_read.c
     isl/isl_schedule_tree.c
     isl/isl_scheduler.c
+    isl/isl_scheduler_clustering.c
+    isl/isl_scheduler_scc.c
     isl/isl_seq.c
     isl/isl_set_list.c
     isl/isl_set_to_ast_graft_list.c

polly/lib/External/isl/AUTHORS

@@ -23,17 +23,22 @@ isl was written by
 	    Domaine de Voluceau - Rocquencourt, B.P. 105
 	    78153 Le Chesnay
 	    France
-2015-2020   Polly Labs
-2018-2020   Cerebras Systems
+2015-2022   Polly Labs
+2018-2021   Cerebras Systems
 	    175 S San Antonio Rd
 	    Los Altos, CA
 	    USA
+2021-2022   Cerebras Systems
+	    1237 E Arques Ave
+	    Sunnyvale, CA
+	    USA
 
 Contributions by
 
 Mythri Alle
 Riyadh Baghdadi
 Serge Belyshev
+Basile Clement
 Albert Cohen
 Ray Donnelly
 Johannes Doerfert
@@ -49,6 +54,7 @@ Michael Kruse
 Manjunath Kudlur
 Alexander Matz
 Chielo Newctle
+Riccardo Mori
 Sebastian Pop
 Louis-Noel Pouchet
 Benoit Pradelle
@@ -59,6 +65,7 @@ Malhar Thakkar
 Sergei Trofimovich
 Miheer Vaidya
 Sven van Haastregt
+Matt Whitlock
 Oleksandr Zinenko
 
 The merge sort implementation was written by Jeffrey Stedfast.

polly/lib/External/isl/ChangeLog

@@ -1,3 +1,10 @@
+version: 0.25
+date: Sat 02 Jul 2022 11:14:57 AM CEST
+changes:
+	- support (type safe) user object on id in bindings
+	- more exports to (templated C++) bindings
+	- add some convenience functions
+---
 version: 0.24
 date: Sun 25 Apr 2021 03:56:37 PM CEST
 changes:

polly/lib/External/isl/GIT_HEAD_ID

@@ -1 +1 @@
-isl-0.24-69-g54aac5ac
+isl-0.25-193-g8621c60c

polly/lib/External/isl/all.h

@@ -1,4 +1,5 @@
 #include <isl/id.h>
+#include <isl/id_to_id.h>
 #include <isl/space.h>
 #include <isl/val.h>
 #include <isl/aff.h>

polly/lib/External/isl/basis_reduction_templ.c

@@ -155,8 +155,7 @@ struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab)
 			GBR_lp_get_obj_val(lp, &F_new);
 			fixed = GBR_lp_is_fixed(lp);
 			GBR_set_ui(alpha, 0);
-		} else
-		if (use_saved) {
+		} else if (use_saved) {
 			row = GBR_lp_next_row(lp);
 			GBR_set(F_new, F_saved);
 			fixed = fixed_saved;

polly/lib/External/isl/cpp/cpp-checked.h.top

@@ -17,6 +17,11 @@
 #include <string>
 #include <type_traits>
 
+#if __cplusplus >= 201703L
+#include <any>
+#include <optional>
+#endif
+
 namespace isl {
 namespace checked {
 
@@ -95,18 +100,23 @@ inline boolean manage(isl_bool val) {
 }
 
 class ctx {
-  isl_ctx *ptr;
+	isl_ctx *ptr;
 public:
-  /* implicit */ ctx(isl_ctx *ctx)
-      : ptr(ctx) {}
-  isl_ctx *release() {
-    auto tmp = ptr;
-    ptr = nullptr;
-    return tmp;
-  }
-  isl_ctx *get() {
-    return ptr;
-  }
+	/* implicit */ ctx(isl_ctx *ctx) : ptr(ctx) {}
+	isl_ctx *release() {
+		auto tmp = ptr;
+		ptr = nullptr;
+		return tmp;
+	}
+	isl_ctx *get() {
+		return ptr;
+	}
+#if __cplusplus >= 201703L
+	static void free_user(void *user) {
+		std::any *p = static_cast<std::any *>(user);
+		delete p;
+	}
+#endif
 };
 
 /* Class encapsulating an isl_stat value.

polly/lib/External/isl/cpp/cpp.h.top

@@ -18,6 +18,11 @@
 #include <string>
 #include <type_traits>
 
+#if __cplusplus >= 201703L
+#include <any>
+#include <optional>
+#endif
+
 /* ISL_USE_EXCEPTIONS should be defined to 1 if exceptions are available.
  * gcc and clang define __cpp_exceptions; MSVC and xlC define _CPPUNWIND.
  * Older versions of gcc (e.g., 4.9) only define __EXCEPTIONS.
@@ -46,6 +51,12 @@ public:
 	isl_ctx *get() {
 		return ptr;
 	}
+#if __cplusplus >= 201703L
+	static void free_user(void *user) {
+		std::any *p = static_cast<std::any *>(user);
+		delete p;
+	}
+#endif
 };
 
 /* Macros hiding try/catch.

polly/lib/External/isl/doc/isl.bib

@@ -198,7 +198,7 @@ @article{Woods2003short
 @misc{barvinok-0.22,
   author = {Sven Verdoolaege},
   title = {{\texttt{barvinok}}, version 0.22},
-  howpublished = {Available from \url{http://barvinok.gforge.inria.fr/}},
+  howpublished = {Available from \url{https://barvinok.sourceforge.io/}},
   year = 2006
 }
 
@@ -437,7 +437,7 @@ @inproceedings{Verdoolaege2014impact
  year   = 2014,
  month  = Jan,
  address = {Vienna, Austria},
- url = {http://impact.gforge.inria.fr/impact2014/papers/impact2014-verdoolaege.pdf},
+ url = {https://acohen.gitlabpages.inria.fr/impact/impact2014/papers/impact2014-verdoolaege.pdf},
  abstract = {
  Schedules in the polyhedral model, both those that represent the original
 execution order and those produced by scheduling algorithms, naturally have the