diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:55:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-09 18:55:30 -0700 |
| commit | 518410af359e2e4dcb61613fcebcb6dfe85cae08 (patch) | |
| tree | 029e908133a5cb329ba7be5e4bbb0a104203e5eb /src/bool/lucky/luckySwap.c | |
| parent | 20518f59d12c8dcb7e0ae9046edd937da7f1f6fe (diff) | |
| download | abc-518410af359e2e4dcb61613fcebcb6dfe85cae08.tar.gz abc-518410af359e2e4dcb61613fcebcb6dfe85cae08.tar.bz2 abc-518410af359e2e4dcb61613fcebcb6dfe85cae08.zip | |
Compiler warnings.
Diffstat (limited to 'src/bool/lucky/luckySwap.c')
| -rw-r--r-- | src/bool/lucky/luckySwap.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/bool/lucky/luckySwap.c b/src/bool/lucky/luckySwap.c index cd3adaa6..46db2b0f 100644 --- a/src/bool/lucky/luckySwap.c +++ b/src/bool/lucky/luckySwap.c @@ -19,6 +19,19 @@ ABC_NAMESPACE_IMPL_START +static word mask0[6] = { 0x5555555555555555,0x3333333333333333, 0x0F0F0F0F0F0F0F0F,0x00FF00FF00FF00FF,0x0000FFFF0000FFFF, 0x00000000FFFFFFFF}; +/* +static word mask1[6] = { 0xAAAAAAAAAAAAAAAA,0xCCCCCCCCCCCCCCCC, 0xF0F0F0F0F0F0F0F0,0xFF00FF00FF00FF00,0xFFFF0000FFFF0000, 0xFFFFFFFF00000000 }; +static word mask[6][2] = { + {0x5555555555555555,0xAAAAAAAAAAAAAAAA}, + {0x3333333333333333,0xCCCCCCCCCCCCCCCC}, + {0x0F0F0F0F0F0F0F0F,0xF0F0F0F0F0F0F0F0}, + {0x00FF00FF00FF00FF,0xFF00FF00FF00FF00}, + {0x0000FFFF0000FFFF,0xFFFF0000FFFF0000}, + {0x00000000FFFFFFFF,0xFFFFFFFF00000000} +}; +*/ + inline int Kit_TruthWordNum_64bit( int nVars ) { return nVars <= 6 ? 1 : (1 << (nVars - 6));} inline int Kit_WordCountOnes_64bit(word x) |