isl_basic_map_gauss: try not to remove any div definitions
commit22c210cb91b56e8bca8924dd0d88296155fe3311
authorSven Verdoolaege <skimo@purples.(none)>
Tue, 1 Sep 2009 20:59:21 +0000 (1 22:59 +0200)
committerSven Verdoolaege <skimo@purples.(none)>
Tue, 1 Sep 2009 20:59:21 +0000 (1 22:59 +0200)
tree295a59e615fd0be8f82ab7acab46ff7c77d7c2a9
parentafdf23f565a14ec6e8aa6ba53ea3a99afa9f7e89
isl_basic_map_gauss: try not to remove any div definitions

After computing divs, the result may get simplified and during
this simplification, isl_basic_map_gauss may actually remove some
divs because it is trying to play safe wrt circular div definitions.
By keeping the divs ordered, divs can safely be eliminated without
introducing any circular definitions.
isl_map.c
isl_map_private.h
isl_map_simplify.c