update isl for change in lexicographic optimization
[ppn.git] / da_options.c
blob902b097a83a7dbc82d0d9559d74a843d6d08ec1c
1 #include <stdio.h>
2 #include "da_options.h"
3 #include "version.h"
5 static void print_version(void)
7 printf("%s\n", pdg_version());
10 static struct isl_arg_flags type[] = {
11 {"flow", TYPE_FLOW, TYPE_FLOW},
12 {"anti", TYPE_ANTI, TYPE_ANTI},
13 {"output", TYPE_OUTPUT, TYPE_OUTPUT},
14 {"reuse_pair", TYPE_REUSE_PAIR, TYPE_REUSE_PAIR},
15 {0}
18 ISL_ARGS_START(struct options, options_args)
19 ISL_ARG_CHILD(struct options, isl, "isl", &isl_options_args, "isl options")
20 ISL_ARG_STR(struct options, input, 'i', "input", "filename", NULL, NULL)
21 ISL_ARG_STR(struct options, output, 'o', "output", "filename", NULL, NULL)
22 ISL_ARG_FLAGS(struct options, types, 't',
23 "type", type, TYPE_FLOW, NULL)
24 ISL_ARG_BOOL(struct options, array_types, 'A', "array-types", 0,
25 "compute array types")
26 ISL_ARG_BOOL(struct options, verbose, 0, "verbose", 0, NULL)
27 ISL_ARG_VERSION(&print_version)
28 ISL_ARGS_END
30 ISL_ARG_DEF(options, struct options, options_args)