isl_basic_map_gist: prefer contraints without existentially quantified variables

[platform/upstream/isl.git] / isl_map.c

diff --git a/isl_map.c b/isl_map.c
index 5173369..06aa85c 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -6735,6 +6735,9 @@ struct constraint {
        isl_int         *c;
 };
 
+/* uset_gist depends on constraints without existentially quantified
+ * variables sorting first.
+ */
 static int qsort_constraint_cmp(const void *p1, const void *p2)
 {
        const struct constraint *c1 = (const struct constraint *)p1;