Structural mapper into structures.

3 files changed, 191 insertions, 81 deletions

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index bcd63166..1733b4b2 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1530,8 +1530,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized )
     Gia_ManStop( p );
 //    printf( "PERFORMING VERIFICATION:\n" );
 //    Gia_ManVerifyWithBoxes( pNew, NULL );
-    if ( pPars->fRepack )
-        Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose );
+//    if ( pPars->fRepack )
+//        Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose );
     return pNew;
 }
 
diff --git a/src/aig/gia/giaIff.c b/src/aig/gia/giaIff.c
index f4b6f9a5..9fd5a48a 100644
--- a/src/aig/gia/giaIff.c
+++ b/src/aig/gia/giaIff.c
@@ -30,23 +30,23 @@ ABC_NAMESPACE_IMPL_START
 typedef struct Iff_Man_t_ Iff_Man_t;
 struct Iff_Man_t_
 {
-    Gia_Man_t *   pGia;          // mapped GIA
-    If_LibLut_t * pLib;          // LUT library
-    int           nLutSize;      // LUT size
-    int           nDegree;       // degree 
-    Vec_Flt_t *   vTimes;        // arrival times
-    Vec_Int_t *   vMatch[4];     // matches
+    Gia_Man_t *     pGia;       // mapped GIA
+    If_LibLut_t *   pLib;       // LUT library
+    int             nLutSize;   // LUT size
+    int             nDegree;    // degree 
+    Vec_Flt_t *     vTimes;     // arrival times
+    Vec_Int_t *     vMatch[4];  // matches
 };
 
-static inline float Iff_ObjTimeId( Iff_Man_t * p, int iObj, int Type )                      { return Vec_FltEntry( p->vTimes, iObj );                      }
-static inline float Iff_ObjTime( Iff_Man_t * p, Gia_Obj_t * pObj, int Type )                { return Iff_ObjTimeId( p, Gia_ObjId(p->pGia, pObj), Type );   }
-static inline void  Iff_ObjSetTimeId( Iff_Man_t * p, int iObj, int Type, float Time )       { Vec_FltWriteEntry( p->vTimes, iObj, Time );                  }
-static inline void  Iff_ObjSetTime( Iff_Man_t * p, Gia_Obj_t * pObj, int Type, float Time ) { Iff_ObjSetTimeId( p, Gia_ObjId(p->pGia, pObj), Type, Time ); }
+static inline float Iff_ObjTimeId( Iff_Man_t * p, int iObj )                                { return Vec_FltEntry( p->vTimes, iObj );                       }
+static inline float Iff_ObjTime( Iff_Man_t * p, Gia_Obj_t * pObj )                          { return Iff_ObjTimeId( p, Gia_ObjId(p->pGia, pObj) );          }
+static inline void  Iff_ObjSetTimeId( Iff_Man_t * p, int iObj, float Time )                 { Vec_FltWriteEntry( p->vTimes, iObj, Time );                   }
+static inline void  Iff_ObjSetTime( Iff_Man_t * p, Gia_Obj_t * pObj, float Time )           { Iff_ObjSetTimeId( p, Gia_ObjId(p->pGia, pObj), Time );        }
 
