diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-29 16:52:14 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-29 16:52:14 +0700 |
| commit | 6d1fc80fa9efd671a9a77cc90bef497d7b764d1a (patch) | |
| tree | e930e4818db392b6b4b168e77593b15981804c53 | |
| parent | 7b2ef943da344c2f58b17730123834cf0f1b0947 (diff) | |
| download | abc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.tar.gz abc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.tar.bz2 abc-6d1fc80fa9efd671a9a77cc90bef497d7b764d1a.zip | |
Expriments with functions.
| -rw-r--r-- | src/opt/dau/dauNpn.c | 24 |
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_ ); |