summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: faf5f9f)
add some isl_basic_set_gist tests
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 20 May 2024 21:09:10 +0000 (20 23:09 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 25 May 2024 13:04:53 +0000 (25 15:04 +0200)
The function isl_basic_set_gist currently does not support
existentially quantified variables in the input set,
but it does in some cases support existentially quantified variables
in the context.  Add some test cases to ensure that this continues
to be supported.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_test2.cc patch | blob | blame | history

diff --git a/isl_test2.cc b/isl_test2.cc
index 1d88b44..dceb8d6 100644 (file)
--- a/isl_test2.cc
+++ b/isl_test2.cc
@@ -548,6 +548,15 @@ T gist(const T &obj, const T &copy, const T &context)
  */
 static void test_gist(isl::ctx ctx)
 {
+       C(&gist<isl::basic_set> , {
+       { TWO("{ [i=100:] }"),
+         "{ [i] : exists a, b: 2b > 2i - 5a > 8b -3 i and 3b > 2a }",
+         "{ [i=100:] }" },
+       { TWO("{ [i=0:] }"),
+         "{ [i] : exists a, b: 2b > 2i - 5a > 8b -3 i and 3b > 2a }",
+         "{ [i] }" },
+       });
+
        C(&gist<isl::set> , {
        { TWO("{ [1, -1, 3] }"),
          "{ [1, b, 2 - b] : -1 <= b <= 2 }",