projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db05fd0) | patch
isl_map_simplify.c: normalize_divs: ensure enough existentials are available
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Jan 2009 22:38:49 +0000 (23:38 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Feb 2009 20:54:02 +0000 (21:54 +0100)
commita7b6a83e955d426b8e8db3ce43579bba80dd63a8
treed7d1f9e9ca908375dc7e3b844c0dde5277edbc4ctree | snapshot
parentdb05fd0568ec9d1e0444f3064df52f6048cc1121commit | diff
isl_map_simplify.c: normalize_divs: ensure enough existentials are available

Before, we would assume that normalizing the divs could never
increase the number of existential variables, but as shown by
the added test case, this isn't always true.
isl_map_simplify.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;