From 701296451e84be83826d87136422bd1b8709f23d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 27 Jul 2011 13:30:17 +0700 Subject: Determine LUT size form the LUT library if present. --- src/opt/lpk/lpkCore.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') 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 ) -- cgit v1.2.3