| commit | 0c768382c44e71839d13e78b73f9fa889895c401 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 21 Jun 2015 11:04:54 +0000 (21 13:04 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:35 +0000 (29 17:29 +0200) | ||
| tree | 153cf7fb0e613a4be304fa5efd2d412e7cf488f8 | treesnapshot (tar.gz zip) |
| parent | f38f55969dce83bf43b1a2584cd864c4b803edf0 | commitdiff |
isl_map_simplify.c: uset_gist: do not introduce variables that were not involved
Introducing variables in the gist that did not appear in the input
is not only counterintuitive,
it also breaks an assumption in the AST generator that
the result of the gist will not involve any loop iterators
that did not already appear in the input.
isl_basic_map_gist (the caller of uset_gist) may still introduce
such variables, but this will be taken care of in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Introducing variables in the gist that did not appear in the input
is not only counterintuitive,
it also breaks an assumption in the AST generator that
the result of the gist will not involve any loop iterators
that did not already appear in the input.
isl_basic_map_gist (the caller of uset_gist) may still introduce
such variables, but this will be taken care of in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |