From 9291ab9f50a38717827a30f90418b3ecfa5110df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 2 Apr 2014 20:20:07 -0700 Subject: Improvements to technology mapping. --- src/misc/vec/vecMem.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/misc/vec/vecMem.h') 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; -- cgit v1.2.3