diff options
-rw-r--r-- | src/base/abci/abcRec3.c | 22 |
1 files changed, 4 insertions, 18 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 0e3fd214..4aa7863d 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -42,10 +42,9 @@ struct Lms_Man_t_ // internal data Gia_Man_t * pGia; // the record Vec_Mem_t * vTtMem; // truth tables of primary outputs - Vec_Int_t * vTruthPo; // for each semi-canonical class, last PO where this truth table was seen +// Vec_Int_t * vTruthPo; // for each semi-canonical class, first PO where this truth table was seen // subgraph attributes (1-to-1 correspondence with POs of Gia) Vec_Int_t * vTruthIds; // truth table IDs of this PO - Vec_Int_t * vEquivs; // link to the previous PO of the same functional class Vec_Wrd_t * vDelays; // pin-to-pin delays of this PO Vec_Str_t * vCosts; // number of AND gates in this PO // sugraph usage statistics @@ -130,10 +129,9 @@ Lms_Man_t * Lms_ManStart( int nVars, int nCuts, int fFuncOnly, int fVerbose ) // truth tables p->vTtMem = Vec_MemAlloc( p->nWords, 12 ); // 32 KB/page for 6-var functions Vec_MemHashAlloc( p->vTtMem, 10000 ); - p->vTruthPo = Vec_IntAlloc( 1000 ); +// p->vTruthPo = Vec_IntAlloc( 1000 ); // subgraph attributes p->vTruthIds = Vec_IntAlloc( 1000 ); - p->vEquivs = Vec_IntAlloc( 1000 ); p->vDelays = Vec_WrdAlloc( 1000 ); p->vCosts = Vec_StrAlloc( 1000 ); // sugraph usage statistics @@ -149,10 +147,9 @@ void Lms_ManStop( Lms_Man_t * p ) Vec_IntFree( p->vLabels ); Vec_PtrFree( p->vNodes ); // subgraph attributes - Vec_IntFree( p->vEquivs ); Vec_WrdFree( p->vDelays ); Vec_StrFree( p->vCosts ); - Vec_IntFree( p->vTruthPo ); +// Vec_IntFree( p->vTruthPo ); // sugraph usage statistics // Vec_IntFree( p->vFreqs ); // truth tables @@ -354,7 +351,6 @@ clk = clock(); printf( "Truth table verification has failed.\n" ); */ Vec_IntPush( s_pMan->vTruthIds, -1 ); // truth table IDs - Vec_IntPush( s_pMan->vEquivs, -1 ); // truth table IDs Vec_WrdPush( s_pMan->vDelays, 0 ); Vec_StrPush( s_pMan->vCosts, 0 ); s_pMan->nFilterTruth++; @@ -368,18 +364,8 @@ clk = clock(); Index = Vec_MemHashInsert( s_pMan->vTtMem, s_pMan->pTemp1 ); Vec_IntPush( s_pMan->vTruthIds, Index ); // truth table IDs assert( Gia_ManPoNum(pGia) == Vec_IntSize(s_pMan->vTruthIds) ); - if ( Index < Vec_IntSize(s_pMan->vTruthPo) ) // old ID -- add to linked list - { - Vec_IntPush( s_pMan->vEquivs, Vec_IntEntry(s_pMan->vTruthPo, Index) ); - Vec_IntWriteEntry( s_pMan->vTruthPo, Index, Gia_ManPoNum(pGia) - 1 ); - } - else - { - assert( Index == Vec_IntSize(s_pMan->vTruthPo) ); - Vec_IntPush( s_pMan->vTruthPo, Gia_ManPoNum(pGia) - 1 ); - Vec_IntPush( s_pMan->vEquivs, -1 ); + if ( Index == Vec_MemEntryNum(s_pMan->vTtMem) - 1 ) s_pMan->nAddedFuncs++; - } Vec_WrdPush( s_pMan->vDelays, 0 ); Vec_StrPush( s_pMan->vCosts, 0 ); s_pMan->timeInsert += clock() - clk; |