| commit | 91bb370e892532ae7e7d29afaab4501506b0bd65 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 10 Feb 2011 12:52:04 +0000 (10 13:52 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 10 Feb 2011 20:04:35 +0000 (10 21:04 +0100) | ||
| tree | dc73787b27ff2f90399209f5877c25ccb1ad5a2a | treesnapshot (tar.gz zip) |
| parent | 3a37260f65351a47d453f33e057c8f1e9ff0fba8 | commitdiff |
isl_tab_min: micro-optimization: postpone taking into account denominator
The denominator of the affine expression shouldn't have any effect
on the point where the minimum is reached. Moreover, for non-rational
tableaus, it may be confusing for future optimizations to have a row
that may attain rational values. It is therefore beter to multiply
in the denominator after the optimum has been computed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The denominator of the affine expression shouldn't have any effect
on the point where the minimum is reached. Moreover, for non-rational
tableaus, it may be confusing for future optimizations to have a row
that may attain rational values. It is therefore beter to multiply
in the denominator after the optimum has been computed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory |