Skip to content

A
abc
Commit 8b6de217 by Alan Mishchenko
Options

Compiler warnings.

parent afcbb097
Showing with 22 additions and 18 deletions
src/proof/pdr/pdrMan.c
...@@ -53,16 +53,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities3( Gia_Man_t * p, int fMuxCtrls ) ...@@ -53,16 +53,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities3( Gia_Man_t * p, int fMuxCtrls )
Gia_ManCreateRefs(p); Gia_ManCreateRefs(p);
// discount references // discount references
if ( fDiscount ) if ( fDiscount )
Gia_ManForEachAnd( p, pObj, i )
{ {
if ( !Gia_ObjIsMuxType(pObj) ) Gia_ManForEachAnd( p, pObj, i )
continue; {
pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); if ( !Gia_ObjIsMuxType(pObj) )
pData0 = Gia_Regular(pData0); continue;
pData1 = Gia_Regular(pData1); pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0));
p->pRefs[Gia_ObjId(p, pCtrl)]--; pData0 = Gia_Regular(pData0);
if ( pData0 == pData1 ) pData1 = Gia_Regular(pData1);
p->pRefs[Gia_ObjId(p, pData0)]--; p->pRefs[Gia_ObjId(p, pCtrl)]--;
if ( pData0 == pData1 )
p->pRefs[Gia_ObjId(p, pData0)]--;
}
} }
// create flop costs // create flop costs
vCosts = Vec_IntAlloc( Gia_ManRegNum(p) ); vCosts = Vec_IntAlloc( Gia_ManRegNum(p) );
...@@ -160,16 +162,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities2( Gia_Man_t * p, int fMuxCtrls ) ...@@ -160,16 +162,18 @@ Vec_Int_t * Pdr_ManDeriveFlopPriorities2( Gia_Man_t * p, int fMuxCtrls )
Gia_ManCreateRefs(p); Gia_ManCreateRefs(p);
// discount references // discount references
if ( fDiscount ) if ( fDiscount )
Gia_ManForEachAnd( p, pObj, i )
{ {
if ( !Gia_ObjIsMuxType(pObj) ) Gia_ManForEachAnd( p, pObj, i )
continue; {
pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0)); if ( !Gia_ObjIsMuxType(pObj) )
pData0 = Gia_Regular(pData0); continue;
pData1 = Gia_Regular(pData1); pCtrl = Gia_Regular(Gia_ObjRecognizeMux(pObj, &pData1, &pData0));
p->pRefs[Gia_ObjId(p, pCtrl)]--; pData0 = Gia_Regular(pData0);
if ( pData0 == pData1 ) pData1 = Gia_Regular(pData1);
p->pRefs[Gia_ObjId(p, pData0)]--; p->pRefs[Gia_ObjId(p, pCtrl)]--;
if ( pData0 == pData1 )
p->pRefs[Gia_ObjId(p, pData0)]--;
}
} }
Gia_ManForEachRo( p, pObj, i ) Gia_ManForEachRo( p, pObj, i )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment