diff options
| author | alanminko <37236958+alanminko@users.noreply.github.com> | 2021-08-19 09:48:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-19 09:48:58 -0700 |
| commit | 0fc13478b80d2fe94fb105375b080ba0a53f6745 (patch) | |
| tree | cf73a3b24ac5008af94634c9bf2a613af120d43d /src/base/wlc/wlcAbc.c | |
| parent | 77760dd8ac0d9ed1c0c909f28415204074074e78 (diff) | |
| parent | b82a7f46777e73c89b9e8db3a391d3a93aa5b562 (diff) | |
| download | abc-0fc13478b80d2fe94fb105375b080ba0a53f6745.tar.gz abc-0fc13478b80d2fe94fb105375b080ba0a53f6745.tar.bz2 abc-0fc13478b80d2fe94fb105375b080ba0a53f6745.zip | |
Merge pull request #133 from twier/inv_get_name_mangling_fix
Fix name-mangling behavior of inv_get
Diffstat (limited to 'src/base/wlc/wlcAbc.c')
| -rw-r--r-- | src/base/wlc/wlcAbc.c | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/base/wlc/wlcAbc.c b/src/base/wlc/wlcAbc.c index e1b06ffd..8b7dbfa7 100644 --- a/src/base/wlc/wlcAbc.c +++ b/src/base/wlc/wlcAbc.c @@ -140,7 +140,7 @@ void Wlc_NtkPrintInvStats( Wlc_Ntk_t * pNtk, Vec_Int_t * vCounts, int fVerbose ) SeeAlso [] ***********************************************************************/ -Abc_Ntk_t * Wlc_NtkGetInv( Wlc_Ntk_t * pNtk, Vec_Int_t * vInv ) +Abc_Ntk_t * Wlc_NtkGetInv( Wlc_Ntk_t * pNtk, Vec_Int_t * vInv, Vec_Ptr_t * vNamesIn ) { extern Vec_Int_t * Pdr_InvCounts( Vec_Int_t * vInv ); extern Vec_Str_t * Pdr_InvPrintStr( Vec_Int_t * vInv, Vec_Int_t * vCounts ); @@ -166,8 +166,16 @@ Abc_Ntk_t * Wlc_NtkGetInv( Wlc_Ntk_t * pNtk, Vec_Int_t * vInv ) if ( Entry == 0 ) continue; pMainObj = Abc_NtkCreatePi( pMainNtk ); - sprintf( Buffer, "pi%d", i ); - Abc_ObjAssignName( pMainObj, Buffer, NULL ); + // If vNamesIn is given, take names from there for as many entries as possible + // otherwise generate names from counter + if (vNamesIn != NULL && i < Vec_PtrSize(vNamesIn)) { + Abc_ObjAssignName( pMainObj, (char *)Vec_PtrEntry(vNamesIn, i), NULL ); + } + else + { + sprintf( Buffer, "pi%d", i ); + Abc_ObjAssignName( pMainObj, Buffer, NULL ); + } } if ( Abc_NtkPiNum(pMainNtk) != nInputs ) { |