isl_union_pw_multi_aff_add: compute sum on shared definition domain
commita399a7d74a95f44edf6adb09abe9cf4e154e0022
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 13 Jun 2014 10:35:57 +0000 (13 12:35 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 19 Nov 2014 16:23:54 +0000 (19 17:23 +0100)
treea7ef8c1cee0cd57b1c3955f797969e9f5cf880f0
parent81e5049ab43f115896fc6526277aa2aa0d354348
isl_union_pw_multi_aff_add: compute sum on shared definition domain

The original behavior of isl_union_pw_multi_aff_add was inconsistent.
It would compute the sum on the union of the spaces on which
the arguments are defined, but without one space, it would
compute the sum on the shared definition domain only.

Consistently make isl_union_pw_multi_aff_add compute the sum
on the shared definition domain and add an
isl_union_pw_multi_aff_union_add to (consistently) compute
the sum on the union of the definition domains.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/aff.h
isl_aff.c
isl_band.c
isl_test.c
isl_union_templ.c