Updating the mapper when user-specific matching is used.

src/map/if/ifCut.c

@@ -608,6 +608,10 @@ static inline int If_ManSortCompare( If_Man_t * p, If_Cut_t * pC0, If_Cut_t * pC
                 return -1;
             if ( pC0->Delay > pC1->Delay + p->fEpsilon )
                 return 1;
+            if ( pC0->fUseless < pC1->fUseless )
+                return -1;
+            if ( pC0->fUseless > pC1->fUseless )
+                return 1;
             return 0;
         }
         if ( p->SortMode == 0 ) // delay
@@ -632,6 +636,10 @@ static inline int If_ManSortCompare( If_Man_t * p, If_Cut_t * pC0, If_Cut_t * pC
                 return -1;
             if ( pC0->Power > pC1->Power + p->fEpsilon )
                 return 1;
+            if ( pC0->fUseless < pC1->fUseless )
+                return -1;
+            if ( pC0->fUseless > pC1->fUseless )
+                return 1;
             return 0;
         }
         assert( p->SortMode == 2 ); // delay old
@@ -639,6 +647,10 @@ static inline int If_ManSortCompare( If_Man_t * p, If_Cut_t * pC0, If_Cut_t * pC
             return -1;
         if ( pC0->Delay > pC1->Delay + p->fEpsilon )
             return 1;
+        if ( pC0->fUseless < pC1->fUseless )
+            return -1;
+        if ( pC0->fUseless > pC1->fUseless )
+            return 1;
         if ( pC0->Area < pC1->Area - p->fEpsilon )
             return -1;
         if ( pC0->Area > pC1->Area + p->fEpsilon )