From 7fbcde9d2297d32a8f0ad761137958ac043d2cd1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 10 Oct 2025 13:47:23 -0700 Subject: [PATCH] Correcting performance degradation introduced by a bug fix in commit e824cca0c --- src/base/wlc/wlcBlast.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 3f01b106a..2bcceb2db 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -2030,8 +2030,10 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) int nRangeMax = Abc_MaxInt(nRange0, nRange1); int * pArg0 = Wlc_VecLoadFanins( vTemp0, pFans0, nRange0, nRangeMax, fSigned ); int * pArg1 = Wlc_VecLoadFanins( vTemp1, pFans1, nRange1, nRangeMax, fSigned ); - if ( nRange0 == nRange1 && Wlc_NtkCountConstBits(pArg0, nRangeMax) < Wlc_NtkCountConstBits(pArg1, nRangeMax) ) + if ( Wlc_NtkCountConstBits(pArg0, nRangeMax) < Wlc_NtkCountConstBits(pArg1, nRangeMax) ) { ABC_SWAP( int *, pArg0, pArg1 ); + ABC_SWAP( int, nRange0, nRange1 ); + } if ( pPar->fBooth ) Wlc_BlastBooth( pNew, pArg0, pArg1, nRange0, nRange1, vRes, fSigned, pPar->fCla, NULL, pParIn->fVerbose ); else if ( pPar->fCla )