-static inline int   Iff_ObjMatchId( Iff_Man_t * p, int iObj, int Type )                     { return Vec_IntEntry( p->vMatch[Type], iObj );                }
-static inline int   Iff_ObjMatch( Iff_Man_t * p, Gia_Obj_t * pObj, int Type )               { return Iff_ObjTimeId( p, Gia_ObjId(p->pGia, pObj), Type );   }
-static inline void  Iff_ObjSetMatchId( Iff_Man_t * p, int iObj, int Type, int Match )       { Vec_IntWriteEntry( p->vMatch[Type], iObj, Match );           }
-static inline void  Iff_ObjSetMatch( Iff_Man_t * p, Gia_Obj_t * pObj, int Type, int Match ) { Iff_ObjSetTimeId( p, Gia_ObjId(p->pGia, pObj), Type, Match );}
+static inline int   Iff_ObjMatchId( Iff_Man_t * p, int iObj, int Type )                     { return Vec_IntEntry( p->vMatch[Type], iObj );                 }
+static inline int   Iff_ObjMatch( Iff_Man_t * p, Gia_Obj_t * pObj, int Type )               { return Iff_ObjMatchId( p, Gia_ObjId(p->pGia, pObj), Type );   }
+static inline void  Iff_ObjSetMatchId( Iff_Man_t * p, int iObj, int Type, int Match )       { Vec_IntWriteEntry( p->vMatch[Type], iObj, Match );            }
+static inline void  Iff_ObjSetMatch( Iff_Man_t * p, Gia_Obj_t * pObj, int Type, int Match ) { Iff_ObjSetMatchId( p, Gia_ObjId(p->pGia, pObj), Type, Match );}
 
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
@@ -81,22 +81,6 @@ void Gia_ManIffStop( Iff_Man_t * p )
 
 /**Function*************************************************************
 
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-float Gia_IffObjTimeBest( Iff_Man_t * p, int iObj )
-{
-    return Abc_MinFloat( Iff_ObjTimeId(p, iObj, 1), Iff_ObjTimeId(p, iObj, 2) );
-}
-
-/**Function*************************************************************
-
   Synopsis    [Count the number of unique fanins.]
 
   Description []
@@ -135,6 +119,8 @@ int Gia_IffObjCount( Gia_Man_t * pGia, int iObj, int iFaninSkip, int iFaninSkip2
     {
         Gia_LutForEachFanin( pGia, iFaninSkip2, iFanin, i )
         {
+            if ( iFanin == iFaninSkip )
+                continue;
             if ( Gia_ObjIsTravIdCurrentId( pGia, iFanin ) )
                 continue;
             Gia_ObjSetTravIdCurrentId( pGia, iFanin );
@@ -158,41 +144,66 @@ int Gia_IffObjCount( Gia_Man_t * pGia, int iObj, int iFaninSkip, int iFaninSkip2
 float Gia_IffObjTimeOne( Iff_Man_t * p, int iObj, int iFaninSkip, int iFaninSkip2 )
 {
     int i, iFanin;
-    float Best = -ABC_INFINITY;
+    float DelayMax = -ABC_INFINITY;
     Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
-        if ( iFanin != iFaninSkip && iFanin != iFaninSkip2 && Best < Iff_ObjTimeId(p, iFanin, 1) )
-            Best = Iff_ObjTimeId(p, iFanin, 1);
+        if ( iFanin != iFaninSkip && iFanin != iFaninSkip2 && DelayMax < Iff_ObjTimeId(p, iFanin) )
+            DelayMax = Iff_ObjTimeId(p, iFanin);
     assert( i == Gia_ObjLutSize(p->pGia, iObj) );
     if ( iFaninSkip == -1 )
-        return Best + p->pLib->pLutDelays[i][0];
+        return DelayMax;
     Gia_LutForEachFanin( p->pGia, iFaninSkip, iFanin, i )
-        if ( Best < Iff_ObjTimeId(p, iFanin, 1) )
-            Best = Iff_ObjTimeId(p, iFanin, 1);
+        if ( iFanin != iFaninSkip2 && DelayMax < Iff_ObjTimeId(p, iFanin) )
+            DelayMax = Iff_ObjTimeId(p, iFanin);
     if ( iFaninSkip2 == -1 )
-        return Best;
+        return DelayMax;
     Gia_LutForEachFanin( p->pGia, iFaninSkip2, iFanin, i )
-        if ( Best < Iff_ObjTimeId(p, iFanin, 1) )
-            Best = Iff_ObjTimeId(p, iFanin, 1);
-    assert( Best >= 0 );
-    return Best;
+        if ( iFanin != iFaninSkip && DelayMax < Iff_ObjTimeId(p, iFanin) )
+            DelayMax = Iff_ObjTimeId(p, iFanin);
+    assert( DelayMax >= 0 );
+    return DelayMax;
 }
-float Gia_IffObjTimeTwo( Iff_Man_t * p, int iObj, int * piFanin )
+float Gia_IffObjTimeTwo( Iff_Man_t * p, int iObj, int * piFanin, float DelayMin )
 {
     int i, iFanin, nSize;
-    float This, Best = -ABC_INFINITY;
+    float This;
     *piFanin = -1;
     Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
     {
         This = Gia_IffObjTimeOne( p, iObj, iFanin, -1 );
-        nSize = Abc_MinInt( Gia_ObjLutSize(p->pGia, iObj) + Gia_ObjLutSize(p->pGia, iFanin) - 1, p->pLib->LutMax );
+        nSize = Gia_IffObjCount( p->pGia, iObj, iFanin, -1 );
+        assert( nSize <= p->pLib->LutMax );
         This += p->pLib->pLutDelays[nSize][0];
-        if ( Best < This )
+        if ( DelayMin > This )
         {
-            Best = This;
+            DelayMin = This;
             *piFanin = iFanin;
         }
     }
-    return Best;
+    return DelayMin;
+}
+float Gia_IffObjTimeThree( Iff_Man_t * p, int iObj, int * piFanin, int * piFanin2, float DelayMin )
+{
+    int i, k, iFanin, iFanin2, nSize;
+    float This;
+    *piFanin = -1;
+    *piFanin2 = -1;
+    Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
+    Gia_LutForEachFanin( p->pGia, iObj, iFanin2, k )
+    {
+        if ( iFanin == iFanin2 )
+            continue;
+        This  = Gia_IffObjTimeOne( p, iObj, iFanin, iFanin2 );
+        nSize = Gia_IffObjCount( p->pGia, iObj, iFanin, iFanin2 );
+        assert( nSize <= p->pLib->LutMax );
+        This += p->pLib->pLutDelays[nSize][0];
+        if ( DelayMin > This )
+        {
+            DelayMin  = This;
+            *piFanin  = iFanin;
+            *piFanin2 = iFanin2;
+        }
+    }
+    return DelayMin;
 }
 
 /**Function*************************************************************
@@ -210,9 +221,10 @@ Iff_Man_t * Gia_ManIffPerform( Gia_Man_t * pGia, If_LibLut_t * pLib, Tim_Man_t *
 {
     Iff_Man_t * p;
     Gia_Obj_t * pObj;
-    float arrTime1, arrTime2; 
-    int iObj, iFanin;
-    assert( nDegree == 2 );//|| nDegree == 3 );
+    int iObj, iFanin, iFanin1, iFanin2;
+    int CountAll = 0, Count2 = 0, Count3 = 0;
+    float arrTime1, arrTime2, arrTime3, arrBest = -ABC_INFINITY; 
+    assert( nDegree == 2 || nDegree == 3 );
     // start the mapping manager and set its parameters
     p = Gia_ManIffStart( pGia );
     p->pGia     = pGia;
@@ -220,9 +232,7 @@ Iff_Man_t * Gia_ManIffPerform( Gia_Man_t * pGia, If_LibLut_t * pLib, Tim_Man_t *
     p->nLutSize = nLutSize;
     p->nDegree  = nDegree;
     // compute arrival times of each node
-    Iff_ObjSetTimeId( p, 0, 1, 0 );
-    Iff_ObjSetTimeId( p, 0, 2, 0 );
-    Iff_ObjSetTimeId( p, 0, 3, 0 );
+    Iff_ObjSetTimeId( p, 0, 0 );
     Tim_ManIncrementTravId( pTime );
     Gia_ManForEachObj1( pGia, pObj, iObj )
     {
@@ -230,33 +240,53 @@ Iff_Man_t * Gia_ManIffPerform( Gia_Man_t * pGia, If_LibLut_t * pLib, Tim_Man_t *
         {
             if ( !Gia_ObjIsLut(pGia, iObj) )
                 continue;
+            CountAll++;
             // compute arrival times of LUT inputs
             arrTime1 = Gia_IffObjTimeOne( p, iObj, -1, -1 );
+            arrTime1 += p->pLib->pLutDelays[Gia_ObjLutSize(pGia, iObj)][0];
             // compute arrival times of LUT pairs
-            arrTime2 = Gia_IffObjTimeTwo( p, iObj, &iFanin );
-            // check arrival times
-            Iff_ObjSetTimeId( p, iObj, 1, arrTime2 );
-            if ( arrTime2 < arrTime1 )
-                Iff_ObjSetMatchId( p, iObj, 2, iFanin );
-            // compute arrival times of LUT triples
+            arrTime2 = Gia_IffObjTimeTwo( p, iObj, &iFanin, arrTime1 );
+            if ( nDegree == 2 )
+            {
+                // set arrival times
+                Iff_ObjSetTimeId( p, iObj, arrTime2 );
+                if ( arrTime2 < arrTime1 )
+                    Iff_ObjSetMatchId( p, iObj, 2, iFanin ), Count2++;                
+            }
+            else if ( nDegree == 3 )
+            {                
+                // compute arrival times of LUT triples
+                arrTime3 = Gia_IffObjTimeThree( p, iObj, &iFanin1, &iFanin2, arrTime2 );
+                // set arrival times
+                Iff_ObjSetTimeId( p, iObj, arrTime3 );
+                if ( arrTime3 == arrTime1 )
+                    continue;
+                if ( arrTime3 == arrTime2 )
+                    Iff_ObjSetMatchId( p, iObj, 2, iFanin ), Count2++;
+                else
+                {
+                    Iff_ObjSetMatchId( p, iObj, 2, iFanin1 );
+                    Iff_ObjSetMatchId( p, iObj, 3, iFanin2 ), Count3++;
+                }
+            }
+            else assert( 0 );
         }
         else if ( Gia_ObjIsCi(pObj) )
         {
             arrTime1 = Tim_ManGetCiArrival( pTime, Gia_ObjCioId(pObj) );
-            Iff_ObjSetTime( p, pObj, 1, arrTime1 );
-            Iff_ObjSetTime( p, pObj, 2, arrTime1 );
-            Iff_ObjSetTime( p, pObj, 3, arrTime1 );
+            Iff_ObjSetTime( p, pObj, arrTime1 );
         }
         else if ( Gia_ObjIsCo(pObj) )
         {
-            arrTime1 = Gia_IffObjTimeBest( p, Gia_ObjFaninId0p(pGia, pObj) );
+            arrTime1 = Iff_ObjTimeId( p, Gia_ObjFaninId0p(pGia, pObj) );
             Tim_ManSetCoArrival( pTime, Gia_ObjCioId(pObj), arrTime1 );
-            Iff_ObjSetTime( p, pObj, 1, arrTime1 );
-            Iff_ObjSetTime( p, pObj, 2, arrTime1 );
-            Iff_ObjSetTime( p, pObj, 3, arrTime1 );
+            Iff_ObjSetTime( p, pObj, arrTime1 );
+            arrBest = Abc_MaxFloat( arrBest, arrTime1 );
         }
         else assert( 0 );
     }
+    printf( "Max delay = %.2f.  Count1 = %d.  Count2 = %d.  Count3 = %d.\n", 
+        arrBest, CountAll - Count2 - Count3, Count2, Count3 );
     return p;
 }
 
@@ -273,28 +303,48 @@ Iff_Man_t * Gia_ManIffPerform( Gia_Man_t * pGia, If_LibLut_t * pLib, Tim_Man_t *
 ***********************************************************************/
 void Gia_ManIffSelect_rec( Iff_Man_t * p, int iObj, Vec_Int_t * vPacking )
 {
-    int i, iFanin, iFaninSkip;
+    int i, iFanin, iFaninSkip, iFaninSkip2;
     if ( Gia_ObjIsTravIdCurrentId( p->pGia, iObj ) )
         return;
     Gia_ObjSetTravIdCurrentId( p->pGia, iObj );
     assert( Gia_ObjIsLut(p->pGia, iObj) );
     iFaninSkip = Iff_ObjMatchId(p, iObj, 2);
+    iFaninSkip2 = Iff_ObjMatchId(p, iObj, 3);
     if ( iFaninSkip == -1 )
     {
+        assert( iFaninSkip2 == -1 );
         Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
             Gia_ManIffSelect_rec( p, iFanin, vPacking );
         Vec_IntPush( vPacking, 1 );
         Vec_IntPush( vPacking, iObj );
     }
+    else if ( iFaninSkip2 == -1 )
+    {
+        assert( iFaninSkip > 0 );
+        Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
+            if ( iFanin != iFaninSkip )
+                Gia_ManIffSelect_rec( p, iFanin, vPacking );
+        Gia_LutForEachFanin( p->pGia, iFaninSkip, iFanin, i )
+            Gia_ManIffSelect_rec( p, iFanin, vPacking );
+        Vec_IntPush( vPacking, 2 );
+        Vec_IntPush( vPacking, iFaninSkip );
+        Vec_IntPush( vPacking, iObj );
+    }
     else
     {
+        assert( iFaninSkip > 0 && iFaninSkip2 > 0 );
+        Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
+            if ( iFanin != iFaninSkip && iFanin != iFaninSkip2 )
+                Gia_ManIffSelect_rec( p, iFanin, vPacking );
         Gia_LutForEachFanin( p->pGia, iFaninSkip, iFanin, i )
+            if ( iFanin != iFaninSkip2 )
                 Gia_ManIffSelect_rec( p, iFanin, vPacking );
-        Gia_LutForEachFanin( p->pGia, iObj, iFanin, i )
+        Gia_LutForEachFanin( p->pGia, iFaninSkip2, iFanin, i )
             if ( iFanin != iFaninSkip )
                 Gia_ManIffSelect_rec( p, iFanin, vPacking );
-        Vec_IntPush( vPacking, 2 );
+        Vec_IntPush( vPacking, 3 );
         Vec_IntPush( vPacking, iFaninSkip );
+        Vec_IntPush( vPacking, iFaninSkip2 );
         Vec_IntPush( vPacking, iObj );
     }
     Vec_IntAddToEntry( vPacking, 0, 1 );
@@ -335,22 +385,22 @@ void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose )
     if ( nLutSize <= 4 )
     {
         nLutSize = 4;
-        if ( pLib->LutMax <= 7 )
+        if ( pLib->LutMax == 7 )
             nDegree = 2;
-        else if ( pLib->LutMax <= 10 )
+        else if ( pLib->LutMax == 10 )
             nDegree = 3;
         else
-            { printf( "Degree is more than 3.\n" ); return; }
+            { printf( "LUT library for packing 4-LUTs should have 7 or 10 inputs.\n" ); return; }
     }
     else if ( nLutSize <= 6 )
     {
         nLutSize = 6;
-        if ( pLib->LutMax <= 11 )
+        if ( pLib->LutMax == 11 )
             nDegree = 2;
-        else if ( pLib->LutMax <= 16 )
+        else if ( pLib->LutMax == 16 )
             nDegree = 3;
         else
-            { printf( "Degree is more than 3.\n" ); return; }
+            { printf( "LUT library for packing 6-LUTs should have 11 or 16 inputs.\n" ); return; }
     }
     else
     {
@@ -364,6 +414,7 @@ void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose )
         pGia->pManTime = Tim_ManStart( Gia_ManCiNum(pGia), Gia_ManCoNum(pGia) );
     // perform timing computation
     p = Gia_ManIffPerform( pGia, pLib, pGia->pManTime, nLutSize, nDegree );
