doc: explicitly state that the divisor of an ?div_? operation is positive
[isl.git] / testsets / pip / phideo.pip
blob0c91e452b8ce74807869cb871947d6e22b57a759
1 4 4
2 1       -1      0       8
3 1       1       0       -1
4 1       0       -1      128
5 1       0       1       -1
7 -1
9 24 14
10 1       0       1       2       4       8       16      32      64      128     256     0       3       574
11 1       0       -1      -2      -4      -8      -16     -32     -64     -128    -256    0       -3      -574
12 1       1       0       0       0       0       0       0       0       0       0       1       0       0
13 1       -1      0       0       0       0       0       0       0       0       0       -1      0       0
14 1       1       0       0       0       0       0       0       0       0       0       0       0       8
15 1       -1      0       0       0       0       0       0       0       0       0       0       0       -1
16 1       0       1       0       0       0       0       0       0       0       0       0       0       2
17 1       0       -1      0       0       0       0       0       0       0       0       0       0       -1
18 1       0       0       1       0       0       0       0       0       0       0       0       0       2
19 1       0       0       -1      0       0       0       0       0       0       0       0       0       -1
20 1       0       0       0       1       0       0       0       0       0       0       0       0       2
21 1       0       0       0       -1      0       0       0       0       0       0       0       0       -1
22 1       0       0       0       0       1       0       0       0       0       0       0       0       2
23 1       0       0       0       0       -1      0       0       0       0       0       0       0       -1
24 1       0       0       0       0       0       1       0       0       0       0       0       0       2
25 1       0       0       0       0       0       -1      0       0       0       0       0       0       -1
26 1       0       0       0       0       0       0       1       0       0       0       0       0       2
27 1       0       0       0       0       0       0       -1      0       0       0       0       0       -1
28 1       0       0       0       0       0       0       0       1       0       0       0       0       2
29 1       0       0       0       0       0       0       0       -1      0       0       0       0       -1
30 1       0       0       0       0       0       0       0       0       1       0       0       0       2
31 1       0       0       0       0       0       0       0       0       -1      0       0       0       -1
32 1       0       0       0       0       0       0       0       0       0       1       0       0       2
33 1       0       0       0       0       0       0       0       0       0       -1      0       0       -1
35 Urs_unknowns