summaryrefslogtreecommitdiffstats
path: root/src/opt/dau
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-10-06 15:12:39 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-10-06 15:12:39 -0700
commit46370974917ac8fc9ea4d0f864fcb15721d5c591 (patch)
treee4b211a71db90b4348308b7062aa1e385d06af54 /src/opt/dau
parentad8a3f5159a168596a3fc7b8b6956bfbcd07a277 (diff)
downloadabc-46370974917ac8fc9ea4d0f864fcb15721d5c591.tar.gz
abc-46370974917ac8fc9ea4d0f864fcb15721d5c591.tar.bz2
abc-46370974917ac8fc9ea4d0f864fcb15721d5c591.zip
New AIG optimization package.
Diffstat (limited to 'src/opt/dau')
-rw-r--r--src/opt/dau/dauDsd.c2
-rw-r--r--src/opt/dau/module.make4
2 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c
index 1b690cb9..bef0f894 100644
--- a/src/opt/dau/dauDsd.c
+++ b/src/opt/dau/dauDsd.c
@@ -412,7 +412,7 @@ void Dau_DsdTestOne( word t, int i )
// t = t & 0xFFFFFFFF;
// t |= (t << 32);
p = Dau_DsdPerform( t );
- return;
+// return;
t2 = Dau_DsdToTruth( p );
if ( t != t2 )
diff --git a/src/opt/dau/module.make b/src/opt/dau/module.make
index 5fd9ef90..c58d8807 100644
--- a/src/opt/dau/module.make
+++ b/src/opt/dau/module.make
@@ -1,3 +1,3 @@
SRC += src/opt/dau/dau.c \
- src/opt/dau/daCore.c \
- src/opt/dau/daDsd.c
+ src/opt/dau/dauCore.c \
+ src/opt/dau/dauDsd.c