extract out shared isl_basic_map_output_defining_equality
commit4710eefda78c69e70e49ad6690349ad1781a3373
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 5 Jun 2014 09:08:45 +0000 (5 11:08 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Sep 2014 12:09:37 +0000 (22 14:09 +0200)
treebe44933bca70d1c7c37df3626b9b1dcafdf9c23f
parent314ac67d3c65fd5ab05b65f8b70304e4913f5fe9
extract out shared isl_basic_map_output_defining_equality

isl_pw_multi_aff_from_map calls isl_basic_map_plain_is_single_valued
to check if there is a defining equality for each output dimension and,
if so, it calls extract_isl_aff_from_basic_map to extract an isl_aff
from these defining equalities.
Both functions check for these equalities in the same way.
Extract out the check into a separate function.

This reduces code duplication and also allows us to more easily
change the kind of constraints that we consider to be defining equalities.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_aff.c
isl_map.c
isl_map_private.h