diff options
Diffstat (limited to 'src/map/amap/amapRead.c')
-rw-r--r-- | src/map/amap/amapRead.c | 42 |
1 files changed, 24 insertions, 18 deletions
diff --git a/src/map/amap/amapRead.c b/src/map/amap/amapRead.c index 7ebc239b..ec169773 100644 --- a/src/map/amap/amapRead.c +++ b/src/map/amap/amapRead.c @@ -19,6 +19,10 @@ ***********************************************************************/ #include "amapInt.h" +#include "ioAbc.h" + +ABC_NAMESPACE_IMPL_START + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -68,7 +72,7 @@ static inline char * Amap_ParseStrsav( Aig_MmFlex_t * p, char * pStr ) ***********************************************************************/ char * Amap_LoadFile( char * pFileName ) { - extern FILE * Io_FileOpen( const char * FileName, const char * PathVar, const char * Mode, int fVerbose ); +// extern FILE * Io_FileOpen( const char * FileName, const char * PathVar, const char * Mode, int fVerbose ); FILE * pFile; char * pBuffer; int nFileSize; @@ -197,7 +201,7 @@ int Amap_ParseCountPins( Vec_Ptr_t * vTokens, int iPos ) { char * pToken; int i, Counter = 0; - Vec_PtrForEachEntryStart( vTokens, pToken, i, iPos ) + Vec_PtrForEachEntryStart( char *, vTokens, pToken, i, iPos ) if ( !strcmp( pToken, AMAP_STRING_PIN ) ) Counter++; else if ( !strcmp( pToken, AMAP_STRING_GATE ) ) @@ -295,7 +299,7 @@ int Amap_CollectFormulaTokens( Vec_Ptr_t * vTokens, char * pToken, int iPos ) while ( *(pPrev-1) != ';' ) { *pPrev++ = ' '; - pNext = Vec_PtrEntry(vTokens, iPos++); + pNext = (char *)Vec_PtrEntry(vTokens, iPos++); while ( *pNext ) *pPrev++ = *pNext++; } @@ -322,7 +326,7 @@ Amap_Lib_t * Amap_ParseTokens( Vec_Ptr_t * vTokens, int fVerbose ) char * pToken; int nPins, iPos = 0; p = Amap_LibAlloc(); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); do { if ( strcmp( pToken, AMAP_STRING_GATE ) ) @@ -339,28 +343,28 @@ Amap_Lib_t * Amap_ParseTokens( Vec_Ptr_t * vTokens, int fVerbose ) pGate->pLib = p; pGate->nPins = nPins; // read gate - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pGate->pName = Amap_ParseStrsav( p->pMemGates, pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pGate->dArea = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pGate->pOutName = Amap_ParseStrsav( p->pMemGates, pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); iPos = Amap_CollectFormulaTokens( vTokens, pToken, iPos ); pGate->pForm = Amap_ParseStrsav( p->pMemGates, pToken ); // read pins Amap_GateForEachPin( pGate, pPin ) { - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); if ( strcmp( pToken, AMAP_STRING_PIN ) ) { printf( "Cannot parse gate %s.\n", pGate->pName ); return NULL; } // read pin - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->pName = Amap_ParseStrsav( p->pMemGates, pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); if ( strcmp( pToken, AMAP_STRING_UNKNOWN ) == 0 ) pPin->Phase = AMAP_PHASE_UNKNOWN; else if ( strcmp( pToken, AMAP_STRING_INV ) == 0 ) @@ -372,17 +376,17 @@ Amap_Lib_t * Amap_ParseTokens( Vec_Ptr_t * vTokens, int fVerbose ) printf( "Cannot read phase of pin %s of gate %s\n", pPin->pName, pGate->pName ); return NULL; } - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dLoadInput = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dLoadMax = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dDelayBlockRise = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dDelayFanoutRise = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dDelayBlockFall = atof( pToken ); - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); pPin->dDelayFanoutFall = atof( pToken ); if ( pPin->dDelayBlockRise > pPin->dDelayBlockFall ) pPin->dDelayBlockMax = pPin->dDelayBlockRise; @@ -396,7 +400,7 @@ Amap_Lib_t * Amap_ParseTokens( Vec_Ptr_t * vTokens, int fVerbose ) Vec_PtrPop( p->vGates ); Vec_PtrPush( p->vGates, pGate ); } - pToken = Vec_PtrEntry(vTokens, iPos++); + pToken = (char *)Vec_PtrEntry(vTokens, iPos++); } while ( strcmp( pToken, ".end" ) ); return p; @@ -437,3 +441,5 @@ Amap_Lib_t * Amap_LibReadFile( char * pFileName, int fVerbose ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |