From 4c62b0028816cda59edf796577056d6d27e1be8d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 10 Oct 2013 01:21:58 -0700 Subject: Towards better Boolean matching. --- src/opt/dau/dauNonDsd.c | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/opt') diff --git a/src/opt/dau/dauNonDsd.c b/src/opt/dau/dauNonDsd.c index 6bdb6a4f..a6410ebc 100644 --- a/src/opt/dau/dauNonDsd.c +++ b/src/opt/dau/dauNonDsd.c @@ -52,7 +52,6 @@ int Dau_DecCheckSetTop5( word * p, int nVars, int nVarsF, int nVarsB, int nVarsS int nMints = (1 << nVarsB); int nMintsB = (1 <<(nVarsB-nVarsS)); int nMintsS = (1 << nVarsS); - int nMintsF = (1 << nVarsF); int s, b, v, m, Mint, MintB, MintS; assert( nVars == nVarsB + nVarsF ); assert( nVars <= 16 ); @@ -122,7 +121,6 @@ int Dau_DecCheckSetTop6( word * p, int nVars, int nVarsF, int nVarsB, int nVarsS int nMints = (1 << nVarsB); int nMintsB = (1 <<(nVarsB-nVarsS)); int nMintsS = (1 << nVarsS); - int nMintsF = (1 << nVarsF); int s, b, v, m, Mint, MintB, MintS; assert( nVars == nVarsB + nVarsF ); assert( nVars <= 16 ); -- cgit v1.2.3