diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-02 19:44:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-02 19:44:08 -0800 |
| commit | 3cc4080c55ac8d9b9af574186f878a1c1e72b0eb (patch) | |
| tree | 20e9ed864f3d120a716d79327e2abfc15b3a4222 /src/aig/gia | |
| parent | c681506b48495aedc38b5d31d12368bd7de096ad (diff) | |
| download | abc-3cc4080c55ac8d9b9af574186f878a1c1e72b0eb.tar.gz abc-3cc4080c55ac8d9b9af574186f878a1c1e72b0eb.tar.bz2 abc-3cc4080c55ac8d9b9af574186f878a1c1e72b0eb.zip | |
Portability changes for gcc-6 suggested by Clifford.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/gia.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 30731dd6..20d64dfe 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -654,6 +654,10 @@ static inline int Gia_ManAppendCi( Gia_Man_t * p ) Vec_IntPush( p->vCis, Gia_ObjId(p, pObj) ); return Gia_ObjId( p, pObj ) << 1; } + +extern void Gia_ManQuantSetSuppAnd( Gia_Man_t * p, Gia_Obj_t * pObj ); +extern void Gia_ManBuiltInSimPerform( Gia_Man_t * p, int iObj ); + static inline int Gia_ManAppendAnd( Gia_Man_t * p, int iLit0, int iLit1 ) { Gia_Obj_t * pObj = Gia_ManAppendObj( p ); @@ -688,15 +692,9 @@ static inline int Gia_ManAppendAnd( Gia_Man_t * p, int iLit0, int iLit1 ) pObj->fPhase = (Gia_ObjPhase(pFan0) ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjPhase(pFan1) ^ Gia_ObjFaninC1(pObj)); } if ( p->fBuiltInSim ) - { - extern void Gia_ManBuiltInSimPerform( Gia_Man_t * p, int iObj ); Gia_ManBuiltInSimPerform( p, Gia_ObjId( p, pObj ) ); - } if ( p->vSuppWords ) - { - extern void Gia_ManQuantSetSuppAnd( Gia_Man_t * p, Gia_Obj_t * pObj ); Gia_ManQuantSetSuppAnd( p, pObj ); - } return Gia_ObjId( p, pObj ) << 1; } static inline int Gia_ManAppendXorReal( Gia_Man_t * p, int iLit0, int iLit1 ) |