Rename label to map_dsp

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index e13491e2cf51be00f6b1b20ca6ded663f19ed6c4..af8ee236876d2e1819890607e98bdd96150373f3 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -321,7 +321,7 @@ struct SynthXilinxPass : public ScriptPass
                        run("techmap -map +/cmp2lut.v -D LUT_WIDTH=6");
                }
 
-               if (check_label("dsp")) {
+               if (check_label("map_dsp")) {
                        if (!nodsp || help_mode) {
                                // NB: Xilinx multipliers are signed only
                                run("techmap -map +/mul2dsp.v -map +/xilinx/dsp_map.v -D DSP_A_MAXWIDTH=25 -D DSP_A_MAXWIDTH_PARTIAL=18 -D DSP_B_MAXWIDTH=18 -D DSP_SIGNEDONLY=1 -D DSP_NAME=$__MUL25X18", "(skip if '-nodsp')");