scan.cc: indicator_function: coalesce domain before using it in intersection
commit3d62a35c52cdb851703797a570b289ca9372929a
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 17 Mar 2014 10:21:05 +0000 (17 11:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 19 Mar 2014 09:54:08 +0000 (19 10:54 +0100)
treef9773c28ecae185cee15ec13cd4a5c78cc580836
parentd0d753817ce8ef1b8929687190ca491b2982eee9
scan.cc: indicator_function: coalesce domain before using it in intersection

The domain passed to indicator_function is obtained from isl_pw_aff_domain
or an intersection of the results of two such calls.
Since isl_pw_aff_domain currently simply collects the pieces, this domain
may consist of several pieces and there is no need to cut
the result of indicator_function along the same pieces.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc