diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-02 16:48:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-02 16:48:52 -0700 |
| commit | dd87461ac9c0876c4b8f085e973db5449e379b73 (patch) | |
| tree | 2f96199939f27d35278fb7b27f8799baf4629ecc /src/aig/gia/giaMinLut2.c | |
| parent | 5f8d4e72d1d99539d100ca5c190c56c5901976e6 (diff) | |
| download | abc-dd87461ac9c0876c4b8f085e973db5449e379b73.tar.gz abc-dd87461ac9c0876c4b8f085e973db5449e379b73.tar.bz2 abc-dd87461ac9c0876c4b8f085e973db5449e379b73.zip | |
Experiments with LUT mapping for small functions.
Diffstat (limited to 'src/aig/gia/giaMinLut2.c')
| -rw-r--r-- | src/aig/gia/giaMinLut2.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/aig/gia/giaMinLut2.c b/src/aig/gia/giaMinLut2.c index 277ce949..85cae0d2 100644 --- a/src/aig/gia/giaMinLut2.c +++ b/src/aig/gia/giaMinLut2.c @@ -536,7 +536,6 @@ static inline word Abc_TtSimple6Min_rec( Gia_Man_t * p, word uF, word uC, int nV if ( 1 && vNodes ) { int iLit; - int s = 0; Vec_WrdForEachEntryDouble( vNodes, uRes2, iLit, i ) if ( !((uF ^ uRes2) & uC) ) { |