diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-29 15:37:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-29 15:37:37 -0700 |
| commit | 84a277b49170df409d11d2445b296f4629cc8d75 (patch) | |
| tree | 3371c69e5a1dc775ba03ac05d837edc45c4f01da /src/base/wlc | |
| parent | d02f9dd4df982d3d2b438344e798c09c79be9222 (diff) | |
| download | abc-84a277b49170df409d11d2445b296f4629cc8d75.tar.gz abc-84a277b49170df409d11d2445b296f4629cc8d75.tar.bz2 abc-84a277b49170df409d11d2445b296f4629cc8d75.zip | |
Bug fix in blasting shifters with large bit-width.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 3327e909..ade1e85b 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -145,7 +145,7 @@ void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, int nShiftMax = Abc_Base2Log(nNum); int * pShiftNew = ABC_ALLOC( int, nShift ); memcpy( pShiftNew, pShift, sizeof(int)*nShift ); - if ( nShiftMax < nShift && nShift > 30 ) + if ( nShiftMax < nShift ) { int i, iRes = pShiftNew[nShiftMax]; for ( i = nShiftMax + 1; i < nShift; i++ ) |