diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-21 13:40:26 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-21 18:05:04 +0200 |
| commit | 2b99f83d66ea01c09803f06190915a82e732bbc3 (patch) | |
| tree | 15cfb74d7dbdc3273407b59c71033fb92e2e23e4 /isl_transitive_closure.c | |
| parent | 687fbf3ab41bdc3a557272a8e7605a98b7033e9c (diff) | |
| download | isl-2b99f83d66ea01c09803f06190915a82e732bbc3.tar.gz isl-2b99f83d66ea01c09803f06190915a82e732bbc3.tar.bz2 isl-2b99f83d66ea01c09803f06190915a82e732bbc3.zip | |
isl_transitive_closure.c: path_along_delta: only avoid splitting off identity
Commit 39345fc (isl_transitive_closure.c: path_along_delta: try and avoid
splitting off identity) attempted to avoid splitting off the identity mapping.
However, it would only check if relaxing the length to zero would
not introduce any extra elements. The path may have constraints
on the parameters, though, and so we may actually be removing elements.
This means that we need to check for equality with the identity relation.
Perhaps this makes the whole optimization pointless.
Diffstat (limited to 'isl_transitive_closure.c')
| -rw-r--r-- | isl_transitive_closure.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index 048af35a..b2a249c1 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -381,7 +381,7 @@ int empty_path_is_identity(__isl_keep isl_basic_map *path, unsigned pos) isl_seq_clr(test->eq[k], 1 + isl_basic_map_total_dim(test)); isl_int_set_si(test->eq[k][pos], 1); id = isl_basic_map_identity(isl_dim_domain(isl_basic_map_get_dim(path))); - is_id = isl_basic_map_is_subset(test, id); + is_id = isl_basic_map_is_equal(test, id); isl_basic_map_free(test); isl_basic_map_free(id); return is_id; |