| commit | a41dca96db00c891c58a4535bb8920b5ed70e682 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 13 Dec 2010 15:45:44 +0000 (13 16:45 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 18 Dec 2010 15:56:40 +0000 (18 16:56 +0100) | ||
| tree | d001c255ecfaf940c71fe025b53da9ba075f0fa5 | treesnapshot (tar.gz zip) |
| parent | fb87359c20272005e8764ad71acd3bd9619f25af | commitdiff |
isl_tab_basic_map_partial_lexopt: detect and exploit simple symmetries
In particular, if there are several constraints with the same coefficients
for the variables, then replace them by a single constraint with a new
parameter for the "constant" part representing their minimum.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if there are several constraints with the same coefficients
for the variables, then replace them by a single constraint with a new
parameter for the "constant" part representing their minimum.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| include/isl/options.h | diffblobblamehistory | |
| isl_options.c | diffblobblamehistory | |
| isl_tab_pip.c | diffblobblamehistory |