diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-31 16:19:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-31 16:19:08 -0700 |
| commit | f4a8107c3bddf07f619f765cfd167788a436a562 (patch) | |
| tree | db32def4a321990a17b7d287527db4c4bfdc4e82 | |
| parent | dddcab167c7d4bee0cea497aa4b2842fc84789ef (diff) | |
| download | abc-f4a8107c3bddf07f619f765cfd167788a436a562.tar.gz abc-f4a8107c3bddf07f619f765cfd167788a436a562.tar.bz2 abc-f4a8107c3bddf07f619f765cfd167788a436a562.zip | |
Performance tuning of the Nf.
| -rw-r--r-- | src/aig/gia/giaNf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index a2a6c15f..237ca4a6 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -111,7 +111,7 @@ struct Nf_Man_t_ static inline int Pf_Mat2Int( Pf_Mat_t Mat ) { union { int x; Pf_Mat_t y; } v; v.y = Mat; return v.x; } static inline Pf_Mat_t Pf_Int2Mat( int Int ) { union { int x; Pf_Mat_t y; } v; v.x = Int; return v.y; } -static inline float Nf_Wrd2Flt( word w ) { return MIO_NUMINV*(unsigned)w; } +static inline float Nf_Wrd2Flt( word w ) { return MIO_NUMINV*(unsigned)(w&0x3FFFFFFF) + MIO_NUMINV*(1<<30)*(unsigned)(w>>30); } static inline Nf_Obj_t * Nf_ManObj( Nf_Man_t * p, int i ) { return p->pNfObjs + i; } static inline Mio_Cell2_t* Nf_ManCell( Nf_Man_t * p, int i ) { return p->pCells + i; } |