| commit | d4e0379bee266cd4287a46aa89ba64c6e77e4dd9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 13 Feb 2011 13:34:24 +0000 (13 14:34 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 17 Feb 2011 18:50:22 +0000 (17 19:50 +0100) | ||
| tree | a870db083380560b8efbff87273d4794d1a298b0 | treesnapshot (tar.gz zip) |
| parent | c1d9a28633dfb4a762cae35e77bc86416bf1f12d | commitdiff |
isl_stream_read_map: allow existential quantification over disjunctions
Before, we would only allow existential quantification within a single
disjunct because the existentially quantified variables were being
added directly to a basic map.
Now, we first add extra output variables and project them out at the end.
The disadvantage is that we currently lose any explicit definition of
the existentially quantified variables in the input. Usually, we can
recover them from the constraints that are added when we meet such a
definition, but it does require some extra processing.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Before, we would only allow existential quantification within a single
disjunct because the existentially quantified variables were being
added directly to a basic map.
Now, we first add extra output variables and project them out at the end.
The disadvantage is that we currently lose any explicit definition of
the existentially quantified variables in the input. Usually, we can
recover them from the constraints that are added when we meet such a
definition, but it does require some extra processing.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_input.c | diffblobblamehistory |