Improvements to the new technology mapper.

src/aig/gia/giaJf.c

@@ -40,7 +40,7 @@ struct Jf_Cut_t_
     int              Time;
     int              iFunc;
     int              Cost;
-    int              pCut[JF_LEAF_MAX+2];
+    int              pCut[JF_LEAF_MAX+1];
 };
 
 typedef struct Jf_Man_t_ Jf_Man_t; 
@@ -765,6 +765,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj )
         p->CutCount[1]++;        
         if ( !(Config = Jf_CutMerge(pCut0, pCut1, pSto[c]->pCut, LutSize)) )
             continue;
+        pSto[c]->iFunc = pSto[c]->Cost = 0;
         if ( p->pPars->fCutMin )
         {
             int iDsdLit0 = Abc_LitNotCond( Jf_CutFunc(pCut0), Gia_ObjFaninC0(pObj) );
@@ -773,7 +774,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj )
 //            pSto[c]->iFunc = Sdm_ManComputeFunc( p->pDsd, iDsdLit0, iDsdLit1, NULL, Config, 0 );
             if ( pSto[c]->iFunc == -1 )
                 continue;
-            pSto[c]->Cost = 0;//Sdm_ManReadCnfSize( p->pDsd, Abc_Lit2Var(pSto[c]->iFunc) );
+            //pSto[c]->Cost = Sdm_ManReadCnfSize( p->pDsd, Abc_Lit2Var(pSto[c]->iFunc) );
         }
 //        Jf_CutCheck( pSto[c]->pCut );
         p->CutCount[2]++;

src/map/if/ifTime.c

@@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
 
-static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} };
+//static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} };
 
 static void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * pPinDelays );