diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-11 11:14:04 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-11 11:14:04 -0800 |
commit | ac7633c5a4c874bd6f29827017ee23fc23613ad5 (patch) | |
tree | 9b2dd262555a62ceb0ae078c895de86e2a575874 /src/base/abci/abc.c | |
parent | 4f940de51880c83228b1923fe245af33de1fe346 (diff) | |
download | abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.tar.gz abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.tar.bz2 abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.zip |
Integrating barrier buffers.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 81092912..3573c442 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -26557,6 +26557,7 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv ) } else if ( fCollapse && pAbc->pGia->pAigExtra ) { + assert( !Gia_ManBufNum(pAbc->pGia) ); if ( Gia_ManIsSeqWithBoxes(pAbc->pGia) || Gia_ManRegBoxNum(pAbc->pGia) ) { Gia_Man_t * pUnshuffled = Gia_ManDupUnshuffleInputs( pAbc->pGia ); @@ -31744,6 +31745,11 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Empty GIA network.\n" ); return 1; } + if ( Gia_ManBufNum(pAbc->pGia) ) + { + Abc_Print( -1, "This command does not work with barrier buffers.\n" ); + return 1; + } if ( Gia_ManHasMapping(pAbc->pGia) ) { Abc_Print( -1, "Current AIG has mapping. Run \"&st\".\n" ); @@ -32377,7 +32383,11 @@ int Abc_CommandAbc9Jf( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Empty GIA network.\n" ); return 1; } - + if ( Gia_ManBufNum(pAbc->pGia) ) + { + Abc_Print( -1, "Abc_CommandAbc9Jf(): This command does not work with barrier buffers.\n" ); + return 1; + } if ( (pPars->fFuncDsd || pPars->fGenCnf) && pPars->nLutSize > 6 ) { Abc_Print( -1, "Abc_CommandAbc9Jf(): DSD computation works for LUT6 or less.\n" ); @@ -33641,6 +33651,11 @@ int Abc_CommandAbc9Dch( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Abc_CommandAbc9Dch(): There is no AIG.\n" ); return 1; } + if ( Gia_ManBufNum(pAbc->pGia) ) + { + Abc_Print( -1, "Abc_CommandAbc9Dch(): This command does not work with barrier buffers.\n" ); + return 1; + } pTemp = Gia_ManPerformDch( pAbc->pGia, pPars ); Abc_FrameUpdateGia( pAbc, pTemp ); return 0; @@ -36950,6 +36965,11 @@ int Abc_CommandAbc9Mfs( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Abc_CommandAbc9Mfs(): There is no AIG.\n" ); return 0; } + if ( Gia_ManBufNum(pAbc->pGia) ) + { + Abc_Print( -1, "Abc_CommandAbc9Mfs(): This command does not work with barrier buffers.\n" ); + return 1; + } if ( !Gia_ManHasMapping(pAbc->pGia) ) { Abc_Print( -1, "Abc_CommandAbc9Mfs(): The current AIG has no mapping.\n" ); |