add some pip tests from the piplib distribution

diff --git a/Makefile.am b/Makefile.am
index 1688c95..cac7959 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -8,7 +8,7 @@ noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
        isl_polyhedron_minimize isl_polytope_scan \
        isl_polyhedron_detect_equalities isl_cat \
        isl_closure
-TESTS = isl_test
+TESTS = isl_test pip_test.sh
 
 if HAVE_PIPLIB
 ISL_PIPLIB = \
@@ -173,6 +173,7 @@ EXTRA_DIST = \
        doc/mypod2latex \
        doc/manual.tex \
        doc/user.pod \
+       pip_test.sh \
        test_inputs
 
 dist-hook:

diff --git a/pip_test.sh b/pip_test.sh
new file mode 100755 (executable)
index 0000000..2d97a35
--- /dev/null
+++ b/pip_test.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+PIP_TESTS="\
+       boulet.pip \
+       brisebarre.pip \
+       cg1.pip \
+       esced.pip \
+       ex2.pip \
+       ex.pip \
+       fimmel.pip \
+       max.pip \
+       negative.pip \
+       small.pip \
+       sor1d.pip \
+       square.pip \
+       sven.pip"
+
+for i in $PIP_TESTS; do
+       echo $i;
+       ./isl_pip$EXEEXT -T < $srcdir/test_inputs/$i || exit
+done

diff --git a/test_inputs/boulet.pip b/test_inputs/boulet.pip
new file mode 100644 (file)
index 0000000..78e90dd
--- /dev/null
+++ b/test_inputs/boulet.pip
@@ -0,0 +1,13 @@
+0 3
+
+-1
+
+5 6
+1 1 -1  2 0 0
+1 0  1  1 4 20
+1 0 -1 -1 0 0
+1 0  1 -1 2 10
+1 0 -1  1 2 10
+
+Urs_parms
+Urs_unknowns

diff --git a/test_inputs/brisebarre.pip b/test_inputs/brisebarre.pip
new file mode 100644 (file)
index 0000000..5d25dae
--- /dev/null
+++ b/test_inputs/brisebarre.pip
@@ -0,0 +1,34 @@
+# ---------------------- CONTEXT ----------------------\r
+1 2\r
+1    0\r
+\r
+-1\r
+\r
+# ----------------------- DOMAIN ----------------------\r
+26 6\r
+1    3    0    0     0    -98300\r
+1   -3    0    0     0     98308\r
+1  432   36    6     1 -14757611\r
+1 -432  -36   -6    -1  14758510\r
+1   54    9    3     1  -1923190\r
+1  -54   -9   -3    -1   1923303\r
+1   48   12    6     3  -1782238\r
+1  -48  -12   -6    -3   1782339\r
+1   27    9    6     4  -1045164\r
+1  -27   -9   -6    -4   1045221\r
+1  432  180  150   125 -17434139\r
+1 -432 -180 -150  -125  17435038\r
+1    6    3    3     3   -252443\r
+1   -6   -3   -3    -3    252456\r
+1  432  252  294   343 -18949275\r
+1 -432 -252 -294  -343  18950174\r
+1   27   18   24    32  -1234720\r
+1  -27  -18  -24   -32   1234777\r
+1   48   36   54    81  -2288453\r
+1  -48  -36  -54   -81   2288554\r
+1   54   45   75   125  -2684050\r
+1  -54  -45  -75  -125   2684163\r
+1  432  396  726  1331 -22386005\r
+1 -432 -396 -726 -1331  22386904\r
+1    3    3    6    12   -162072\r
+1   -3   -3   -6   -12    162080\r

diff --git a/test_inputs/cg1.pip b/test_inputs/cg1.pip
new file mode 100644 (file)
index 0000000..78e31f1
--- /dev/null
+++ b/test_inputs/cg1.pip
@@ -0,0 +1,15 @@
+2 4
+  1  1  0 -1
+  1 -1  1  0
+
+-1
+
+8 7
+  1  0  1  0 -1  0  0
+  1  0 -1  0  1  0  0
+  1  1  0  0  0 -1  0
+  1 -1  0  0  0  1  0
+  1  0  1  0  0  0 -1
+  1  0 -1  0  0  1  0
+  1  0 -1  1  0  0 -1
+  1  0  0 -1  0  1  0

diff --git a/test_inputs/esced.pip b/test_inputs/esced.pip
new file mode 100644 (file)
index 0000000..dbf56ff
--- /dev/null
+++ b/test_inputs/esced.pip
@@ -0,0 +1,27 @@
+0 2
+
+-1
+
+16 18
+1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0
+1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
+1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
+
+
+0 0 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0
+0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0
+
+0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0
+
+0 0 0 0 0 0 -1 0 0 0 0 0 1 -1 0 -1 0 0
+0 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0
+0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0
+
+0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0
+0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0
+
+1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
+1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1

