Uday Bondhugula
Uday Bondhugula
Fix build configuration to properly build `test_libpluto` and `unit_tests`. `unit_tests` isn't cleaned on a `make clean` and both binaries aren't built the proper way via automake but via custom patch...
When diamond tiling is enabled, the ILP used by find_cone_complement_hyperplane doesn't have a path through GLPK - it always uses either ISL or PIP irrespective of whether --glpk is specified....
The temporary files .regtile .srcfilename .outfilename remain in the present working directory post polycc running.
On the pluto+ branch in examples/heat-2dp, 'make par' fails. This is due to the pet-based extraction extracting undesirable statements (those that should have been eliminated as dead). heat-2dp.par.c: In function...
On the distmem branch, examples/heat-2d, heat-3d output all zeros during verification testing! Fix this.
In distmem branch, 'make distomp' fails in any of the examples/ dirs.
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...
On pluto+ branch, test/fusion10.c hangs with GLPK. Works fine with ISL or PIP as solvers: ./polycc test/fusion10.c --glpk --moredebug Constructing initial basis... Size of triangular part is 32 0: obj...
test/multi-stmt-2d-periodic.c test/multi-stmt-2d-periodic.c:6:15: error: CHECK-DAG: expected string not found in input // CHECK-DAG: T(S{{[0-9]+}}): (t, t+i, t+j) ^ :26:1: note: scanning from here [pluto] Affine transformations [
Pluto+: ILPs for test/matmul-seq3 and test/tce-4index... hang with the ISL solver. They work with --pipsolve or --glpk. These used to work with an older version of ISL (0.12.1) -- prior...