options.c

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