| commit | fdc496d9212fcfc007c2b9e185b6791faa2c46c0 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 31 Jan 2021 14:31:14 +0000 (31 15:31 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 25 May 2021 18:09:32 +0000 (25 20:09 +0200) | ||
| tree | ee044cf3e40829132c553037993024211e6fff0f | treesnapshot (tar.gz zip) |
| parent | d54d576f34bf4658811d84806c334a183a989acd | commitdiff |
isl_pw_multi_aff_substitute: only allow input dimension substitution
This is the only case that is currently used and
this restriction will make it easier to implement isl_set_substitute
in terms of isl_set_preimage_multi_aff.
Note that this also fixes the type argument passed to isl_set_substitute
from isl_dim_in to isl_dim_set, but this does not have any effect
in practice.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This is the only case that is currently used and
this restriction will make it easier to implement isl_set_substitute
in terms of isl_set_preimage_multi_aff.
Note that this also fixes the type argument passed to isl_set_substitute
from isl_dim_in to isl_dim_set, but this does not have any effect
in practice.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_aff.c | diffblobblamehistory | |
| isl_aff_private.h | diffblobblamehistory | |
| isl_tab_pip.c | diffblobblamehistory |