diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 20:40:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 20:40:01 -0800 |
| commit | a5042e19c42e1bfa8689bb2381c37d9771f22365 (patch) | |
| tree | a85f87c9fc81e6eab345bc3f6e6083d06f0fec43 /src | |
| parent | 21e5b041d534b470fcd57463b472a909168f6103 (diff) | |
| download | abc-a5042e19c42e1bfa8689bb2381c37d9771f22365.tar.gz abc-a5042e19c42e1bfa8689bb2381c37d9771f22365.tar.bz2 abc-a5042e19c42e1bfa8689bb2381c37d9771f22365.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 0d8aae24..7484449f 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Dau_TruthEnum() { - int fUseTable = 0; + int fUseTable = 1; abctime clk = Abc_Clock(); #ifdef USE4VARS int nVars = 4; @@ -76,6 +76,11 @@ void Dau_TruthEnum() } if ( pTable == NULL ) printf( "Cannot alloc memory for table.\n" ); + + for ( i = 0; i <= 0x7FFFFFFF; i++ ) + if ( (i & 0x0FFFFFFF) == 0x0FFFFFFF ) + printf( "%08x : %08x\n", i, pTable[i] ); + for ( tCur = 0; tCur < nFuncs; tCur++ ) { if ( (tCur & 0xFFFF) == 0 ) |