isl_test.c

   1 #include <assert.h>
   2 #include <stdio.h>
   3 #include <limits.h>
   4 #include <isl_ctx.h>
   5 #include <isl_set.h>
   6
   7 static char *srcdir;
   8
   9 void test_application_case(struct isl_ctx *ctx, const char *name)
  10 {
  11         char filename[PATH_MAX];
  12         FILE *input;
  13         int n;
  14         struct isl_basic_set *bset1, *bset2;
  15         struct isl_basic_map *bmap;
  16
  17         n = snprintf(filename, sizeof(filename),
  18                         "%s/test_inputs/%s.omega", srcdir, name);
  19         assert(n < sizeof(filename));
  20         input = fopen(filename, "r");
  21         assert(input);
  22
  23         bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_OMEGA);
  24         bmap = isl_basic_map_read_from_file(ctx, input, ISL_FORMAT_OMEGA);
  25
  26         bset1 = isl_basic_set_apply(ctx, bset1, bmap);
  27
  28         bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_OMEGA);
  29
  30         assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
  31
  32         isl_basic_set_free(ctx, bset1);
  33         isl_basic_set_free(ctx, bset2);
  34
  35         fclose(input);
  36 }
  37
  38 void test_application(struct isl_ctx *ctx)
  39 {
  40         test_application_case(ctx, "application");
  41         test_application_case(ctx, "application2");
  42 }
  43
  44 void test_affine_hull_case(struct isl_ctx *ctx, const char *name)
  45 {
  46         char filename[PATH_MAX];
  47         FILE *input;
  48         int n;
  49         struct isl_basic_set *bset1, *bset2;
  50
  51         n = snprintf(filename, sizeof(filename),
  52                         "%s/test_inputs/%s.polylib", srcdir, name);
  53         assert(n < sizeof(filename));
  54         input = fopen(filename, "r");
  55         assert(input);
  56
  57         bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
  58         bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
  59
  60         bset1 = isl_basic_set_affine_hull(ctx, bset1);
  61
  62         assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
  63
  64         isl_basic_set_free(ctx, bset1);
  65         isl_basic_set_free(ctx, bset2);
  66
  67         fclose(input);
  68 }
  69
  70 void test_affine_hull(struct isl_ctx *ctx)
  71 {
  72         test_affine_hull_case(ctx, "affine2");
  73         test_affine_hull_case(ctx, "affine");
  74 }
  75
  76 void test_convex_hull_case(struct isl_ctx *ctx, const char *name)
  77 {
  78         char filename[PATH_MAX];
  79         FILE *input;
  80         int n;
  81         struct isl_basic_set *bset1, *bset2;
  82         struct isl_set *set;
  83
  84         n = snprintf(filename, sizeof(filename),
  85                         "%s/test_inputs/%s.polylib", srcdir, name);
  86         assert(n < sizeof(filename));
  87         input = fopen(filename, "r");
  88         assert(input);
  89
  90         bset1 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
  91         bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
  92
  93         set = isl_basic_set_union(ctx, bset1, bset2);
  94         bset1 = isl_set_convex_hull(ctx, set);
  95
  96         bset2 = isl_basic_set_read_from_file(ctx, input, ISL_FORMAT_POLYLIB);
  97
  98         assert(isl_basic_set_is_equal(ctx, bset1, bset2) == 1);
  99
 100         isl_basic_set_free(ctx, bset1);
 101         isl_basic_set_free(ctx, bset2);
 102
 103         fclose(input);
 104 }
 105
 106 void test_convex_hull(struct isl_ctx *ctx)
 107 {
 108         test_convex_hull_case(ctx, "convex0");
 109         test_convex_hull_case(ctx, "convex1");
 110         test_convex_hull_case(ctx, "convex2");
 111         test_convex_hull_case(ctx, "convex3");
 112         test_convex_hull_case(ctx, "convex4");
 113         test_convex_hull_case(ctx, "convex5");
 114         test_convex_hull_case(ctx, "convex6");
 115         test_convex_hull_case(ctx, "convex7");
 116 }
 117
 118 int main()
 119 {
 120         struct isl_ctx *ctx;
 121
 122         srcdir = getenv("srcdir");
 123
 124         ctx = isl_ctx_alloc();
 125         test_application(ctx);
 126         test_affine_hull(ctx);
 127         test_convex_hull(ctx);
 128         isl_ctx_free(ctx);
 129         return 0;
 130 }