Home | History | Annotate | Line # | Download | only in dist 
      1 /*
      2  * Copyright 2017      Sven Verdoolaege
      3  *
      4  * Use of this software is governed by the MIT license
      5  *
      6  * Written by Sven Verdoolaege.
      7  */
      8 
      9 #include <stdlib.h>
     10 
     11 #include <isl/arg.h>
     12 #include <isl/options.h>
     13 #include <isl/schedule.h>
     14 
     15 struct options {
     16 	struct isl_options *isl;
     17 	char *schedule1;
     18 	char *schedule2;
     19 };
     20 
     21 ISL_ARGS_START(struct options, options_args)
     22 ISL_ARG_CHILD(struct options, isl, "isl", &isl_options_args, "isl options")
     23 ISL_ARG_ARG(struct options, schedule1, "schedule1", NULL)
     24 ISL_ARG_ARG(struct options, schedule2, "schedule2", NULL)
     25 ISL_ARGS_END
     26 
     27 ISL_ARG_DEF(options, struct options, options_args)
     28 
     29 static void die(const char *msg)
     30 {
     31 	fprintf(stderr, "%s\n", msg);
     32 	exit(EXIT_FAILURE);
     33 }
     34 
     35 static FILE *open_or_die(const char *filename)
     36 {
     37 	FILE *file;
     38 
     39 	file = fopen(filename, "r");
     40 	if (!file) {
     41 		fprintf(stderr, "Unable to open %s\n", filename);
     42 		exit(EXIT_FAILURE);
     43 	}
     44 	return file;
     45 }
     46 
     47 /* Given two YAML descriptions of isl_schedule objects, check whether
     48  * they are equivalent.
     49  * Return EXIT_SUCCESS if they are and EXIT_FAILURE if they are not
     50  * or if anything else went wrong.
     51  */
     52 int main(int argc, char **argv)
     53 {
     54 	isl_ctx *ctx;
     55 	struct options *options;
     56 	FILE *input1, *input2;
     57 	isl_bool equal;
     58 	isl_schedule *s1, *s2;
     59 
     60 	options = options_new_with_defaults();
     61 	if (!options)
     62 		return EXIT_FAILURE;
     63 
     64 	ctx = isl_ctx_alloc_with_options(&options_args, options);
     65 	argc = options_parse(options, argc, argv, ISL_ARG_ALL);
     66 
     67 	input1 = open_or_die(options->schedule1);
     68 	input2 = open_or_die(options->schedule2);
     69 	s1 = isl_schedule_read_from_file(ctx, input1);
     70 	s2 = isl_schedule_read_from_file(ctx, input2);
     71 
     72 	equal = isl_schedule_plain_is_equal(s1, s2);
     73 	if (equal < 0)
     74 		return EXIT_FAILURE;
     75 	if (!equal)
     76 		die("schedules differ");
     77 
     78 	isl_schedule_free(s1);
     79 	isl_schedule_free(s2);
     80 	fclose(input1);
     81 	fclose(input2);
     82 	isl_ctx_free(ctx);
     83 
     84 	return EXIT_SUCCESS;
     85 }
     86