1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#include <assert.h>
#include <stdio.h>
#include <limits.h>
#include <isl_ctx.h>
#include <isl_set.h>
static char *srcdir;
void test_convex_hull_case(struct isl_ctx *ctx, const char *name)
{
char filename[PATH_MAX];
FILE *input;
int n;
struct isl_basic_set *bset1, *bset2;
struct isl_set *set;
n = snprintf(filename, sizeof(filename),
"%s/test_inputs/%s.polylib", srcdir, name);
assert(n < sizeof(filename));
input = fopen(filename, "r");
assert(input);
bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
set = isl_basic_set_union(ctx, bset1, bset2);
bset1 = isl_set_convex_hull(ctx, set);
bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
isl_basic_set_free(ctx, bset1);
isl_basic_set_free(ctx, bset2);
fclose(input);
}
void test_convex_hull(struct isl_ctx *ctx)
{
test_convex_hull_case(ctx, "convex0");
test_convex_hull_case(ctx, "convex1");
test_convex_hull_case(ctx, "convex2");
test_convex_hull_case(ctx, "convex3");
test_convex_hull_case(ctx, "convex4");
test_convex_hull_case(ctx, "convex5");
test_convex_hull_case(ctx, "convex6");
test_convex_hull_case(ctx, "convex7");
}
int main()
{
struct isl_ctx *ctx;
srcdir = getenv("srcdir");
ctx = isl_ctx_alloc();
test_convex_hull(ctx);
isl_ctx_free(ctx);
return 0;
}
|