summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-04-02 20:20:07 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-04-02 20:20:07 -0700
commit9291ab9f50a38717827a30f90418b3ecfa5110df (patch)
tree67e07aaf20c1d400aff6297ecaae2175bc3b13ff /src/misc
parent280a485336963305b795efaee1d84c854fa90abc (diff)
downloadabc-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.h7
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;