| commit | 17279c1d5e962e9863a6e72138026ee475372caa | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 9 May 2014 13:56:31 +0000 (9 15:56 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 22 Sep 2014 11:53:05 +0000 (22 13:53 +0200) | ||
| tree | 5c15a57a4f0de0b487f6bb6de284bde3eb6bac0b | treesnapshot (tar.gz zip) |
| parent | dc75acb9b7a1c54e2db701f85915e503c416fde2 | commitdiff |
isl_pw_*_gist: special case context equal to single domain
If the context is equal to one of the domains, then the result
of the gist is simply the corresponding function on the universe domain.
The default implementation is not able to detect this case
when the context is a disjunction.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the context is equal to one of the domains, then the result
of the gist is simply the corresponding function on the universe domain.
The default implementation is not able to detect this case
when the context is a disjunction.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_pw_templ.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |