diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-02 08:01:00 -0700 |
| commit | 303baf27cf34c2a57db97c4c567fd744241fa14b (patch) | |
| tree | d6235cca48e7bdfe5884e517058c7791e66bb806 /src/bdd/reo/reoSwap.c | |
| parent | fa67e3c19e27c011517b91182eb3929412aaf402 (diff) | |
| download | abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.gz abc-303baf27cf34c2a57db97c4c567fd744241fa14b.tar.bz2 abc-303baf27cf34c2a57db97c4c567fd744241fa14b.zip | |
Version abc80702
Diffstat (limited to 'src/bdd/reo/reoSwap.c')
| -rw-r--r-- | src/bdd/reo/reoSwap.c | 122 |
1 files changed, 62 insertions, 60 deletions
diff --git a/src/bdd/reo/reoSwap.c b/src/bdd/reo/reoSwap.c index 4afa650c..d3a9c7a5 100644 --- a/src/bdd/reo/reoSwap.c +++ b/src/bdd/reo/reoSwap.c @@ -47,7 +47,8 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) // the new nodes on lev0 reo_unit * pLoop, * pUnit; // the new nodes on lev1 - reo_unit * pNewPlane20, * pNewPlane21, * pNewPlane20R; + reo_unit * pNewPlane20 = NULL, * pNewPlane21 = NULL; // Suppress "might be used uninitialized" + reo_unit * pNewPlane20R; reo_unit * pUnitE, * pUnitER, * pUnitT; // the nodes below lev1 reo_unit * pNew1E, * pNew1T, * pNew2E, * pNew2T; @@ -60,18 +61,19 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) reo_unit * pListNew1 = NULL, ** ppListNew1 = &pListNew1; reo_unit * pListTemp = NULL, ** ppListTemp = &pListTemp; // various integer variables - int fComp, fCompT, fFound, nWidthCofs, HKey, fInteract, temp, c; + int fComp, fCompT, fFound, HKey, fInteract, temp, c; + int nWidthCofs = -1; // Suppress "might be used uninitialized" // statistical variables int nNodesUpMovedDown = 0; int nNodesDownMovedUp = 0; int nNodesUnrefRemoved = 0; int nNodesUnrefAdded = 0; int nWidthReduction = 0; - double AplWeightTotalLev0; - double AplWeightTotalLev1; - double AplWeightHalf; - double AplWeightPrev; - double AplWeightAfter; + double AplWeightTotalLev0 = 0.0; // Suppress "might be used uninitialized" + double AplWeightTotalLev1 = 0.0; // Suppress "might be used uninitialized" + double AplWeightHalf = 0.0; // Suppress "might be used uninitialized" + double AplWeightPrev = 0.0; // Suppress "might be used uninitialized" + double AplWeightAfter = 0.0; // Suppress "might be used uninitialized" double nCostGain; // set the old lists @@ -248,14 +250,14 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> - // 0 / \ 1 - // / \ - // / \ - // / \ <p2n> - // / \ 0 / \ 1 - // / \ / \ - // / \ / \ + // <p1> . + // 0 / \ 1 . + // / \ . + // / \ . + // / \ <p2n> . + // / \ 0 / \ 1 . + // / \ / \ . + // / \ / \ . // F0 F1 F0 F1 // move to plane-2-new @@ -333,15 +335,15 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> <p1n> - // 0 / \ 1 0 / \ 1 - // / \ / \ - // / \ / \ - // <p2> <p2> <p2n> <p2n> - // 0 / \ 1 0 / \ 1 0 / \ 1 0 / \ 1 - // / \ / \ / \ / \ - // / \ / \ / \ / \ - // F0 F1 F2 F3 F0 F2 F1 F3 + // <p1> <p1n> . + // 0 / \ 1 0 / \ 1 . + // / \ / \ . + // / \ / \ . + // <p2> <p2> <p2n> <p2n> . + // 0 / \ 1 0 / \ 1 0 / \ 1 0 / \ 1 . + // / \ / \ / \ / \ . + // / \ / \ / \ / \ . + // F0 F1 F2 F3 F0 F2 F1 F3 . // pNew1E pNew1T pNew2E pNew2T // pNew1E = pUnitE->pE; // F0 @@ -354,15 +356,15 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> <p1n> - // 0 . \ 1 0 / \ 1 - // . \ / \ - // . \ / \ - // <p2> <p2> <p2n> <p2n> - // 0 / \ 1 0 / \ 1 0 . \ 1 0 . \ 1 - // / \ / \ . \ . \ - // / \ / \ . \ . \ - // F0 F1 F2 F3 F0 F2 F1 F3 + // <p1> <p1n> . + // 0 . \ 1 0 / \ 1 . + // . \ / \ . + // . \ / \ . + // <p2> <p2> <p2n> <p2n> . + // 0 / \ 1 0 / \ 1 0 . \ 1 0 . \ 1 . + // / \ / \ . \ . \ . + // / \ / \ . \ . \ . + // F0 F1 F2 F3 F0 F2 F1 F3 . // pNew1E pNew1T pNew2E pNew2T // pNew1E = Unit_Not(pUnitER->pE); // F0 @@ -389,15 +391,15 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> <p1n> - // 0 / \ 1 0 / \ 1 - // / \ / \ - // / \ / \ - // <p2> \ <p2n> <p2n> - // 0 / \ 1 \ 0 / \ 1 0 / \ 1 - // / \ \ / \ / \ - // / \ \ / \ / \ - // F0 F1 F3 F0 F3 F1 F3 + // <p1> <p1n> . + // 0 / \ 1 0 / \ 1 . + // / \ / \ . + // / \ / \ . + // <p2> \ <p2n> <p2n> . + // 0 / \ 1 \ 0 / \ 1 0 / \ 1 . + // / \ \ / \ / \ . + // / \ \ / \ / \ . + // F0 F1 F3 F0 F3 F1 F3 . // pNew1E pNew1T pNew2E pNew2T // pNew1E = pUnitER->pE; // F0 @@ -410,15 +412,15 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> <p1n> - // 0 . \ 1 0 / \ 1 - // . \ / \ - // . \ / \ - // <p2> \ <p2n> <p2n> - // 0 / \ 1 \ 0 . \ 1 0 . \ 1 - // / \ \ . \ . \ - // / \ \ . \ . \ - // F0 F1 F3 F0 F3 F1 F3 + // <p1> <p1n> . + // 0 . \ 1 0 / \ 1 . + // . \ / \ . + // . \ / \ . + // <p2> \ <p2n> <p2n> . + // 0 / \ 1 \ 0 . \ 1 0 . \ 1 . + // / \ \ . \ . \ . + // / \ \ . \ . \ . + // F0 F1 F3 F0 F3 F1 F3 . // pNew1E pNew1T pNew2E pNew2T // pNew1E = Unit_Not(pUnitER->pE); // F0 @@ -443,15 +445,15 @@ double reoReorderSwapAdjacentVars( reo_man * p, int lev0, int fMovingUp ) { // before after // - // <p1> <p1n> - // 0 / \ 1 0 / \ 1 - // / \ / \ - // / \ / \ - // / <p2> <p2n> <p2n> - // / 0 / \ 1 0 / \ 1 0 / \ 1 - // / / \ / \ / \ - // / / \ / \ / \ - // F0 F2 F3 F0 F2 F0 F3 + // <p1> <p1n> . + // 0 / \ 1 0 / \ 1 . + // / \ / \ . + // / \ / \ . + // / <p2> <p2n> <p2n> . + // / 0 / \ 1 0 / \ 1 0 / \ 1 . + // / / \ / \ / \ . + // / / \ / \ / \ . + // F0 F2 F3 F0 F2 F0 F3 . // pNew1E pNew1T pNew2E pNew2T // pNew1E = pUnitE; // F0 |