diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-16 13:52:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-16 13:52:59 -0700 |
| commit | c9e520e2dc28d1c2f7b53edbd9cfed0a5f5ae6f6 (patch) | |
| tree | 6ea79f25e66aaa3f50ba862deb0e408a179c14c3 /src/opt | |
| parent | d05fe039e1009822254964c0c7ff141f7008b61f (diff) | |
| download | abc-c9e520e2dc28d1c2f7b53edbd9cfed0a5f5ae6f6.tar.gz abc-c9e520e2dc28d1c2f7b53edbd9cfed0a5f5ae6f6.tar.bz2 abc-c9e520e2dc28d1c2f7b53edbd9cfed0a5f5ae6f6.zip | |
Expriments with functions.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 4 | ||||
| -rw-r--r-- | src/opt/dau/module.make | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 52e0c487..dacdb02a 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -620,8 +620,8 @@ int Dau_InsertFunction( Abc_TtHieMan_t * pMan, word * pCur, int nNodes, int nInp int DumpDelta = 1000000; char Perm[16] = {0}; int nVarsNew = Abc_TtMinBase( pCur, NULL, nVars, nInputs ); - unsigned Phase = Abc_TtCanonicizeHie( pMan, pCur, nVarsNew, Perm, 1 ); - //unsigned Phase = Dau_RunNpn( pMan, pCur, nVarsNew, Perm ); + //unsigned Phase = Abc_TtCanonicizeHie( pMan, pCur, nVarsNew, Perm, 1 ); + unsigned Phase = Dau_RunNpn( pMan, pCur, nInputs, Perm ); int nEntries = Vec_MemEntryNum(vTtMem); int Entry = Vec_MemHashInsert( vTtMem, pCur ); if ( nEntries == Vec_MemEntryNum(vTtMem) ) // found in the table - not new diff --git a/src/opt/dau/module.make b/src/opt/dau/module.make index efc34a17..5feb1040 100644 --- a/src/opt/dau/module.make +++ b/src/opt/dau/module.make @@ -8,4 +8,5 @@ SRC += src/opt/dau/dauCanon.c \ src/opt/dau/dauMerge.c \ src/opt/dau/dauNonDsd.c \ src/opt/dau/dauNpn.c \ + src/opt/dau/dauNpn2.c \ src/opt/dau/dauTree.c |