diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-13 19:31:13 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-13 19:31:13 -0800 |
| commit | 4bd7efa6cda58e3e108b800d72438b707d56dd47 (patch) | |
| tree | af0981c51113fa1c013727f0a93e90b0905e462d /src/base | |
| parent | edbff75fff4666c6683f448068aa76a59c3de555 (diff) | |
| download | abc-4bd7efa6cda58e3e108b800d72438b707d56dd47.tar.gz abc-4bd7efa6cda58e3e108b800d72438b707d56dd47.tar.bz2 abc-4bd7efa6cda58e3e108b800d72438b707d56dd47.zip | |
Added counting hits and misses during structural hashing.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcHieNew.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c index 09de8709..0712c574 100644 --- a/src/base/abc/abcHieNew.c +++ b/src/base/abc/abcHieNew.c @@ -369,7 +369,8 @@ int Au_NtkAllocObj( Au_Ntk_t * p, int nFanins, int Type ) { int nObjInt2 = 63 + 64 * (((nObjInt-63) >> 6) + (((nObjInt-63) & 63) > 0)); assert( nObjInt2 >= nObjInt ); - p->nUseful += nObjInt - nObjInt2; +// if ( nObjInt2 + 64 < (1 << 12) ) +// p->nUseful += nObjInt - nObjInt2; nObjInt = nObjInt2; } |