From 1a97800ed64ff3b0e1db84ab85f5f99e355cc9f6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 28 Mar 2014 15:52:14 +0100 Subject: [PATCH] privately export isl_multi_aff_from_basic_set_equalities This function will be useful when we change isl_vertex_get_expr to return an isl_multi_aff. Signed-off-by: Sven Verdoolaege --- isl_aff.c | 11 +++++++++++ isl_aff_private.h | 3 +++ 2 files changed, 14 insertions(+) diff --git a/isl_aff.c b/isl_aff.c index c727788f..0bed4183 100644 --- a/isl_aff.c +++ b/isl_aff.c @@ -4320,6 +4320,17 @@ static __isl_give isl_multi_aff *extract_isl_multi_aff_from_basic_map( return ma; } +/* Given a basic set where each set dimension is defined + * in terms of the parameters using an equality, + * extract an isl_multi_aff that expresses the set dimensions in terms + * of the parameters. + */ +__isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities( + __isl_take isl_basic_set *bset) +{ + return extract_isl_multi_aff_from_basic_map(bset); +} + /* Create an isl_pw_multi_aff that is equivalent to * isl_map_intersect_domain(isl_map_from_basic_map(bmap), domain). * The given basic map is such that each output dimension is defined diff --git a/isl_aff_private.h b/isl_aff_private.h index 1242f8b2..ede67f21 100644 --- a/isl_aff_private.h +++ b/isl_aff_private.h @@ -117,6 +117,9 @@ __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi); __isl_give isl_multi_aff *isl_multi_aff_align_divs( __isl_take isl_multi_aff *maff); +__isl_give isl_multi_aff *isl_multi_aff_from_basic_set_equalities( + __isl_take isl_basic_set *bset); + __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_domain_space( __isl_take isl_pw_multi_aff *pwmaff, __isl_take isl_space *space); __isl_give isl_pw_multi_aff *isl_pw_multi_aff_reset_space( -- 2.11.4.GIT