| commit | d558f5bc8444b08154f3523cfbbd432df685846d | |
| author | Petr Baudis <pasky@ucw.cz> | |
| Wed, 17 Sep 2008 18:13:39 +0000 (17 20:13 +0200) | ||
| committer | Petr Baudis <pasky@ucw.cz> | |
| Wed, 17 Sep 2008 18:13:39 +0000 (17 20:13 +0200) | ||
| tree | d1e85ce0f89f4dee8576c08bf77d17db331b5381 | treesnapshot (tar.gz zip) |
| parent | ec178e92e2453e6aafc099b2b036a079e2428c5a | commitdiff |
Board: Introduce GROUP_REFILL_LIBS as lower bound of gi.lib[]
Thus, we refill gi.lib[] only when we hit this lower bound, not every time we
remove a cached liberty of many-liberty group. This gives a 15% overall
speedup.
Thus, we refill gi.lib[] only when we hit this lower bound, not every time we
remove a cached liberty of many-liberty group. This gives a 15% overall
speedup.
| board.c | diffblobblamehistory | |
| board.h | diffblobblamehistory |