diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-27 13:30:17 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-27 13:30:17 +0700 |
| commit | 701296451e84be83826d87136422bd1b8709f23d (patch) | |
| tree | 8a401488f0d133ceebcc8175f31e9eb62c113aad /src/opt | |
| parent | 7184003b42cac430fe4b62f6337cd07408a29ce8 (diff) | |
| download | abc-701296451e84be83826d87136422bd1b8709f23d.tar.gz abc-701296451e84be83826d87136422bd1b8709f23d.tar.bz2 abc-701296451e84be83826d87136422bd1b8709f23d.zip | |
Determine LUT size form the LUT library if present.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index d3a6ba67..a7485397 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -20,6 +20,7 @@ #include "lpkInt.h" #include "cloud.h" +#include "main.h" ABC_NAMESPACE_IMPL_START @@ -516,7 +517,10 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) Abc_NtkSweep( pNtk, 0 ); // get the number of inputs - pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); + if ( Abc_FrameReadLibLut() ) + pPars->nLutSize = ((If_Lib_t *)Abc_FrameReadLibLut())->LutMax; + else + pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); if ( pPars->nLutSize > 6 ) pPars->nLutSize = 6; if ( pPars->nLutSize < 3 ) |