1#include <assert.h> 2#include <isl/map.h> 3#include <isl/options.h> 4 5int main(int argc, char **argv) 6{ 7 struct isl_ctx *ctx; 8 struct isl_map *map; 9 struct isl_options *options; 10 int exact; 11 12 options = isl_options_new_with_defaults(); 13 assert(options); 14 argc = isl_options_parse(options, argc, argv, ISL_ARG_ALL); 15 16 ctx = isl_ctx_alloc_with_options(&isl_options_args, options); 17 18 map = isl_map_read_from_file(ctx, stdin); 19 map = isl_map_transitive_closure(map, &exact); 20 if (!exact) 21 printf("# NOT exact\n"); 22 isl_map_print(map, stdout, 0, ISL_FORMAT_ISL); 23 printf("\n"); 24 map = isl_map_compute_divs(map); 25 map = isl_map_coalesce(map); 26 printf("# coalesced\n"); 27 isl_map_print(map, stdout, 0, ISL_FORMAT_ISL); 28 printf("\n"); 29 isl_map_free(map); 30 31 isl_ctx_free(ctx); 32 33 return 0; 34} 35