diff --git a/test_inputs/ex.pip b/test_inputs/ex.pip
new file mode 100644 (file)
index 0000000..a405450
--- /dev/null
+++ b/test_inputs/ex.pip
@@ -0,0 +1,9 @@
+1 5
+1 -1  1  1  0 
+
+-1
+
+3 7
+1  0 -1  0  1  0  0 
+1 -1  0  0  0  1  0 
+1  1  1 -1  0  0  0 

diff --git a/test_inputs/ex2.pip b/test_inputs/ex2.pip
new file mode 100644 (file)
index 0000000..bb59848
--- /dev/null
+++ b/test_inputs/ex2.pip
@@ -0,0 +1,9 @@
+1 5
+1 -1 1 1 0
+
+-1
+
+3 7
+1 0 -1 0 1 0 0
+1 -1 0 0 0 1 0
+1 1 1 -1 0 0 0

diff --git a/test_inputs/fimmel.pip b/test_inputs/fimmel.pip
new file mode 100644 (file)
index 0000000..a6dee41
--- /dev/null
+++ b/test_inputs/fimmel.pip
@@ -0,0 +1,12 @@
+0 4
+
+-1
+
+7 6
+1 2  6 0 0 -9
+1 5 -3 0 0 0
+1 2 -10 0 0 15
+1 -2 6 0 0 -3
+1 -2 -6 0 0 17
+1 0 1 -1 0 0
+1 1 0 0 -1 0

diff --git a/test_inputs/max.pip b/test_inputs/max.pip
new file mode 100644 (file)
index 0000000..e8af57b
--- /dev/null
+++ b/test_inputs/max.pip
@@ -0,0 +1,9 @@
+0 3
+
+-1
+
+4 5
+1 -1  0  1  0
+1  0 -1  1  0
+1 -1  3 -2 12
+1  2 -1 -1  3

diff --git a/test_inputs/negative.pip b/test_inputs/negative.pip
new file mode 100644 (file)
index 0000000..45090a5
--- /dev/null
+++ b/test_inputs/negative.pip
@@ -0,0 +1,9 @@
+1 3
+#  n  1
+1  1 -1 # n >= 1
+-1
+
+2 4
+#  i  n  1
+1  1  0  1 # i >= -1
+1 -1  1  0 # i <= n

diff --git a/test_inputs/small.pip b/test_inputs/small.pip
new file mode 100644 (file)
index 0000000..59557d2
--- /dev/null
+++ b/test_inputs/small.pip
@@ -0,0 +1,9 @@
+0 2
+
+-1
+
+4 4
+1  1  0  0
+1  0  1  0
+1  1 -3 12
+1 -2  1  3

diff --git a/test_inputs/sor1d.pip b/test_inputs/sor1d.pip
new file mode 100644 (file)
index 0000000..1bef89e
--- /dev/null
+++ b/test_inputs/sor1d.pip
@@ -0,0 +1,28 @@
+2 4
+ 1     1       0       0
+ 1     0       1       0
+
+-1
+
+20 8
+ 
+ 0     -1      0       0       0       0       0       2
+ 0     0       -1      0       0       0       0       1
+ 0     0       0       -1      0       0       0       2
+ 0     0       0       0       -1      0       0       4
+ 1     0       0       0       1       0       0       -2
+ 1     -2      0       2       1       0       0       -4
+ 1     0       0       0       -1      0       1       -1
+ 1     2       0       -2      -1      0       0       5
+ 1     0       0       1       0       0       0       -1
+ 1     0       -2      1       0       0       0       0
+ 1     -2      0       2       0       0       1       -5
+ 1     0       0       -1      0       1       0       0
+ 1     0       2       -1      0       0       0       1
+ 1     2       0       -2      0       0       0       3
+ 1     0       1       0       0       0       0       0
+ 1     -2      4       0       0       0       1       -3
+ 1     0       -2      0       0       1       0       0
+ 1     2       -4      0       0       0       0       3
+ 1     2       0       0       0       0       0       1
+ 1     -2      0       0       0       2       1       -5

diff --git a/test_inputs/square.pip b/test_inputs/square.pip
new file mode 100644 (file)
index 0000000..7bb3f0c
--- /dev/null
+++ b/test_inputs/square.pip
@@ -0,0 +1,9 @@
+0 3
+
+-1
+
+4 5
+1  1  0  0  0
+1 -1  0  1  0
+1  0  1  0  0
+1  0 -1  1  0

diff --git a/test_inputs/sven.pip b/test_inputs/sven.pip
new file mode 100644 (file)
index 0000000..8602769
--- /dev/null
+++ b/test_inputs/sven.pip
@@ -0,0 +1,7 @@
+0 3
+
+-1
+
+2 3
+1  1 -4
+1 -1 10