For abc9, run clkpart before ff_map and after abc9

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index b5c203d1f209bf008661f52737bc17815586b4ca..7105ba429daeda1fb2a8edf21e9af72e0336c13c 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -513,6 +513,7 @@ struct SynthXilinxPass : public ScriptPass
 
                if (check_label("map_ffs")) {
                        if (abc9 || help_mode) {
+                               run("clkpart -set_attr clkpart 1", "('-abc9' only)");
                                run("techmap -map " + ff_map_file, "('-abc9' only)");
                        }
                }
@@ -537,6 +538,7 @@ struct SynthXilinxPass : public ScriptPass
                                else
                                        abc9_opts += " -lut +/xilinx/abc9_xc7.lut";
                                run("abc9" + abc9_opts);
+                               run("clkpart -unpart clkpart");
                        }
                        else {
                                if (nowidelut)