From 688f0269db6fc9d5fd5c6bfc6ff4a66cd5818103 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 28 Jun 2016 09:53:09 -0700 Subject: Bug fix in blasting shifters with large bit-width. --- src/base/wlc/wlcBlast.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base') diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 79ad3659..3ec7256a 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -143,7 +143,7 @@ void Wlc_BlastShiftRightInt( Gia_Man_t * pNew, int * pNum, int nNum, int * pShif void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, int nShift, int fSticky, Vec_Int_t * vRes ) { int nShiftMax = Abc_Base2Log(nNum); - if ( nShiftMax < nShift ) + if ( nShiftMax < nShift && nShift > 30 ) { int i, iRes = pShift[nShiftMax]; for ( i = nShiftMax + 1; i < nShift; i++ ) @@ -176,7 +176,7 @@ void Wlc_BlastShiftLeftInt( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift void Wlc_BlastShiftLeft( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, int nShift, int fSticky, Vec_Int_t * vRes ) { int nShiftMax = Abc_Base2Log(nNum); - if ( nShiftMax < nShift ) + if ( nShiftMax < nShift && nShift > 30 ) { int i, iRes = pShift[nShiftMax]; for ( i = nShiftMax + 1; i < nShift; i++ ) -- cgit v1.2.3