projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0e9f9e) | patch
isl_basic_map_remove_unknown_divs: restart whenever div has been removed
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 15 Jan 2012 15:12:49 +0000 (16:12 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 15 Jan 2012 16:21:33 +0000 (17:21 +0100)
commit21686238435b224acf7181c026b8fa2925bb0e4e
tree2ac50d8966496a0731994ec47fcaa1ff55bad7c0tree | snapshot
parentc0e9f9e6d0ad8d4a645fc628275a5797c2907196commit | diff
isl_basic_map_remove_unknown_divs: restart whenever div has been removed

The call to isl_basic_map_remove_dims may end up calling
isl_basic_map_simplify, which may in turn remove additional divs
if they no longer occur in any constraint.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c diff | blob | history
Domain: System / Uncategorized;