| commit | e8ad97432e2dfd7500e7f35c5949d316b2aa0fff | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 5 May 2015 13:34:04 +0000 (5 15:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 5 May 2015 13:37:38 +0000 (5 15:37 +0200) | ||
| tree | 2b282873557b8a42385c873fc0d622ee73b3c764 | treesnapshot (tar.gz zip) |
| parent | 2e81d605ead0c9a216aafcffa4bc767ab9721f39 | commitdiff |
isl_basic_map_reduce_coefficients: call gauss when equalities have been found
Many parts of the code assume that Gaussian elimination has been
applied to the equalities. In particular, isl_tab_from_basic_map,
which is called right after isl_basic_map_reduce_coefficients in
isl_map_coalesce, makes this assumption.
When isl_basic_map_reduce_coefficients detects extra equalities,
it should therefore call isl_basic_map_gauss.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Many parts of the code assume that Gaussian elimination has been
applied to the equalities. In particular, isl_tab_from_basic_map,
which is called right after isl_basic_map_reduce_coefficients in
isl_map_coalesce, makes this assumption.
When isl_basic_map_reduce_coefficients detects extra equalities,
it should therefore call isl_basic_map_gauss.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |