bondhugula/pluto

test_libpluto in pluto+ branch: test case 3 hangs; test case 2 hangs with GLPK

bondhugula opened this issue · 1 comments

test_libpluto hangs on the third test case.

$ ./test_libpluto

*** TEST CASE 3 ***

With debug out, it appears that the call to isl hangs.

[pluto] (Band 1) Solving for hyperplane #2
[pluto] pluto_prog_constraints_lexmin (11 variables, 29 constraints)
[pluto] pluto_constraints_lexmin_isl (11 variables, 29 constraints)

With GLPK, the second test case itself hangs.

With pip, second test hangs as well. With ISL, the second test gives the following undesired transformation
$ ./test_libpluto

*** TEST CASE 2 ***

T(S1): (i0, -4i0+p5)
loop types (loop, loop)

T(S2): (i0, -4i0-4i1+p6)
loop types (loop, loop)

This is due to the bound lower bound of -4 on transformation coefficients. If the options->coeff_bound is set to 1204, call to isl hangs

*** TEST CASE 2 ***
with debug output
[pluto] (Band 1) Solving for hyperplane #2
[pluto] pluto_prog_constraints_lexmin (34 variables, 110 constraints)
[pluto] pluto_constraints_lexmin_isl (33 variables, 110 constraints)