From 1e35ed8798499dcdf9c29529154aabff918fe43b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 11 Sep 2018 16:48:49 +0300 Subject: Expriments with functions (performance bug fix). --- src/opt/dau/dauNpn.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/opt/dau') diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index f04b5dd3..ba0271dc 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; } } } -- cgit v1.2.3