projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b60e16) | patch
isl_basic_map_simplify: eliminate known divs that appear with unit coefficient
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 16 May 2012 11:51:16 +0000 (13:51 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Aug 2012 10:20:07 +0000 (12:20 +0200)
commit2592280dcae34c1b42bab713dea2c61f22812833
treea40c47bd28f69f8f5d6644178f732fe504aa4199tree | snapshot
parent1b60e160f68beb1a84a0d6afee0118ea61422c00commit | diff
isl_basic_map_simplify: eliminate known divs that appear with unit coefficient

They can be eliminated without loss of accuracy and this elimination
results in "simpler" constraints.

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