Bug fix in 'lutpack' (level count overflow).

src/base/wlc/wlcWriteVer.c

@@ -321,7 +321,6 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops )
         else if ( pObj->Type == WLC_OBJ_ARI_ADDSUB )
         {
             // out = mode ? a+b+cin : a-b-cin
-            int nRange = Wlc_ObjRange(Wlc_ObjFanin0(p, pObj));
             fprintf( pFile, "%s ;\n", Wlc_ObjName(p, i) );
             fprintf( pFile, "         " );
             fprintf( pFile, "assign " );

src/opt/lpk/lpkAbcUtil.c

@@ -124,7 +124,7 @@ Lpk_Fun_t * Lpk_FunDup( Lpk_Fun_t * p, unsigned * pTruth )
     pNew->uSupp = Kit_TruthSupport( pTruth, p->nVars );
     Kit_TruthCopy( Lpk_FunTruth(pNew,0), pTruth, p->nVars );
     memcpy( pNew->pFanins, p->pFanins, 16 );
-    memcpy( pNew->pDelays, p->pDelays, 16 );
+    memcpy( pNew->pDelays, p->pDelays, sizeof(int)*16 );
     Vec_PtrPush( p->vNodes, pNew );
     return pNew;
 }
@@ -212,7 +212,7 @@ void Lpk_FunComputeCofSupps( Lpk_Fun_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-int Lpk_SuppDelay( unsigned uSupp, char * pDelays )
+int Lpk_SuppDelay( unsigned uSupp, int * pDelays )
 {
     int Delay, Var;
     Delay = 0;

src/opt/lpk/lpkCore.c

@@ -451,6 +451,7 @@ p->timeTruth3 += Abc_Clock() - clk;
                 printf( "%c=%d ", 'a'+k, Abc_ObjLevel(pLeaf) );
             printf( "\n" );
             Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves );
+            printf( "\n" );
 //            pFileName = Kit_TruthDumpToFile( pTruth, pCut->nLeaves, Count++ );
 //            printf( "Saved truth table in file \"%s\".\n", pFileName );
         }

src/opt/lpk/lpkInt.h

@@ -147,13 +147,13 @@ struct Lpk_Fun_t_
     unsigned     Id         :  7;  // the ID of this node
     unsigned     nVars      :  5;  // the number of variables
     unsigned     nLutK      :  4;  // the number of LUT inputs
-    unsigned     nAreaLim   :  5;  // the area limit (the largest allowed)
-    unsigned     nDelayLim  :  9;  // the delay limit (the largest allowed)
+    unsigned     nAreaLim   : 14;  // the area limit (the largest allowed)
     unsigned     fSupports  :  1;  // supports of cofactors were precomputed
     unsigned     fMark      :  1;  // marks the MUX-based dec
     unsigned     uSupp;            // the support of this component
     unsigned     puSupps[32];      // the supports of the cofactors
-    char         pDelays[16];      // the delays of the inputs
+    unsigned     nDelayLim;        // the delay limit (the largest allowed)
+    int          pDelays[16];      // the delays of the inputs
     char         pFanins[16];      // the fanins of this function
     unsigned     pTruth[0];        // the truth table (contains room for three truth tables)    
 };
@@ -215,7 +215,7 @@ extern Lpk_Fun_t *    Lpk_FunCreate( Abc_Ntk_t * pNtk, Vec_Ptr_t * vLeaves, unsi
 extern Lpk_Fun_t *    Lpk_FunDup( Lpk_Fun_t * p, unsigned * pTruth );
 extern int            Lpk_FunSuppMinimize( Lpk_Fun_t * p );
 extern void           Lpk_FunComputeCofSupps( Lpk_Fun_t * p );
-extern int            Lpk_SuppDelay( unsigned uSupp, char * pDelays );
+extern int            Lpk_SuppDelay( unsigned uSupp, int * pDelays );
 extern int            Lpk_SuppToVars( unsigned uBoundSet, char * pVars );