update barvinok to version 0.41.5
[ppn.git] / eqv_options.c
blob4ef768c1cdfc2c97666633a247723fa01ceebf36
1 #include "eqv_options.h"
3 ISL_ARGS_START(struct options, options_args)
4 ISL_ARG_CHILD(struct options, isl, NULL, &isl_options_args, "isl options")
5 ISL_ARG_USER(struct options, ops, &ops_init, &ops_clear)
6 ISL_ARG_STR(struct options, associative, 'a', "associative", "operators",
7 NULL, "comma separated list of associative operators")
8 ISL_ARG_STR(struct options, commutative, 'c', "commutative", "operators",
9 NULL, "comma separated list of associative operators")
10 ISL_ARG_STR(struct options, context, 0, "context", "set", NULL, NULL)
11 ISL_ARG_BOOL(struct options, print_stats, 0, "print-stats", 0, NULL)
12 ISL_ARG_BOOL(struct options, dump_graphs, 0, "dump-graphs", 0, NULL)
13 ISL_ARG_BOOL(struct options, narrowing, 0, "narrowing", 1, NULL)
14 ISL_ARG_BOOL(struct options, trace_error, 0, "trace-error", 0, NULL)
15 ISL_ARG_ARG(struct options, program[0], "program1", NULL)
16 ISL_ARG_ARG(struct options, program[1], "program2", NULL)
17 ISL_ARGS_END
19 ISL_ARG_DEF(options, struct options, options_args)