#include <limits.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
+#include <isl/aff.h>
#include <isl/set.h>
#include <isl/flow.h>
#include <isl/constraint.h>
void test_div(struct isl_ctx *ctx)
{
isl_int v;
- int pos;
struct isl_dim *dim;
- struct isl_div *div;
struct isl_basic_set *bset;
struct isl_constraint *c;
isl_int_init(v);
/* test 1 */
- dim = isl_dim_set_alloc(ctx, 0, 1);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, 1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2);
+
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
/* test 2 */
- dim = isl_dim_set_alloc(ctx, 0, 1);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, 1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2);
+
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
/* test 3 */
- dim = isl_dim_set_alloc(ctx, 0, 1);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, 1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 4);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2);
+
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
/* test 4 */
- dim = isl_dim_set_alloc(ctx, 0, 1);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
isl_int_set_si(v, 1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 6);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2);
+
assert(isl_basic_set_is_empty(bset));
isl_basic_set_free(bset);
/* test 5 */
- dim = isl_dim_set_alloc(ctx, 0, 2);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1);
+
assert(bset && bset->n_div == 0);
isl_basic_set_free(bset);
/* test 6 */
- dim = isl_dim_set_alloc(ctx, 0, 2);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 6);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1);
+
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
* and we end up with the original equality and div again.
* Perhaps we can avoid the introduction of this temporary div.
*/
- dim = isl_dim_set_alloc(ctx, 0, 3);
+ dim = isl_dim_set_alloc(ctx, 0, 4);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
isl_int_set_si(v, -3);
isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 6);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 3, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 3, 1);
+
/* Test disabled for now */
/*
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
/* test 8 */
- dim = isl_dim_set_alloc(ctx, 0, 4);
+ dim = isl_dim_set_alloc(ctx, 0, 5);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
isl_int_set_si(v, -3);
isl_constraint_set_coefficient(c, isl_dim_set, 3, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 6);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 4, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_constant(c, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 4, 1);
+
/* Test disabled for now */
/*
assert(bset && bset->n_div == 1);
isl_basic_set_free(bset);
/* test 9 */
- dim = isl_dim_set_alloc(ctx, 0, 2);
+ dim = isl_dim_set_alloc(ctx, 0, 4);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 1, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, -2);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_int_set_si(v, -1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, 3);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 3, v);
isl_int_set_si(v, 2);
isl_constraint_set_constant(c, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 2);
+
bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2);
assert(!isl_basic_set_is_empty(bset));
isl_basic_set_free(bset);
/* test 10 */
- dim = isl_dim_set_alloc(ctx, 0, 2);
+ dim = isl_dim_set_alloc(ctx, 0, 3);
bset = isl_basic_set_universe(dim);
c = isl_equality_alloc(isl_basic_set_get_dim(bset));
isl_int_set_si(v, 1);
isl_constraint_set_coefficient(c, isl_dim_set, 0, v);
- div = isl_div_alloc(isl_basic_set_get_dim(bset));
- c = isl_constraint_add_div(c, div, &pos);
isl_int_set_si(v, -2);
- isl_constraint_set_coefficient(c, isl_dim_div, pos, v);
+ isl_constraint_set_coefficient(c, isl_dim_set, 2, v);
bset = isl_basic_set_add_constraint(bset, c);
+ bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1);
+
bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2);
isl_basic_set_free(bset);
is_tilable = 1;
is_parallel = 1;
is_nonneg = 1;
+ isl_union_set_free(delta);
} else {
- delta_set = isl_union_set_copy_set(delta);
+ delta_set = isl_set_from_union_set(delta);
slice = isl_set_universe(isl_set_get_dim(delta_set));
for (i = 0; i < tilable; ++i)
isl_set_free(origin);
isl_set_free(delta_set);
}
- isl_union_set_free(delta);
if (is_nonneg < 0 || is_parallel < 0 || is_tilable < 0 ||
is_injection < 0 || is_complete < 0)