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

Adding command &reshape.

This commit is contained in:
Alan Mishchenko 2021-09-21 10:50:10 -07:00
parent 627c7d33fd
commit cc13d1fb47
3 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaReshape1.c
View File

@ -42,7 +42,7 @@ ABC_NAMESPACE_IMPL_START
SeeAlso []
***********************************************************************/
Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fUseSimple, int fVerbose, int fVeryVerbose )
{
return NULL;
}

2
src/aig/gia/giaReshape2.c
View File

@ -41,7 +41,7 @@ ABC_NAMESPACE_IMPL_START
SeeAlso []
***********************************************************************/
Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fUseSimple, int fVerbose, int fVeryVerbose )
{
return NULL;
}

17
src/base/abci/abc.c
View File

@ -35498,20 +35498,24 @@ usage:
***********************************************************************/
int Abc_CommandAbc9Reshape( Abc_Frame_t * pAbc, int argc, char ** argv )
{
extern Gia_Man_t * Gia_ManReshape1( Gia_Man_t * pGia, int fVerbose, int fVeryVerbose );
extern Gia_Man_t * Gia_ManReshape2( Gia_Man_t * pGia, int fVerbose, int fVeryVerbose );
extern Gia_Man_t * Gia_ManReshape1( Gia_Man_t * pGia, int fUseSimple, int fVerbose, int fVeryVerbose );
extern Gia_Man_t * Gia_ManReshape2( Gia_Man_t * pGia, int fUseSimple, int fVerbose, int fVeryVerbose );
Gia_Man_t * pTemp;
int fUseReshape1 = 0;
int fUseSimple = 0;
int c, fVerbose = 0;
int fVeryVerbose = 0;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "avwh" ) ) != EOF )
while ( ( c = Extra_UtilGetopt( argc, argv, "asvwh" ) ) != EOF )
{
switch ( c )
{
case 'a':
fUseReshape1 ^= 1;
break;
case 's':
fUseSimple ^= 1;
break;
case 'v':
fVerbose ^= 1;
break;
@ -35530,16 +35534,17 @@ int Abc_CommandAbc9Reshape( Abc_Frame_t * pAbc, int argc, char ** argv )
return 1;
}
if ( fUseReshape1 )
pTemp = Gia_ManReshape1( pAbc->pGia, fVerbose, fVeryVerbose );
pTemp = Gia_ManReshape1( pAbc->pGia, fUseSimple, fVerbose, fVeryVerbose );
else
pTemp = Gia_ManReshape2( pAbc->pGia, fVerbose, fVeryVerbose );
pTemp = Gia_ManReshape2( pAbc->pGia, fUseSimple, fVerbose, fVeryVerbose );
Abc_FrameUpdateGia( pAbc, pTemp );
return 0;
usage:
Abc_Print( -2, "usage: &reshape [-avwh]\n" );
Abc_Print( -2, "usage: &reshape [-asvwh]\n" );
Abc_Print( -2, "\t performs AIG resubstitution\n" );
Abc_Print( -2, "\t-a : toggles selecting the algorithm [default = %s]\n", fUseReshape1? "yes": "no" );
Abc_Print( -2, "\t-s : toggles using simple method [default = %s]\n", fUseSimple? "yes": "no" );
Abc_Print( -2, "\t-v : toggles printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-w : toggles printing additional information [default = %s]\n", fVeryVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");