| /* |
| * Copyright 2008-2009 Katholieke Universiteit Leuven |
| * |
| * Use of this software is governed by the GNU LGPLv2.1 license |
| * |
| * Written by Sven Verdoolaege, K.U.Leuven, Departement |
| * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium |
| */ |
| |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <string.h> |
| |
| #include <isl/ctx.h> |
| #include <isl/options.h> |
| #include <isl/version.h> |
| |
| struct isl_arg_choice isl_lp_solver_choice[] = { |
| {"tab", ISL_LP_TAB}, |
| #ifdef ISL_PIPLIB |
| {"pip", ISL_LP_PIP}, |
| #endif |
| {0} |
| }; |
| |
| struct isl_arg_choice isl_ilp_solver_choice[] = { |
| {"gbr", ISL_ILP_GBR}, |
| #ifdef ISL_PIPLIB |
| {"pip", ISL_ILP_PIP}, |
| #endif |
| {0} |
| }; |
| |
| struct isl_arg_choice isl_pip_solver_choice[] = { |
| {"tab", ISL_PIP_TAB}, |
| #ifdef ISL_PIPLIB |
| {"pip", ISL_PIP_PIP}, |
| #endif |
| {0} |
| }; |
| |
| struct isl_arg_choice isl_pip_context_choice[] = { |
| {"gbr", ISL_CONTEXT_GBR}, |
| {"lexmin", ISL_CONTEXT_LEXMIN}, |
| {0} |
| }; |
| |
| struct isl_arg_choice isl_gbr_choice[] = { |
| {"never", ISL_GBR_NEVER}, |
| {"once", ISL_GBR_ONCE}, |
| {"always", ISL_GBR_ALWAYS}, |
| {0} |
| }; |
| |
| struct isl_arg_choice isl_closure_choice[] = { |
| {"isl", ISL_CLOSURE_ISL}, |
| {"box", ISL_CLOSURE_BOX}, |
| {0} |
| }; |
| |
| static struct isl_arg_choice bound[] = { |
| {"bernstein", ISL_BOUND_BERNSTEIN}, |
| {"range", ISL_BOUND_RANGE}, |
| {0} |
| }; |
| |
| static struct isl_arg_flags bernstein_recurse[] = { |
| {"none", ISL_BERNSTEIN_FACTORS | ISL_BERNSTEIN_INTERVALS, 0}, |
| {"factors", ISL_BERNSTEIN_FACTORS | ISL_BERNSTEIN_INTERVALS, |
| ISL_BERNSTEIN_FACTORS}, |
| {"intervals", ISL_BERNSTEIN_FACTORS | ISL_BERNSTEIN_INTERVALS, |
| ISL_BERNSTEIN_INTERVALS}, |
| {"full", ISL_BERNSTEIN_FACTORS | ISL_BERNSTEIN_INTERVALS, |
| ISL_BERNSTEIN_FACTORS | ISL_BERNSTEIN_INTERVALS}, |
| {0} |
| }; |
| |
| static struct isl_arg_choice convex[] = { |
| {"wrap", ISL_CONVEX_HULL_WRAP}, |
| {"fm", ISL_CONVEX_HULL_FM}, |
| {0} |
| }; |
| |
| static void print_version(void) |
| { |
| printf("%s", isl_version()); |
| } |
| |
| struct isl_arg isl_options_arg[] = { |
| ISL_ARG_CHOICE(struct isl_options, lp_solver, 0, "lp-solver", \ |
| isl_lp_solver_choice, ISL_LP_TAB, "lp solver to use") |
| ISL_ARG_CHOICE(struct isl_options, ilp_solver, 0, "ilp-solver", \ |
| isl_ilp_solver_choice, ISL_ILP_GBR, "ilp solver to use") |
| ISL_ARG_CHOICE(struct isl_options, pip, 0, "pip", \ |
| isl_pip_solver_choice, ISL_PIP_TAB, "pip solver to use") |
| ISL_ARG_CHOICE(struct isl_options, context, 0, "context", \ |
| isl_pip_context_choice, ISL_CONTEXT_GBR, |
| "how to handle the pip context tableau") |
| ISL_ARG_CHOICE(struct isl_options, gbr, 0, "gbr", \ |
| isl_gbr_choice, ISL_GBR_ONCE, |
| "how often to use generalized basis reduction") |
| ISL_ARG_CHOICE(struct isl_options, closure, 0, "closure", \ |
| isl_closure_choice, ISL_CLOSURE_ISL, |
| "closure operation to use") |
| ISL_ARG_BOOL(struct isl_options, gbr_only_first, 0, "gbr-only-first", 0, |
| "only perform basis reduction in first direction") |
| ISL_ARG_CHOICE(struct isl_options, bound, 0, "bound", bound, |
| ISL_BOUND_BERNSTEIN, "algorithm to use for computing bounds") |
| ISL_ARG_FLAGS(struct isl_options, bernstein_recurse, 0, |
| "bernstein-recurse", bernstein_recurse, ISL_BERNSTEIN_FACTORS, NULL) |
| ISL_ARG_BOOL(struct isl_options, bernstein_triangulate, 0, |
| "bernstein-triangulate", 1, |
| "triangulate domains during Bernstein expansion") |
| ISL_ARG_BOOL(struct isl_options, pip_symmetry, 0, "pip-symmetry", 1, |
| "detect simple symmetries in PIP input") |
| ISL_ARG_CHOICE(struct isl_options, convex, 0, "convex-hull", \ |
| convex, ISL_CONVEX_HULL_WRAP, "convex hull algorithm to use") |
| ISL_ARG_BOOL(struct isl_options, schedule_parametric, 0, |
| "schedule-parametric", 1, "construct possibly parametric schedules") |
| ISL_ARG_BOOL(struct isl_options, schedule_outer_zero_distance, 0, |
| "schedule-outer-zero-distance", 0, |
| "try to construct schedules with outer zero distances over " |
| "proximity dependences") |
| ISL_ARG_BOOL(struct isl_options, schedule_maximize_band_depth, 0, |
| "schedule-maximize-band-depth", 0, |
| "maximize the number of scheduling dimensions in a band") |
| ISL_ARG_BOOL(struct isl_options, schedule_split_parallel, 0, |
| "schedule-split-parallel", 1, |
| "split non-tilable bands with parallel schedules") |
| ISL_ARG_VERSION(print_version) |
| ISL_ARG_END |
| }; |
| |
| ISL_ARG_DEF(isl_options, struct isl_options, isl_options_arg) |