Bug fix in &fx.

berkeley-abc · Feb 6, 2024 · d7ef3cc · d7ef3cc
1 parent 62a22c7
commit d7ef3cc
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/aig/gia/giaFx.c b/src/aig/gia/giaFx.c
@@ -150,6 +150,13 @@ Vec_Wrd_t * Gia_ManComputeTruths( Gia_Man_t * p, int nCutSize, int nLutNum, int
         // collect and sort fanins
         vLeaves.nCap = vLeaves.nSize = Gia_ObjLutSize( p, i );
         vLeaves.pArray = Gia_ObjLutFanins( p, i );
+        if( !Vec_IntCheckUniqueSmall(&vLeaves) ) 
+        {
+            Vec_IntUniqify(&vLeaves);
+            Vec_IntWriteEntry(p->vMapping, Vec_IntEntry(p->vMapping, i), vLeaves.nSize);
+            for ( k = 0; k < vLeaves.nSize; k++ )
+                Vec_IntWriteEntry(p->vMapping, Vec_IntEntry(p->vMapping, i) + 1 + k, vLeaves.pArray[k]);
+        }
         assert( Vec_IntCheckUniqueSmall(&vLeaves) );
         Vec_IntSelectSort( Vec_IntArray(&vLeaves), Vec_IntSize(&vLeaves) );
         if ( !fReverse )