diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-10 01:21:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-10 01:21:58 -0700 |
| commit | 4c62b0028816cda59edf796577056d6d27e1be8d (patch) | |
| tree | 487017e313c8844d9e6e3702e28f0c46204b3dcc /src/opt | |
| parent | 12aab154c3b375a90a3f4ad06de352e9cbf7a7fb (diff) | |
| download | abc-4c62b0028816cda59edf796577056d6d27e1be8d.tar.gz abc-4c62b0028816cda59edf796577056d6d27e1be8d.tar.bz2 abc-4c62b0028816cda59edf796577056d6d27e1be8d.zip | |
Towards better Boolean matching.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNonDsd.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/opt/dau/dauNonDsd.c b/src/opt/dau/dauNonDsd.c index 6bdb6a4f..a6410ebc 100644 --- a/src/opt/dau/dauNonDsd.c +++ b/src/opt/dau/dauNonDsd.c @@ -52,7 +52,6 @@ int Dau_DecCheckSetTop5( word * p, int nVars, int nVarsF, int nVarsB, int nVarsS int nMints = (1 << nVarsB); int nMintsB = (1 <<(nVarsB-nVarsS)); int nMintsS = (1 << nVarsS); - int nMintsF = (1 << nVarsF); int s, b, v, m, Mint, MintB, MintS; assert( nVars == nVarsB + nVarsF ); assert( nVars <= 16 ); @@ -122,7 +121,6 @@ int Dau_DecCheckSetTop6( word * p, int nVars, int nVarsF, int nVarsB, int nVarsS int nMints = (1 << nVarsB); int nMintsB = (1 <<(nVarsB-nVarsS)); int nMintsS = (1 << nVarsS); - int nMintsF = (1 << nVarsF); int s, b, v, m, Mint, MintB, MintS; assert( nVars == nVarsB + nVarsF ); assert( nVars <= 16 ); |