diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:54:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:54:26 -0800 |
| commit | 874bc274d4d324fb7e9f02cf74092ab5d450a3a0 (patch) | |
| tree | 39d85c3f139f49194bfbdb03b841e23238497f6d /src/opt/dau | |
| parent | ac562a7b9de5d345e22855fa4c53eb51e48c3596 (diff) | |
| download | abc-874bc274d4d324fb7e9f02cf74092ab5d450a3a0.tar.gz abc-874bc274d4d324fb7e9f02cf74092ab5d450a3a0.tar.bz2 abc-874bc274d4d324fb7e9f02cf74092ab5d450a3a0.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src/opt/dau')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 30c44ca8..eaf7cf0a 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -156,14 +156,13 @@ void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns word tNorm = (tCur >> Digit) & 1 ? ~tCur : tCur; unsigned t = (unsigned)tNorm & tMask; unsigned tRep = pTable[t]; - unsigned tRep2 = pTable[tRep & tMask]; assert( ((tNorm >> Digit) & 1) == 0 ); - //assert( (tRep & (tMask>>1)) == (tRep2 & (tMask>>1)) ); - if ( (tRep2 >> 31) == 0 ) // first time + if ( (tRep >> 31) == 0 ) // first time { - Vec_IntPush( vNpns, tRep2 ); - pTable[tRep2] |= (1 << 31); + Vec_IntPush( vNpns, tRep ); + pTable[tRep] |= (1 << 31); } + } void Dau_NetworkEnum() { |