| commit | 00901a1e2c16db0867a837fff9886cdda27ca435 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 12 Mar 2013 13:55:51 +0000 (12 14:55 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 19 Mar 2013 10:12:52 +0000 (19 11:12 +0100) | ||
| tree | e71a8c2f3bdf9008ff219cc7de1f7632678fe193 | treesnapshot (tar.gz zip) |
| parent | f5ed5dd624de53be9a13883a39baa8bd469e94a4 | commitdiff |
isl_basic_set_parameter_compression: allow divs in input
For the purpose of compressing parameters, there should be no need
to make a distinction between set variables and existentially quantified
variables.
There does not appear to be any reason for not allowing existentially
quantified variables before other than the fact that we didn't need
to apply this function of basic sets with existentially quantified
variables before. However, this will turn out to be useful when
we want to compress the unknown divs within isl_basic_map_compute_divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
For the purpose of compressing parameters, there should be no need
to make a distinction between set variables and existentially quantified
variables.
There does not appear to be any reason for not allowing existentially
quantified variables before other than the fact that we didn't need
to apply this function of basic sets with existentially quantified
variables before. However, this will turn out to be useful when
we want to compress the unknown divs within isl_basic_map_compute_divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_morph.c | diffblobblamehistory |