diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-28 09:53:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-28 09:53:09 -0700 |
| commit | 688f0269db6fc9d5fd5c6bfc6ff4a66cd5818103 (patch) | |
| tree | 784e8231c145ad6c385480fd2357f00836e40757 /src/base | |
| parent | a3095693900f6e393b09a6556439b6ec26b8358e (diff) | |
| download | abc-688f0269db6fc9d5fd5c6bfc6ff4a66cd5818103.tar.gz abc-688f0269db6fc9d5fd5c6bfc6ff4a66cd5818103.tar.bz2 abc-688f0269db6fc9d5fd5c6bfc6ff4a66cd5818103.zip | |
Bug fix in blasting shifters with large bit-width.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 2 insertions, 2 deletions
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++ ) |