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:
5838a24
)
isl_basic_map_simplify: make sure to rerun Gauss when equality has been added
author
Sven Verdoolaege
<skimo@kotnet.org>
Sun, 1 Nov 2009 14:34:03 +0000
(15:34 +0100)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Sun, 1 Nov 2009 14:36:20 +0000
(15:36 +0100)
remove_duplicate_constraints failed to set the progress flag when
it replaces a pair of inequalities by an equality, resulting in
the result of isl_basic_map_simplify possibly not having the equalities
in the expected form.
isl_map_simplify.c
patch
|
blob
|
history
diff --git
a/isl_map_simplify.c
b/isl_map_simplify.c
index
c9f997e
..
ed9e033
100644
(file)
--- a/
isl_map_simplify.c
+++ b/
isl_map_simplify.c
@@
-1007,6
+1007,8
@@
static struct isl_basic_map *remove_duplicate_constraints(
* will no longer be valid.
* Plus, we probably we want to regauss first.
*/
+ if (progress)
+ *progress = 1;
isl_basic_map_drop_inequality(bmap, l);
isl_basic_map_inequality_to_equality(bmap, k);
} else