From 699dd39035fad58037d49123161f6a1735f6e3a4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 8 Jun 2016 22:25:12 -0500 Subject: Support bit-blasting of shifts with more than 32 bits (fix). --- src/base/wlc/wlcBlast.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/wlc/wlcBlast.c') 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; -- cgit v1.2.3