isl_pw_aff_on_shared_domain: perform gist on results wrt shared domains
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 12 Jan 2012 10:10:04 +0000 (11:10 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 12 Jan 2012 10:10:04 +0000 (11:10 +0100)
commit4f39df057d3610f5231d3e9a1660c418c56c1e4d
tree80686d646b388ad5affb8a17b24082c5fc9c386f
parent2b74eb8e22c7794eac79cf53f5611dd7df84001d
isl_pw_aff_on_shared_domain: perform gist on results wrt shared domains

The shared domain may have extra constraints compared to the original
domains, which may help to simplify some of the integer divisions involved.
As a side effect, the gist operation may also simplify integer divisions
that could have been simplified even on a universe domain.
We should probably handle such cases much earlier during the construction
of isl_affs.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_pw_templ.c