From 1e35ed8798499dcdf9c29529154aabff918fe43b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 11 Sep 2018 16:48:49 +0300 Subject: [PATCH] Expriments with functions (performance bug fix). --- src/opt/dau/dauNpn.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index f04b5dd37..ba0271dc8 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -829,8 +829,12 @@ void Dau_FunctionEnum( int nInputs, int nVars, int nNodeMax, int fUseTwo, int fV tGate = s_Truths6[m] ^ s_Truths6[k]; tCur = (tGate & Cof1) | (~tGate & Cof0); Dau_InsertFunction( pMan, &tCur, n, nInputs, nVars, nSupp, vTtMem, vTtMemA, vNodSup, vMapping, Entry, clk ); + + tGate = s_Truths6[m] ^ s_Truths6[k]; + tCur = (tGate & Cof0) | (~tGate & Cof1); + Dau_InsertFunction( pMan, &tCur, n, nInputs, nVars, nSupp, vTtMem, vTtMemA, vNodSup, vMapping, Entry, clk ); } - nSteps += 9; + nSteps += 10; } } }