abc9 to call "setundef -zero" behaving as for abc

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index edc07092b4c51ffad9acde0fe5165707d5359558..3c4919b1ff4494511fe7da9906f68eb4818502fd 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -403,6 +403,9 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
        RTLIL::Selection& sel = design->selection_stack.back();
        sel.select(module);
 
+       // Behave as for "abc" where BLIF writer implicitly outputs all undef as zero
+       Pass::call(design, "setundef -zero");
+
        Pass::call(design, "aigmap");
 
        handle_loops(design);