Bug fix in blasting shifters with large bit-width.

This commit is contained in:
Alan Mishchenko 2016-06-29 15:37:37 -07:00
parent d02f9dd4df
commit 84a277b491
1 changed files with 1 additions and 1 deletions

View File

@ -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++ )