diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-08 22:25:12 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-08 22:25:12 -0500 |
| commit | 699dd39035fad58037d49123161f6a1735f6e3a4 (patch) | |
| tree | 6980650ff5ea8f437bbc64d5a8906fc9d5279a68 | |
| parent | cad3d8d4199b861db1044a485ee4f53712ccb1bc (diff) | |
| download | abc-699dd39035fad58037d49123161f6a1735f6e3a4.tar.gz abc-699dd39035fad58037d49123161f6a1735f6e3a4.tar.bz2 abc-699dd39035fad58037d49123161f6a1735f6e3a4.zip | |
Support bit-blasting of shifts with more than 32 bits (fix).
| -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 fbace4ab..79ad3659 100644 --- 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; |