input = fopen(filename, "r");
assert(input);
- bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
- bset2 = isl_basic_set_read_from_str(ctx, str, 0, ISL_FORMAT_OMEGA);
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0);
+ bset2 = isl_basic_set_read_from_str(ctx, str, 0);
assert(isl_basic_set_is_equal(bset1, bset2) == 1);
input = fopen(filename, "r");
assert(input);
- bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
- bmap = isl_basic_map_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0);
+ bmap = isl_basic_map_read_from_file(ctx, input, 0);
bset1 = isl_basic_set_apply(bset1, bmap);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
assert(isl_basic_set_is_equal(bset1, bset2) == 1);
input = fopen(filename, "r");
assert(input);
- bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
bset1 = isl_basic_set_affine_hull(bset1);
input = fopen(filename, "r");
assert(input);
- bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
set = isl_basic_set_union(bset1, bset2);
bset1 = isl_set_convex_hull(set);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
assert(isl_basic_set_is_equal(bset1, bset2) == 1);
input = fopen(filename, "r");
assert(input);
- bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
bset1 = isl_basic_set_gist(bset1, bset2);
- bset2 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_POLYLIB);
+ bset2 = isl_basic_set_read_from_file(ctx, input, 0);
assert(isl_basic_set_is_equal(bset1, bset2) == 1);
test_gist_case(ctx, "gist1");
}
-static struct isl_set *s_union(struct isl_ctx *ctx,
- const char *s1, const char *s2)
-{
- struct isl_basic_set *bset1;
- struct isl_basic_set *bset2;
- struct isl_set *set1, *set2;
-
- bset1 = isl_basic_set_read_from_str(ctx, s1, 0, ISL_FORMAT_OMEGA);
- bset2 = isl_basic_set_read_from_str(ctx, s2, 0, ISL_FORMAT_OMEGA);
- set1 = isl_set_from_basic_set(bset1);
- set2 = isl_set_from_basic_set(bset2);
- return isl_set_union(set1, set2);
-}
-
void test_coalesce(struct isl_ctx *ctx)
{
struct isl_set *set;
- set = s_union(ctx, "{[x,y]: x >= 0 & x <= 10 & y >= 0 & y <= 10}",
- "{[x,y]: y >= x & x >= 2 & 5 >= y}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: x >= 0 & x <= 10 & y >= 0 & y <= 10 or "
+ "y >= x & x >= 2 & 5 >= y }", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 1);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & 2x + y <= 30 & y <= 10 & x >= 0}",
- "{[x,y]: x + y >= 10 & y <= x & x + y <= 20 & y >= 0}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & 2x + y <= 30 & y <= 10 & x >= 0 or "
+ "x + y >= 10 & y <= x & x + y <= 20 & y >= 0}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 1);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & 2x + y <= 30 & y <= 10 & x >= 0}",
- "{[x,y]: x + y >= 10 & y <= x & x + y <= 19 & y >= 0}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & 2x + y <= 30 & y <= 10 & x >= 0 or "
+ "x + y >= 10 & y <= x & x + y <= 19 & y >= 0}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x >= 6 & x <= 10 & y <= x}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x >= 6 & x <= 10 & y <= x}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 1);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x >= 7 & x <= 10 & y <= x}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x >= 7 & x <= 10 & y <= x}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x >= 6 & x <= 10 & y + 1 <= x}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x >= 6 & x <= 10 & y + 1 <= x}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x = 6 & y <= 6}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x = 6 & y <= 6}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 1);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x = 7 & y <= 6}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x = 7 & y <= 6}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x = 6 & y <= 5}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x = 6 & y <= 5}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);
- set = s_union(ctx, "{[x,y]: y >= 0 & x <= 5 & y <= x}",
- "{[x,y]: y >= 0 & x = 6 & y <= 7}");
+ set = isl_set_read_from_str(ctx,
+ "{[x,y]: y >= 0 & x <= 5 & y <= x or "
+ "y >= 0 & x = 6 & y <= 7}", -1);
set = isl_set_coalesce(set);
assert(set && set->n == 2);
isl_set_free(set);