diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-05 11:08:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-05 11:08:44 -0800 |
| commit | 8b6de217f6476649763ba95a0acf18fcea69557a (patch) | |
| tree | ffcb4d40460f1995036fc1c1335202f0e8bdc61e /src/proof/pdr/pdrMan.c | |
| parent | afcbb09717b9b76b6895dee66d42b9f9be0160e2 (diff) | |
| download | abc-8b6de217f6476649763ba95a0acf18fcea69557a.tar.gz abc-8b6de217f6476649763ba95a0acf18fcea69557a.tar.bz2 abc-8b6de217f6476649763ba95a0acf18fcea69557a.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/pdr/pdrMan.c')
| -rw-r--r-- | src/proof/pdr/pdrMan.c | 40 |
1 files changed, 22 insertions, 18 deletions
diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c index f682e946..13e0b23c 100644 --- a/src/proof/pdr/pdrMan.c +++ b/src/proof/pdr/pdrMan.c @@ -53,16 +53,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities3( Gia_Man_t * p, int fMuxCtrls ) Gia_ManCreateRefs(p); // discount references if ( fDiscount ) - Gia_ManForEachAnd( p, pObj, i ) { - if ( !Gia_ObjIsMuxType(pObj) ) - continue; - pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); - pData0 = Gia_Regular(pData0); - pData1 = Gia_Regular(pData1); - p->pRefs[Gia_ObjId(p, pCtrl)]--; - if ( pData0 == pData1 ) - p->pRefs[Gia_ObjId(p, pData0)]--; + Gia_ManForEachAnd( p, pObj, i ) + { + if ( !Gia_ObjIsMuxType(pObj) ) + continue; + pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); + pData0 = Gia_Regular(pData0); + pData1 = Gia_Regular(pData1); + p->pRefs[Gia_ObjId(p, pCtrl)]--; + if ( pData0 == pData1 ) + p->pRefs[Gia_ObjId(p, pData0)]--; + } } // create flop costs vCosts = Vec_IntAlloc( Gia_ManRegNum(p) ); @@ -160,16 +162,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities2( Gia_Man_t * p, int fMuxCtrls ) Gia_ManCreateRefs(p); // discount references if ( fDiscount ) - Gia_ManForEachAnd( p, pObj, i ) { - if ( !Gia_ObjIsMuxType(pObj) ) - continue; - pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); - pData0 = Gia_Regular(pData0); - pData1 = Gia_Regular(pData1); - p->pRefs[Gia_ObjId(p, pCtrl)]--; - if ( pData0 == pData1 ) - p->pRefs[Gia_ObjId(p, pData0)]--; + Gia_ManForEachAnd( p, pObj, i ) + { + if ( !Gia_ObjIsMuxType(pObj) ) + continue; + pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); + pData0 = Gia_Regular(pData0); + pData1 = Gia_Regular(pData1); + p->pRefs[Gia_ObjId(p, pCtrl)]--; + if ( pData0 == pData1 ) + p->pRefs[Gia_ObjId(p, pData0)]--; + } } Gia_ManForEachRo( p, pObj, i ) { |