From 6bf8357e73f2a13c493106451ed0c82dc2885478 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 1 Jan 2014 09:56:07 +0100 Subject: [PATCH] provide getter and setter for detect-conditional-assignment option Signed-off-by: Sven Verdoolaege --- include/pet.h | 3 +++ options.c | 8 +++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/include/pet.h b/include/pet.h index fcbb659..b0a1636 100644 --- a/include/pet.h +++ b/include/pet.h @@ -23,6 +23,9 @@ ISL_ARG_DECL(pet_options, struct pet_options, pet_options_args) int pet_options_set_autodetect(isl_ctx *ctx, int val); int pet_options_get_autodetect(isl_ctx *ctx); +int pet_options_set_detect_conditional_assignment(isl_ctx *ctx, int val); +int pet_options_get_detect_conditional_assignment(isl_ctx *ctx); + #define PET_OVERFLOW_AVOID 0 #define PET_OVERFLOW_IGNORE 1 int pet_options_set_signed_overflow(isl_ctx *ctx, int val); diff --git a/options.c b/options.c index dabd76b..0028606 100644 --- a/options.c +++ b/options.c @@ -1,5 +1,6 @@ /* - * Copyright 2011 Leiden University. All rights reserved. + * Copyright 2011 Leiden University. All rights reserved. + * Copyright 2013-2014 Ecole Normale Superieure. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions @@ -63,6 +64,11 @@ ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args, ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args, autodetect) +ISL_CTX_SET_BOOL_DEF(pet_options, struct pet_options, pet_options_args, + detect_conditional_assignment) +ISL_CTX_GET_BOOL_DEF(pet_options, struct pet_options, pet_options_args, + detect_conditional_assignment) + ISL_CTX_SET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args, signed_overflow) ISL_CTX_GET_CHOICE_DEF(pet_options, struct pet_options, pet_options_args, -- 2.11.4.GIT