diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-18 20:38:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-18 20:38:52 -0800 |
| commit | dc8926a9286ba7ecc1e461081d2108c7a3e67333 (patch) | |
| tree | 0f90825404a32dddeee330759a6b7fcf6ef64a95 /src/base/cba/cbaBlast.c | |
| parent | d688af2601d5a7d4cb23ced5e25eeec0f046f40e (diff) | |
| download | abc-dc8926a9286ba7ecc1e461081d2108c7a3e67333.tar.gz abc-dc8926a9286ba7ecc1e461081d2108c7a3e67333.tar.bz2 abc-dc8926a9286ba7ecc1e461081d2108c7a3e67333.zip | |
Word-level extension of Cba_Ntk_t.
Diffstat (limited to 'src/base/cba/cbaBlast.c')
| -rw-r--r-- | src/base/cba/cbaBlast.c | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c index b0988632..bd120044 100644 --- a/src/base/cba/cbaBlast.c +++ b/src/base/cba/cbaBlast.c @@ -46,19 +46,20 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Cba_ManPrepareGates( Cba_Man_t * p ) { - int i; + Dec_Graph_t ** ppGraphs; int i; if ( p->pMioLib == NULL ) return; - assert( p->ppGraphs == NULL ); - p->ppGraphs = (Dec_Graph_t **)ABC_ALLOC( Dec_Graph_t *, Abc_NamObjNumMax(p->pFuncs) ); - p->ppGraphs[0] = NULL; + ppGraphs = ABC_ALLOC( Dec_Graph_t *, Abc_NamObjNumMax(p->pFuncs) ); + ppGraphs[0] = NULL; for ( i = 1; i < Abc_NamObjNumMax(p->pFuncs); i++ ) { char * pGateName = Abc_NamStr( p->pFuncs, i ); Mio_Gate_t * pGate = Mio_LibraryReadGateByName( (Mio_Library_t *)p->pMioLib, pGateName, NULL ); char * pSop = Mio_GateReadSop( pGate ); - p->ppGraphs[i] = Dec_Factor( pSop ); + ppGraphs[i] = Dec_Factor( pSop ); } + assert( p->ppGraphs == NULL ); + p->ppGraphs = ppGraphs; } void Cba_ManUndoGates( Cba_Man_t * p ) { @@ -66,7 +67,7 @@ void Cba_ManUndoGates( Cba_Man_t * p ) if ( p->pMioLib == NULL ) return; for ( i = 1; i < Abc_NamObjNumMax(p->pFuncs); i++ ) - Dec_GraphFree( p->ppGraphs[i] ); + Dec_GraphFree( (Dec_Graph_t *)p->ppGraphs[i] ); ABC_FREE( p->ppGraphs ); } |