diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 16:48:49 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 16:48:49 +0300 |
| commit | 1e35ed8798499dcdf9c29529154aabff918fe43b (patch) | |
| tree | 5a41833eb9b29e68ec317462281b96c54a956f47 /src/opt | |
| parent | 13c883e15c683bd2fdcd6f1207866e4fb9587587 (diff) | |
| download | abc-1e35ed8798499dcdf9c29529154aabff918fe43b.tar.gz abc-1e35ed8798499dcdf9c29529154aabff918fe43b.tar.bz2 abc-1e35ed8798499dcdf9c29529154aabff918fe43b.zip | |
Expriments with functions (performance bug fix).
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 6 |
1 files changed, 5 insertions, 1 deletions
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; } } } |