From b433b5879651a4acc96fabd8de3bbdd9ea07b31d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 1 Sep 2011 10:18:18 +0200 Subject: [PATCH] add isl_aff_le_basic_set Signed-off-by: Sven Verdoolaege --- doc/user.pod | 2 ++ include/isl/aff.h | 2 ++ isl_aff.c | 9 +++++++++ 3 files changed, 13 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index c9ea656..1a815ef 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -2625,6 +2625,8 @@ When multiplying two affine expressions, at least one of the two needs to be a constant. #include + __isl_give isl_basic_set *isl_aff_le_basic_set( + __isl_take isl_aff *aff1, __isl_take isl_aff *aff2); __isl_give isl_basic_set *isl_aff_ge_basic_set( __isl_take isl_aff *aff1, __isl_take isl_aff *aff2); __isl_give isl_set *isl_pw_aff_eq_set( diff --git a/include/isl/aff.h b/include/isl/aff.h index 63e5f4b..c789a95 100644 --- a/include/isl/aff.h +++ b/include/isl/aff.h @@ -82,6 +82,8 @@ __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, __isl_take isl_set *context); +__isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, + __isl_take isl_aff *aff2); __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, __isl_take isl_aff *aff2); diff --git a/isl_aff.c b/isl_aff.c index 8c81c08..0c7f17d 100644 --- a/isl_aff.c +++ b/isl_aff.c @@ -905,6 +905,15 @@ __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1, return isl_aff_nonneg_basic_set(aff1); } +/* Return a basic set containing those elements in the shared space + * of aff1 and aff2 where aff1 is smaller than or equal to aff2. + */ +__isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, + __isl_take isl_aff *aff2) +{ + return isl_aff_ge_basic_set(aff2, aff1); +} + __isl_give isl_aff *isl_aff_add_on_domain(__isl_keep isl_set *dom, __isl_take isl_aff *aff1, __isl_take isl_aff *aff2) { -- 2.7.4