From 69699da9125fdce50c586d2c13954fb3285ccc2f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 18 Sep 2014 16:44:04 -0700
Subject: Improvements to Boolean matching.

---
 src/map/if/ifMap.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/map/if/ifMap.c')

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 2b2d1758..18b1eed2 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -262,6 +262,14 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
                         p->nCuts5a++;
                 }
             }
+            else if ( p->pPars->fUseDsdTune )
+            {
+                pCut->fUseless = If_DsdManReadMark( p->pIfDsdMan, If_CutDsdLit(p, pCut) );
+                p->nCutsUselessAll += pCut->fUseless;
+                p->nCutsUseless[pCut->nLeaves] += pCut->fUseless;
+                p->nCutsCountAll++;
+                p->nCutsCount[pCut->nLeaves]++;
+            }
         }
         
         // compute the application-specific cost and depth
-- 
cgit v1.2.3