diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-19 15:24:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-19 15:24:55 -0800 |
| commit | 360bce618c6ff29579aa3146fc03116530c1cd9d (patch) | |
| tree | 65af50535eaf44155ca8dbd98a70bfabbe32ae50 /src/base/cba | |
| parent | 4c55754404c8da90f7b0a869722f4e71b338a591 (diff) | |
| download | abc-360bce618c6ff29579aa3146fc03116530c1cd9d.tar.gz abc-360bce618c6ff29579aa3146fc03116530c1cd9d.tar.bz2 abc-360bce618c6ff29579aa3146fc03116530c1cd9d.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/cba')
| -rw-r--r-- | src/base/cba/cba.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/cba/cba.h b/src/base/cba/cba.h index 33030f35..b9a02a01 100644 --- a/src/base/cba/cba.h +++ b/src/base/cba/cba.h @@ -294,8 +294,8 @@ static inline void Cba_ObjSetName( Cba_Ntk_t * p, int i, int x ) { a static inline void Cba_ObjSetCopy( Cba_Ntk_t * p, int i, int x ) { assert(Cba_ObjCopy(p, i) == -1); Vec_IntSetEntry( &p->vCopy, i, x ); } static inline int Cba_ObjGetConst( Cba_Ntk_t * p, int i ) { assert(Cba_ObjIsCi(p, i)); return Cba_ObjIsBo(p, i) && Cba_ObjIsConst(p, i-1) ? Cba_ObjType(p, i-1) : 0; } -static inline int Cba_BoxBiNum( Cba_Ntk_t * p, int i ) { int s = i-1; assert(Cba_ObjIsBox(p, i)); while (--i >= 0 && Cba_ObjIsBi(p, i)); return s - i; } -static inline int Cba_BoxBoNum( Cba_Ntk_t * p, int i ) { int s = i+1; assert(Cba_ObjIsBox(p, i)); while (++i < Cba_NtkObjNum(p) && Cba_ObjIsBo(p, i)); return i - s; } +static inline int Cba_BoxBiNum( Cba_Ntk_t * p, int i ) { int s = i-1; assert(Cba_ObjIsBox(p, i)); while (--i >= 0 && Cba_ObjIsBi(p, i)) {} return s - i; } +static inline int Cba_BoxBoNum( Cba_Ntk_t * p, int i ) { int s = i+1; assert(Cba_ObjIsBox(p, i)); while (++i < Cba_NtkObjNum(p) && Cba_ObjIsBo(p, i)) {} return i - s; } static inline int Cba_BoxSize( Cba_Ntk_t * p, int i ) { return 1 + Cba_BoxBiNum(p, i) + Cba_BoxBoNum(p, i); } static inline int Cba_BoxBi( Cba_Ntk_t * p, int b, int i ) { assert(Cba_ObjIsBox(p, b)); return b - 1 - i; } static inline int Cba_BoxBo( Cba_Ntk_t * p, int b, int i ) { assert(Cba_ObjIsBox(p, b)); return b + 1 + i; } |