diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-02 20:20:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-02 20:20:07 -0700 |
| commit | 9291ab9f50a38717827a30f90418b3ecfa5110df (patch) | |
| tree | 67e07aaf20c1d400aff6297ecaae2175bc3b13ff /src/misc | |
| parent | 280a485336963305b795efaee1d84c854fa90abc (diff) | |
| download | abc-9291ab9f50a38717827a30f90418b3ecfa5110df.tar.gz abc-9291ab9f50a38717827a30f90418b3ecfa5110df.tar.bz2 abc-9291ab9f50a38717827a30f90418b3ecfa5110df.zip | |
Improvements to technology mapping.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecMem.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/misc/vec/vecMem.h b/src/misc/vec/vecMem.h index 206b42d2..716d939f 100644 --- a/src/misc/vec/vecMem.h +++ b/src/misc/vec/vecMem.h @@ -375,7 +375,7 @@ static int Vec_MemHashInsert( Vec_Mem_t * p, word * pEntry ) SeeAlso [] ***********************************************************************/ -static inline Vec_Mem_t * Vec_MemAllocForTT( int nVars ) +static inline Vec_Mem_t * Vec_MemAllocForTT( int nVars, int fCompl ) { int Value, nWords = (nVars <= 6 ? 1 : (1 << (nVars - 6))); word * uTruth = ABC_ALLOC( word, nWords ); @@ -383,7 +383,10 @@ static inline Vec_Mem_t * Vec_MemAllocForTT( int nVars ) Vec_MemHashAlloc( vTtMem, 10000 ); memset( uTruth, 0x00, sizeof(word) * nWords ); Value = Vec_MemHashInsert( vTtMem, uTruth ); assert( Value == 0 ); - memset( uTruth, 0xAA, sizeof(word) * nWords ); + if ( fCompl ) + memset( uTruth, 0x55, sizeof(word) * nWords ); + else + memset( uTruth, 0xAA, sizeof(word) * nWords ); Value = Vec_MemHashInsert( vTtMem, uTruth ); assert( Value == 1 ); ABC_FREE( uTruth ); return vTtMem; |