+    Tim_ManStopP( (Tim_Man_t **)&pGia->pManTime );
     // derive clustering
     Vec_IntFreeP( &pGia->vPacking );
     pGia->vPacking = Gia_ManIffSelect( p );
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 3804756a..9aec050b 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -379,6 +379,7 @@ static int Abc_CommandAbc9Sweep              ( Abc_Frame_t * pAbc, int argc, cha
 static int Abc_CommandAbc9Force              ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAbc9Embed              ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAbc9If                 ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int Abc_CommandAbc9Iff                ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAbc9If2                ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAbc9Jf                 ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandAbc9Struct             ( Abc_Frame_t * pAbc, int argc, char ** argv );
@@ -946,6 +947,7 @@ void Abc_Init( Abc_Frame_t * pAbc )
     Cmd_CommandAdd( pAbc, "ABC9",         "&force",        Abc_CommandAbc9Force,        0 );
     Cmd_CommandAdd( pAbc, "ABC9",         "&embed",        Abc_CommandAbc9Embed,        0 );
     Cmd_CommandAdd( pAbc, "ABC9",         "&if",           Abc_CommandAbc9If,           0 );
+    Cmd_CommandAdd( pAbc, "ABC9",         "&iff",          Abc_CommandAbc9Iff,          0 );
     Cmd_CommandAdd( pAbc, "ABC9",         "&if2",          Abc_CommandAbc9If2,          0 );
     Cmd_CommandAdd( pAbc, "ABC9",         "&jf",           Abc_CommandAbc9Jf,           0 );
     Cmd_CommandAdd( pAbc, "ABC9",         "&struct",       Abc_CommandAbc9Struct,       0 );
@@ -30025,6 +30027,12 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 1;
     }
 
