projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5c41196
)
isl_map_compute_divs: make sure result is gaussed and finalized
author
Sven Verdoolaege
<skimo@kotnet.org>
Wed, 21 Apr 2010 15:42:24 +0000
(17:42 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Wed, 21 Apr 2010 15:45:06 +0000
(17:45 +0200)
In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.
isl_map.c
patch
|
blob
|
history
diff --git
a/isl_map.c
b/isl_map.c
index
dcc592a
..
683312d
100644
(file)
--- a/
isl_map.c
+++ b/
isl_map.c
@@
-4264,6
+4264,9
@@
static struct isl_basic_set *basic_set_append_equalities(
}
isl_mat_free(eq);
+ bset = isl_basic_set_gauss(bset, NULL);
+ bset = isl_basic_set_finalize(bset);
+
return bset;
error:
isl_mat_free(eq);