Support bit-blasting of shifts with more than 32 bits (fix).

699dd390 · Alan Mishchenko · cad3d8d4 · 699dd390
Commit 699dd390 authored Jun 08, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/base/wlc/wlcBlast.c
+2 -2

No files found.
--- a/src/base/wlc/wlcBlast.c
+++ b/src/base/wlc/wlcBlast.c
@@ -148,7 +148,7 @@ void Wlc_BlastShiftRight( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, 
        int i, iRes = pShift[nShiftMax];
        for ( i = nShiftMax + 1; i < nShift; i++ )
            iRes = Gia_ManHashOr( pNew, iRes, pShift[i] );
-        pShift[nShiftMax] = iRes;
+        pShift[nShiftMax++] = iRes;
    }
    else 
        nShiftMax = nShift;
@@ -181,7 +181,7 @@ void Wlc_BlastShiftLeft( Gia_Man_t * pNew, int * pNum, int nNum, int * pShift, i
        int i, iRes = pShift[nShiftMax];
        for ( i = nShiftMax + 1; i < nShift; i++ )
            iRes = Gia_ManHashOr( pNew, iRes, pShift[i] );
-        pShift[nShiftMax] = iRes;
+        pShift[nShiftMax++] = iRes;
    }
    else 
        nShiftMax = nShift;