diff options
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifDec10.c | 2 | ||||
-rw-r--r-- | src/map/if/ifDec16.c | 8 | ||||
-rw-r--r-- | src/map/mapper/mapperTree.c | 2 | ||||
-rw-r--r-- | src/map/mio/exp.h | 2 | ||||
-rw-r--r-- | src/map/mio/mio.c | 4 |
5 files changed, 9 insertions, 9 deletions
diff --git a/src/map/if/ifDec10.c b/src/map/if/ifDec10.c index 85c8625d..917f9f53 100644 --- a/src/map/if/ifDec10.c +++ b/src/map/if/ifDec10.c @@ -480,7 +480,7 @@ printf( "\n" ); int If_CutPerformCheck10( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) { int nSupp, fDerive = 0; - word z[2] = {0}, pF[16]; + word pF[16]; if ( nLeaves <= 6 ) return 1; If_Dec10Copy( pF, (word *)pTruth, nVars ); diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index e624f889..442e1fa1 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -2012,10 +2012,10 @@ float If_CutDelayLutStruct( If_Man_t * p, If_Cut_t * pCut, char * pStr, float Wi assert( G3.nVars == 0 ); for ( i = 0; i < nLeaves; i++ ) if ( !fUsed[i] ) - G3.pVars[G3.nVars++] = i; - G3.pVars[G3.nVars++] = nLeaves; + G3.pVars[(int)G3.nVars++] = i; + G3.pVars[(int)G3.nVars++] = nLeaves; if ( G2.nVars ) - G3.pVars[G3.nVars++] = nLeaves+1; + G3.pVars[(int)G3.nVars++] = nLeaves+1; assert( G1.nVars + G2.nVars + G3.nVars == nLeaves + (G1.nVars > 0) + (G2.nVars > 0) + (G1.nMyu > 2) + (G2.nMyu > 2) ); // what if both non-disjoint vars are the same??? @@ -2038,7 +2038,7 @@ float If_CutDelayLutStruct( If_Man_t * p, If_Cut_t * pCut, char * pStr, float Wi ***********************************************************************/ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) { - If_Grp_t G1 = {0}, G2 = {0}, G3 = {0}; + If_Grp_t G1 = {0}, G3 = {0}; int i, nLutLeaf, nLutLeaf2, nLutRoot, Length; // quit if parameters are wrong Length = strlen(pStr); diff --git a/src/map/mapper/mapperTree.c b/src/map/mapper/mapperTree.c index 542ff258..2244fa26 100644 --- a/src/map/mapper/mapperTree.c +++ b/src/map/mapper/mapperTree.c @@ -37,7 +37,7 @@ static int Map_LibraryGetMaxSuperPi_rec( Map_Super_t * pGate ); static unsigned Map_LibraryGetGateSupp_rec( Map_Super_t * pGate ); // fanout limits -extern const int s_MapFanoutLimits[10] = { 1/*0*/, 10/*1*/, 5/*2*/, 2/*3*/, 1/*4*/, 1/*5*/, 1/*6*/ }; +static const int s_MapFanoutLimits[10] = { 1/*0*/, 10/*1*/, 5/*2*/, 2/*3*/, 1/*4*/, 1/*5*/, 1/*6*/ }; //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// diff --git a/src/map/mio/exp.h b/src/map/mio/exp.h index 40dff2e8..a76f33cb 100644 --- a/src/map/mio/exp.h +++ b/src/map/mio/exp.h @@ -153,7 +153,7 @@ static inline Vec_Int_t * Exp_Or( int * pMan, int nVars, Vec_Int_t * p0, Vec_Int } static inline Vec_Int_t * Exp_Xor( int * pMan, int nVars, Vec_Int_t * p0, Vec_Int_t * p1 ) { - int i, v = 0, Len0 = Vec_IntSize(p0), Len1 = Vec_IntSize(p1); + int i, Len0 = Vec_IntSize(p0), Len1 = Vec_IntSize(p1); Vec_Int_t * r = Vec_IntAlloc( Len0 + Len1 + 5 ); assert( (Len0 & 1) && (Len1 & 1) ); Vec_IntPush( r, 2 * (nVars + Len0/2 + Len1/2 + 2) ); diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index f7eddab2..a4596c9f 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -41,7 +41,7 @@ static int Mio_CommandPrintLibrary( Abc_Frame_t * pAbc, int argc, char **argv ); static int Mio_CommandReadLibrary2( Abc_Frame_t * pAbc, int argc, char **argv ); static int Mio_CommandPrintLibrary2( Abc_Frame_t * pAbc, int argc, char **argv ); - +/* // internal version of GENLIB library static char * pMcncGenlib[25] = { "GATE inv1 1 O=!a; PIN * INV 1 999 0.9 0.0 0.9 0.0\n", @@ -66,7 +66,7 @@ static char * pMcncGenlib[25] = { "GATE zero 0 O=CONST0;\n", "GATE one 0 O=CONST1;\n" }; - +*/ //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// |