projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52e0d36) | patch
isl_basic_map_eliminate_vars: better handling of divs
authorSven Verdoolaege <sven@cs.kuleuven.be>
Wed, 24 Dec 2008 14:31:20 +0000 (15:31 +0100)
committerSven Verdoolaege <sven@cs.kuleuven.be>
Wed, 24 Dec 2008 14:31:20 +0000 (15:31 +0100)
commit3d7093b47fa705cfb987a1300d3a31db4e327bcb
tree2b700baa7e536601438fd7346085f50927ca9945tree | snapshot
parent52e0d36146b89df265e3889efe5914aea00c47a6commit | diff
isl_basic_map_eliminate_vars: better handling of divs

In particular, if any div depends on one of the variables that is
being eliminated, then they should be eliminated too.
Furthermore, if a div is eliminated, then its definition should
be removed as well.
isl_map.c diff | blob | history
isl_map_private.h diff | blob | history
Domain: System / Uncategorized;