options.c

   1 /*
   2  * Copyright 2011     Leiden University. All rights reserved.
   3  * Copyright 2013-2014 Ecole Normale Superieure. All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  *    1. Redistributions of source code must retain the above copyright
  10  *       notice, this list of conditions and the following disclaimer.
  11  *
  12  *    2. Redistributions in binary form must reproduce the above
  13  *       copyright notice, this list of conditions and the following
  14  *       disclaimer in the documentation and/or other materials provided
  15  *       with the distribution.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY LEIDEN UNIVERSITY ''AS IS'' AND ANY
  18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  19  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  20  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL LEIDEN UNIVERSITY OR
  21  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  22  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  23  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
  24  * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  27  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28  *
  29  * The views and conclusions contained in the software and documentation
  30  * are those of the authors and should not be interpreted as
  31  * representing official policies, either expressed or implied, of
  32  * Leiden University.
  33  */
  34
  35 #include <pet.h>
  36 #include "options.h"
  37 #include "version.h"
  38
  39 struct isl_arg_choice pet_signed_overflow[] = {
  40         {"avoid",       PET_OVERFLOW_AVOID},
  41         {"ignore",      PET_OVERFLOW_IGNORE},
  42         {0}
  43 };
  44
  45 ISL_ARGS_START(struct pet_options, pet_options_args)
  46 ISL_ARG_BOOL(struct pet_options, autodetect, 0, "autodetect", 0, NULL)
  47 ISL_ARG_BOOL(struct pet_options, detect_conditional_assignment,
  48         0, "detect-conditional-assignment", 1, NULL)
  49 ISL_ARG_BOOL(struct pet_options, encapsulate_dynamic_control,
  50         0, "encapsulate-dynamic-control", 0,
  51         "encapsulate all dynamic control in macro statements")
  52 ISL_ARG_CHOICE(struct pet_options, signed_overflow, 0,
  53         "signed-overflow", pet_signed_overflow, PET_OVERFLOW_AVOID,
  54         "how to handle signed overflows")
  55 ISL_ARG_STR_LIST(struct pet_options, n_path, paths, 'I', "include-path",
  56         "path", NULL)
  57 ISL_ARG_STR_LIST(struct pet_options, n_define, defines, 'D', NULL,
  58         "macro[=defn]", NULL)
  59 ISL_ARG_VERSION(&pet_print_version)
  60 ISL_ARGS_END
  61
  62 ISL_ARG_DEF(pet_options, struct pet_options, pet_options_args)
  63 ISL_ARG_CTX_DEF(pet_options, struct pet_options, pet_options_args)
  64
  65 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  66         autodetect)
  67 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  68         autodetect)
  69
  70 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  71         detect_conditional_assignment)
  72 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  73         detect_conditional_assignment)
  74
  75 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  76         encapsulate_dynamic_control)
  77 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  78         encapsulate_dynamic_control)
  79
  80 ISL_CTX_SET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args,
  81         signed_overflow)
  82 ISL_CTX_GET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args,
  83         signed_overflow)