diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-19 23:49:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-19 23:49:41 -0800 |
| commit | 7e0f7eba792e7fc854345d45f6f49bb562e63d3a (patch) | |
| tree | ebe90c25e7ad750bfcbd2b5ed980b17e5783a874 /src/misc | |
| parent | 6ad7dae1aefdecbe4cdc4f4f80548004f86af451 (diff) | |
| download | abc-7e0f7eba792e7fc854345d45f6f49bb562e63d3a.tar.gz abc-7e0f7eba792e7fc854345d45f6f49bb562e63d3a.tar.bz2 abc-7e0f7eba792e7fc854345d45f6f49bb562e63d3a.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/vec/vecMem.h | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/misc/vec/vecMem.h b/src/misc/vec/vecMem.h index 3f1b4517..206b42d2 100644 --- a/src/misc/vec/vecMem.h +++ b/src/misc/vec/vecMem.h @@ -281,7 +281,7 @@ static inline void Vec_MemDump( FILE * pFile, Vec_Mem_t * pVec ) word * pEntry; int i, w, d; if ( pFile == stdout ) - printf( "Memory vector has %d entries: ", Vec_MemEntryNum(pVec) ); + printf( "Memory vector has %d entries: \n", Vec_MemEntryNum(pVec) ); Vec_MemForEachEntry( pVec, pEntry, i ) { for ( w = pVec->nEntrySize - 1; w >= 0; w-- ) @@ -392,12 +392,13 @@ static inline void Vec_MemDumpTruthTables( Vec_Mem_t * p, char * pName, int nLut { FILE * pFile; char pFileName[1000]; - sprintf( pFileName, "tt_%s_%02d.txt", pName, nLutSize ); - pFile = fopen( pFileName, "wb" ); + sprintf( pFileName, "tt_%s_%02d.txt", pName ? pName : NULL, nLutSize ); + pFile = pName ? fopen( pFileName, "wb" ) : stdout; Vec_MemDump( pFile, p ); - fclose( pFile ); + if ( pFile != stdout ) + fclose( pFile ); printf( "Dumped %d %d-var truth tables into file \"%s\" (%.2f MB).\n", - Vec_MemEntryNum(p), nLutSize, pFileName, + Vec_MemEntryNum(p), nLutSize, pName ? pFileName : "stdout", 8.0 * Vec_MemEntryNum(p) * Vec_MemEntrySize(p) / (1 << 20) ); } |