| commit | 65868bc6a91a1a377be117aec3b1d7fe93f137d8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 24 Aug 2012 17:38:39 +0000 (24 19:38 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 6 Sep 2012 13:45:21 +0000 (6 15:45 +0200) | ||
| tree | 22d4a8e217d5fd2cc71632d2f4f731b83f1b67be | treesnapshot (tar.gz zip) |
| parent | 454828c977e85943072ef4c32e1c7cb8c9271368 | commitdiff |
isl_pw_*_gist: avoid intersection of domain with context
The intersection was introduced in cf42ba2 (isl_pw_qpolynomial_gist:
substitute equalities in polynomials, Mon Oct 25 13:49:22 2010 +0200)
in order to be able to detect and exploit equalities in the intersection.
However, there is no need to change the domain itself as we can just
as well use a temporary object.
Intersecting the domain with the context is not what the user would
expect as the purpose of the gist operation is to only keep the most
salient information, which is quite the opposite of introducing
extra constraints.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The intersection was introduced in cf42ba2 (isl_pw_qpolynomial_gist:
substitute equalities in polynomials, Mon Oct 25 13:49:22 2010 +0200)
in order to be able to detect and exploit equalities in the intersection.
However, there is no need to change the domain itself as we can just
as well use a temporary object.
Intersecting the domain with the context is not what the user would
expect as the purpose of the gist operation is to only keep the most
salient information, which is quite the opposite of introducing
extra constraints.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_pw_templ.c | diffblobblamehistory |