+    if ( pPars->pLutLib == NULL && pPars->fRepack )
+    {
+        Abc_Print( 0, "Cannot perform repacking because LUT library is not given.\n" );
+        pPars->fRepack = 0;
+    }
+
     if ( pPars->nLutSize == -1 )
     {
         if ( pPars->pLutLib == NULL )
@@ -30252,6 +30260,61 @@ usage:
   SeeAlso     []
 
 ***********************************************************************/
+int Abc_CommandAbc9Iff( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    extern void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose );
+    int c, fVerbose = 1;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( pAbc->pGia == NULL )
+    {
+        Abc_Print( -1, "Abc_CommandAbc9Iff(): There is no AIG to map.\n" );
+        return 1;
+    }
+    if ( !Gia_ManHasMapping(pAbc->pGia) )
+    {
+        Abc_Print( -1, "Abc_CommandAbc9Iff(): Mapping of the AIG is not defined.\n" );
+        return 1;
+    }
+    if ( pAbc->pLibLut == NULL )
+    {
+        Abc_Print( -1, "Abc_CommandAbc9Iff(): LUT library is not defined.\n" );
+        return 1;
+    }
+    Gia_ManIffTest( pAbc->pGia, (If_LibLut_t *)pAbc->pLibLut, fVerbose );
+    return 0;
+
+usage:
+    Abc_Print( -2, "usage: &iff [-vh]\n" );
+    Abc_Print( -2, "\t           performs structural mapping into LUT structures\n" );
+    Abc_Print( -2, "\t-v       : toggle printing optimization summary [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h       : print the command usage\n");
+    return 1;
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
 int Abc_CommandAbc9If2( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern Abc_Ntk_t * Mpm_ManCellMapping( Gia_Man_t * p, Mpm_Par_t * pPars, void * pMio );
@@ -30605,9 +30668,7 @@ usage:
 int Abc_CommandAbc9Struct( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern void Gia_ManTestStruct( Gia_Man_t * p );
-    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
     int c, fVerbose;
-    pNtk = Abc_FrameReadNtk(pAbc);
     // set defaults
     fVerbose   = 0;
     Extra_UtilGetoptReset();
@@ -30664,11 +30725,9 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9Trace( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
     int c;
     int fUseLutLib;
     int fVerbose;
-    pNtk = Abc_FrameReadNtk(pAbc);
     // set defaults
     fUseLutLib = 0;
     fVerbose   = 0;