luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Adding support for the genlib library file name.

This commit is contained in:
Alan Mishchenko 2025-03-10 14:37:29 -07:00
parent 120f30a89e
commit ecc27e80dc
5 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/map/mio/mio.h
View File

@ -109,6 +109,7 @@ extern void Mio_UpdateGenlib( Mio_Library_t * pLib );
extern int Mio_UpdateGenlib2( Vec_Str_t * vStr, Vec_Str_t * vStr2, char * pFileName, int fVerbose ); extern int Mio_UpdateGenlib2( Vec_Str_t * vStr, Vec_Str_t * vStr2, char * pFileName, int fVerbose );
/*=== mioApi.c =============================================================*/ /*=== mioApi.c =============================================================*/
extern char * Mio_LibraryReadName ( Mio_Library_t * pLib ); extern char * Mio_LibraryReadName ( Mio_Library_t * pLib );
extern char * Mio_LibraryReadFileName ( Mio_Library_t * pLib );
extern int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ); extern int Mio_LibraryReadGateNum ( Mio_Library_t * pLib );
extern Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib ); extern Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib );
extern Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib ); extern Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib );

1
src/map/mio/mioApi.c
View File

@ -41,6 +41,7 @@ ABC_NAMESPACE_IMPL_START
***********************************************************************/ ***********************************************************************/
char * Mio_LibraryReadName ( Mio_Library_t * pLib ) { return pLib->pName; } char * Mio_LibraryReadName ( Mio_Library_t * pLib ) { return pLib->pName; }
char * Mio_LibraryReadFileName ( Mio_Library_t * pLib ) { return pLib->pFileName; }
int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ) { return pLib->nGates; } int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ) { return pLib->nGates; }
Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib ) { return pLib->pGates; } Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib ) { return pLib->pGates; }
Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib ) { return pLib->ppGatesName;} Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib ) { return pLib->ppGatesName;}

1
src/map/mio/mioInt.h
View File

@ -61,6 +61,7 @@ ABC_NAMESPACE_HEADER_START
struct Mio_LibraryStruct_t_ struct Mio_LibraryStruct_t_
{ {
char * pName; // the name of the library char * pName; // the name of the library
char * pFileName; // the original file name
int nGates; // the number of the gates int nGates; // the number of the gates
Mio_Gate_t ** ppGates0; // the array of gates in the original order Mio_Gate_t ** ppGates0; // the array of gates in the original order
Mio_Gate_t ** ppGatesName; // the array of gates sorted by name Mio_Gate_t ** ppGatesName; // the array of gates sorted by name

1
src/map/mio/mioRead.c
View File

@ -97,6 +97,7 @@ Mio_Library_t * Mio_LibraryRead( char * FileName, char * pBuffer, char * Exclude
if ( tExcludeGate ) if ( tExcludeGate )
st__free_table( tExcludeGate ); st__free_table( tExcludeGate );
pLib->pFileName = Abc_UtilStrsav( FileName );
return pLib; return pLib;
} }

1
src/map/mio/mioUtils.c
View File

@ -69,6 +69,7 @@ void Mio_LibraryDelete( Mio_Library_t * pLib )
// Cudd_Quit( pLib->dd ); // Cudd_Quit( pLib->dd );
ABC_FREE( pLib->ppGates0 ); ABC_FREE( pLib->ppGates0 );
ABC_FREE( pLib->ppGatesName ); ABC_FREE( pLib->ppGatesName );
ABC_FREE( pLib->pFileName );
ABC_FREE( pLib ); ABC_FREE( pLib );
} }