add two more convex hull test cases

diff --git a/isl_test.c b/isl_test.c
index eadc20a..7aa2db0 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -459,6 +459,8 @@ void test_convex_hull(struct isl_ctx *ctx)
        test_convex_hull_case(ctx, "convex9");
        test_convex_hull_case(ctx, "convex10");
        test_convex_hull_case(ctx, "convex11");
+       test_convex_hull_case(ctx, "convex12");
+       test_convex_hull_case(ctx, "convex13");
 }
 
 void test_gist_case(struct isl_ctx *ctx, const char *name)

diff --git a/test_inputs/convex12.polylib b/test_inputs/convex12.polylib
new file mode 100644 (file)
index 0000000..e476630
--- /dev/null
+++ b/test_inputs/convex12.polylib
@@ -0,0 +1,12 @@
+3 5
+1   0    0    1    1
+1   0    1    0    1
+1  -1   -1    0   -2
+
+3 5
+1   0    0    1    2
+1   1   -1    0    0
+1   1    0    0   -1
+
+1 5
+1   0    0    1    2

diff --git a/test_inputs/convex13.polylib b/test_inputs/convex13.polylib
new file mode 100644 (file)
index 0000000..1b35912
--- /dev/null
+++ b/test_inputs/convex13.polylib
@@ -0,0 +1,17 @@
+3 5
+1   0    0   -1    3
+1   0   -1    0    2
+1   1    1    1   -4
+
+3 5
+1   0    0    1    0
+1   1    0    0   -1
+1   1    2    0    1
+
+6 5
+1   3    2    0   -1
+1   3    0    2   -3
+1   1    0    1   -1
+1   1    1    1    0
+1   1    1    0    0
+1   1    0    0    1