diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-01 08:01:00 -0700 |
| commit | 4a9789e58d27ecaba541ba3fcb0565a334dcd54b (patch) | |
| tree | 1784dcf05dd78b0acddb7d52764f1e3fd6ef2d49 /src/aig/ntl/ntlUtil.c | |
| parent | d0341836ddb38ccc087bdac3df4e8b2ff7fe7a8f (diff) | |
| download | abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.gz abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.tar.bz2 abc-4a9789e58d27ecaba541ba3fcb0565a334dcd54b.zip | |
Version abc80701
Diffstat (limited to 'src/aig/ntl/ntlUtil.c')
| -rw-r--r-- | src/aig/ntl/ntlUtil.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlUtil.c b/src/aig/ntl/ntlUtil.c index 1fb9f1c6..4fd1762c 100644 --- a/src/aig/ntl/ntlUtil.c +++ b/src/aig/ntl/ntlUtil.c @@ -402,14 +402,23 @@ Vec_Vec_t * Ntl_ManTransformRegClasses( Ntl_Man_t * pMan, int nSizeMax, int fVer { printf( "The number of register clases = %d.\n", nClasses ); for ( i = 0; i <= ClassMax; i++ ) - printf( "%d:%d ", Class, pClassNums[i] ); + if ( pClassNums[i] ) + printf( "%d:%d ", i, pClassNums[i] ); printf( "\n" ); } // skip if there is only one class if ( nClasses == 1 ) { + vParts = NULL; + if ( Vec_IntSize(pMan->vRegClasses) >= nSizeMax ) + { + vParts = Vec_PtrAlloc( 100 ); + vPart = Vec_IntStartNatural( Vec_IntSize(pMan->vRegClasses) ); + Vec_PtrPush( vParts, vPart ); + } + printf( "There is only one clock domain with %d registers.\n", Vec_IntSize(pMan->vRegClasses) ); free( pClassNums ); - return NULL; + return (Vec_Vec_t *)vParts; } // create classes vParts = Vec_PtrAlloc( 100 ); |