From f4a8107c3bddf07f619f765cfd167788a436a562 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 31 Aug 2015 16:19:08 -0700 Subject: Performance tuning of the Nf. --- src/aig/gia/giaNf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- cgit v1.2.3