projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06a537a) | patch
isl_basic_map_from_local_space: don't finalize result
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 17 May 2011 13:29:16 +0000 (15:29 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 17 May 2011 13:32:03 +0000 (15:32 +0200)
commit27f606f13e8f199e1f7a087db0aeade4635cc94c
treeb6fc3d7192ee966e6126ca8fd5855729217cbd7dtree | snapshot
parent06a537a2049bd50a04691f5dbd5da62d6b9cd3cbcommit | diff
isl_basic_map_from_local_space: don't finalize result

This function is only called internally during the construction
of isl_constraints and isl_divs and we don't want to remove redundant
existentially quantified variables in these cases.

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