decouple isl_aff_substitute_equalities
commitb2a4b83281e70199b7316297f2a8fc9bf18fe959
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 14 Jul 2011 15:48:20 +0000 (14 17:48 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 20 Jul 2011 08:39:19 +0000 (20 10:39 +0200)
treed6556e53fe3577e134aee1d978a499310051c92d
parent0da61e50f990d46cd3b7c5a37fcfbca30c1276f4
decouple isl_aff_substitute_equalities

isl_aff_substitute_equalities was being called from within two contexts:
isl_pw_aff_intersect_domain and isl_aff_gist.
In the first case, the space of the equalities was that of the space
of the isl_pw_aff, while in the second case, the space of the equalities
was a lifted copy of the _local_ space of the isl_aff.
The actual implementation of isl_aff_substitute_equalities assumed
the second case.

Split isl_aff_substitute_equalities into two functions, one for each
of these two cases.

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