abc9: remove -nomfs option

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 3fc6ed2c224314458ea37d58f421aead29de72a1..471c11a803e62de419b01dfb15de32a6cce6be23 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -250,7 +250,7 @@ struct abc9_output_filter
 void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string script_file, std::string exe_file,
                bool cleanup, vector<int> lut_costs, bool dff_mode, std::string delay_target, std::string /*lutin_shared*/, bool fast_mode,
                bool show_tempdir, std::string box_file, std::string lut_file,
-               std::string wire_delay, bool nomfs
+               std::string wire_delay
 )
 {
        map_autoidx = autoidx++;
@@ -305,10 +305,6 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip
        for (size_t pos = abc9_script.find("{W}"); pos != std::string::npos; pos = abc9_script.find("{W}", pos))
                abc9_script = abc9_script.substr(0, pos) + wire_delay + abc9_script.substr(pos+3);
 
-       if (nomfs)
-               for (size_t pos = abc9_script.find("&mfs"); pos != std::string::npos; pos = abc9_script.find("&mfs", pos))
-                       abc9_script = abc9_script.erase(pos, strlen("&mfs"));
-
        abc9_script += stringf("; &write -n %s/output.aig", tempdir_name.c_str());
        abc9_script = add_echos_to_abc9_cmd(abc9_script);
 
@@ -833,7 +829,6 @@ struct Abc9Pass : public Pass {
                std::string delay_target, lutin_shared = "-S 1", wire_delay;
                bool fast_mode = false, dff_mode = false, cleanup = true;
                bool show_tempdir = false;
-               bool nomfs = false;
                vector<int> lut_costs;
 
 #if 0
@@ -865,7 +860,6 @@ struct Abc9Pass : public Pass {
                if (design->scratchpad.count("abc9.W")) {
                        wire_delay = "-W " + design->scratchpad_get_string("abc9.W");
                }
-               nomfs = design->scratchpad_get_bool("abc9.nomfs", nomfs);
 
                size_t argidx;
                char pwd [PATH_MAX];
@@ -926,10 +920,6 @@ struct Abc9Pass : public Pass {
                                wire_delay = "-W " + args[++argidx];
                                continue;
                        }
-                       if (arg == "-nomfs") {
-                               nomfs = true;
-                               continue;
-                       }
                        break;
                }
                extra_args(args, argidx, design);
@@ -1043,7 +1033,7 @@ struct Abc9Pass : public Pass {
                        design->selected_active_module = module->name.str();
                        abc9_module(design, module, script_file, exe_file, cleanup, lut_costs, dff_mode,
                                        delay_target, lutin_shared, fast_mode, show_tempdir,
-                                       box_file, lut_file, wire_delay, nomfs);
+                                       box_file, lut_file, wire_delay);
                        design->selected_active_module.clear();
                }