2 * Copyright 2011 Leiden University. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
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.
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.
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
38 struct isl_arg_choice pet_signed_overflow
[] = {
39 {"avoid", PET_OVERFLOW_AVOID
},
40 {"ignore", PET_OVERFLOW_IGNORE
},
44 ISL_ARGS_START(struct pet_options
, pet_options_args
)
45 ISL_ARG_BOOL(struct pet_options
, autodetect
, 0, "autodetect", 0, NULL
)
46 ISL_ARG_BOOL(struct pet_options
, detect_conditional_assignment
,
47 0, "detect-conditional-assignment", 1, NULL
)
48 ISL_ARG_CHOICE(struct pet_options
, signed_overflow
, 0,
49 "signed-overflow", pet_signed_overflow
, PET_OVERFLOW_AVOID
,
50 "how to handle signed overflows")
51 ISL_ARG_STR_LIST(struct pet_options
, n_path
, paths
, 'I', "include-path",
53 ISL_ARG_STR_LIST(struct pet_options
, n_define
, defines
, 'D', NULL
,
55 ISL_ARG_VERSION(&pet_print_version
)
58 ISL_ARG_DEF(pet_options
, struct pet_options
, pet_options_args
)
59 ISL_ARG_CTX_DEF(pet_options
, struct pet_options
, pet_options_args
)
61 ISL_CTX_SET_BOOL_DEF(pet_options
, struct pet_options
, pet_options_args
,
63 ISL_CTX_GET_BOOL_DEF(pet_options
, struct pet_options
, pet_options_args
,
66 ISL_CTX_SET_CHOICE_DEF(pet_options
, struct pet_options
, pet_options_args
,
68 ISL_CTX_GET_CHOICE_DEF(pet_options
, struct pet_options
, pet_options_args
,