Add 'setundef -zero' call prior to aigmap in abc9

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index ec4a28d089044fbcdeb17a12bae1e7e110ebc67e..b0326372e293ae8898405383cbd792625323a4d4 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -403,6 +403,10 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
        RTLIL::Selection& sel = design->selection_stack.back();
        sel.select(module);
 
+       // Adopt same behaviour as abc
+       // TODO: How to specify don't-care to abc9?
+       Pass::call(design, "setundef -zero");
+
        Pass::call(design, "aigmap");
 
        handle_loops(design);