summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2018-08-29 16:52:14 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2018-08-29 16:52:14 +0700
commit6d1fc80fa9efd671a9a77cc90bef497d7b764d1a (patch)
treee930e4818db392b6b4b168e77593b15981804c53
parent7b2ef943da344c2f58b17730123834cf0f1b0947 (diff)
downloadabc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.tar.gz
abc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.tar.bz2
abc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.zip
Expriments with functions.
-rw-r--r--src/opt/dau/dauNpn.c24
1 files changed, 15 insertions, 9 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c
index 3683189d..33937b5e 100644
--- a/src/opt/dau/dauNpn.c
+++ b/src/opt/dau/dauNpn.c
@@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
-#define USE4VARS 1
+//#define USE4VARS 1
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
@@ -144,8 +144,14 @@ unsigned * Dau_ReadFile( char * pFileName, int nSizeW )
abctime clk = Abc_Clock();
FILE * pFile = fopen( pFileName, "rb" );
unsigned * p = (unsigned *)ABC_CALLOC(word, nSizeW);
- int RetValue = fread( p, sizeof(word), nSizeW, pFile );
- fclose( pFile );
+ int RetValue = pFile ? fread( p, sizeof(word), nSizeW, pFile ) : 0;
+ if ( pFile )
+ {
+ printf( "Finished reading file \"%s\".\n", pFileName );
+ fclose( pFile );
+ }
+ else
+ printf( "Cannot open input file \"%s\".\n", pFileName );
Abc_PrintTime( 1, "File reading", Abc_Clock() - clk );
return p;
}
@@ -192,7 +198,7 @@ void Dau_NetworkEnum()
pTable[Inv] |= (1 << 31);
Vec_IntPushTwo( Vec_WecEntry(vNpns, 0), 0, Inv );
Vec_IntPushTwo( Vec_WecEntry(vNpns_, 0), 0, Inv );
- printf("Nodes = %2d. New = %4d. Total = %6d. New = %4d. Total = %6d. ",
+ printf("Nodes = %2d. New = %6d. Total = %6d. New = %6d. Total = %6d. ",
0, Vec_IntSize(Vec_WecEntry(vNpns, 0)), Vec_WecSizeSize(vNpns),
Vec_IntSize(Vec_WecEntry(vNpns_, 0)), Vec_WecSizeSize(vNpns_) );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
@@ -351,17 +357,17 @@ void Dau_NetworkEnum()
printf( "Found function %d\n", Res );
}
}
- printf("Nodes = %2d. New = %4d. Total = %6d. New = %4d. Total = %6d. ",
+ printf("Nodes = %2d. New = %6d. Total = %6d. New = %6d. Total = %6d. ",
n, Vec_IntSize(vFuncsN), Vec_WecSizeSize(vNpns), Vec_IntSize(vFuncsN_), Vec_WecSizeSize(vNpns_) );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
fflush(stdout);
if ( Vec_IntSize(vFuncsN) == 0 )
break;
}
- printf( "Functions with 7 nodes:\n" );
- Vec_IntForEachEntry( Vec_WecEntry(vNpns_,7), Entry, i )
- printf( "%04x ", Entry );
- printf( "\n" );
+// printf( "Functions with 7 nodes:\n" );
+// Vec_IntForEachEntry( Vec_WecEntry(vNpns_,7), Entry, i )
+// printf( "%04x ", Entry );
+// printf( "\n" );
Vec_WecFree( vNpns );
Vec_WecFree( vNpns_ );