From ee1e20ddf8716d057fa8e5ce18485afac2b7a871 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 12 Aug 2013 23:34:54 -0700
Subject: Enabling additional matching feature in the LUT mapper.

---
 src/aig/gia/giaIf.c  |  5 ++---
 src/base/abci/abc.c  | 12 +-----------
 src/map/if/ifDec75.c |  1 -
 3 files changed, 3 insertions(+), 15 deletions(-)

(limited to 'src')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 583e178a..3238a3dc 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -235,11 +235,10 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p )
     Abc_Print( 1, "lev =%5d  ", LevelMax );
     Abc_Print( 1, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) );
     Abc_Print( 1, "\n" );
-
+/*
     {
         char * pFileName = "stats_map.txt";
         static char FileNameOld[1000] = {0};
-        static int nNodesOld, nAreaOld, nDelayOld;
         static abctime clk = 0;
         FILE * pTable = fopen( pFileName, "a+" );
         if ( strcmp( FileNameOld, p->pName ) )
@@ -263,6 +262,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p )
         }
         fclose( pTable );
     }
+*/
 }
 
 /**Function*************************************************************
@@ -372,7 +372,6 @@ void Gia_ManChoiceLevel_rec( Gia_Man_t * p, Gia_Obj_t * pObj )
         if ( LevelMax < Gia_ObjLevel(p, pNext) )
             LevelMax = Gia_ObjLevel(p, pNext);
         LevelMax++;
-        assert( LevelMax > 0 );
 
         // get the level of the nodes in the choice node
         if ( (pNext = Gia_ObjSiblObj(p, Gia_ObjId(p, pObj))) )
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 399183ab..97528216 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -29454,17 +29454,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv )
         pPars->pFuncCell = If_CutPerformCheck10;
         pPars->fCutMin = 1;
     }
-    if ( pPars->fEnableCheck75 )
-    {
-        if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 )
-        {
-            Abc_Print( -1, "This feature only works for {6,7,8}-LUTs.\n" );
-            return 1;
-        }
-        pPars->pFuncCell = If_CutPerformCheck75;
-        pPars->fCutMin = 1;
-    }
-    if ( pPars->fEnableCheck75u )
+    if ( pPars->fEnableCheck75 || pPars->fEnableCheck75u )
     {
         if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 )
         {
diff --git a/src/map/if/ifDec75.c b/src/map/if/ifDec75.c
index 0135f87d..024f46ac 100644
--- a/src/map/if/ifDec75.c
+++ b/src/map/if/ifDec75.c
@@ -205,7 +205,6 @@ int Dau_DsdCheckDecAndExist( char * pDsd )
 int If_CutPerformCheck75__( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr )
 {
     char pDsdStr[1000];
-    int fDerive = 0;
     int nSizeNonDec, nDecExists, nDecAndExists;
     static int Counter = 0;
     Counter++;
-- 
cgit v1.2.3