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_BOOL(struct pet_options, pencil, 0, "pencil", 1,
  53         "support pencil builtins and pragmas")
  54 ISL_ARG_CHOICE(struct pet_options, signed_overflow, 0,
  55         "signed-overflow", pet_signed_overflow, PET_OVERFLOW_AVOID,
  56         "how to handle signed overflows")
  57 ISL_ARG_STR_LIST(struct pet_options, n_path, paths, 'I', "include-path",
  58         "path", NULL)
  59 ISL_ARG_STR_LIST(struct pet_options, n_define, defines, 'D', NULL,
  60         "macro[=defn]", NULL)
  61 ISL_ARG_VERSION(&pet_print_version)
  62 ISL_ARGS_END
  63
  64 ISL_ARG_DEF(pet_options, struct pet_options, pet_options_args)
  65 ISL_ARG_CTX_DEF(pet_options, struct pet_options, pet_options_args)
  66
  67 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  68         autodetect)
  69 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  70         autodetect)
  71
  72 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  73         detect_conditional_assignment)
  74 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  75         detect_conditional_assignment)
  76
  77 ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  78         encapsulate_dynamic_control)
  79 ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args,
  80         encapsulate_dynamic_control)
  81
  82 ISL_CTX_SET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args,
  83         signed_overflow)
  84 ISL_CTX_GET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args,
  85         signed_overflow)
  86
  87 /* Create an isl_ctx that references the pet options.
  88  */
  89 isl_ctx *isl_ctx_alloc_with_pet_options()
  90 {
  91         struct pet_options *options;
  92
  93         options = pet_options_new_with_defaults();
  94         return isl_ctx_alloc_with_options(&pet_options_args, options);
  95 }