pmgen: Move passes out of pmgen folder

Techlib pmgens are now in relevant techlibs/*. `peepopt` pmgens are now in passes/opt. `test_pmgen` is still in passes/pmgen. Update `Makefile.inc` and `.gitignore` file(s) to match new `*_pm.h` location, as well as the `#include`s. Change default `%_pm.h` make target to `techlibs/%_pm.h` and move it to the top level Makefile. Update pmgen target to use `$(notdir $*)` (where `$*` is the part of the file name that matched the '%' in the target) instead of `$(subst _pm.h,,$(notdir $@))`. Also remove the `mkdir` part of the command, since the existence of `%.pmg` means that `$(dir $@)` must already exist.
YosysHQ · Jan 31, 2025 · 837ff82 · 837ff82
1 parent 18a7c00
commit 837ff82
Show file tree

Hide file tree

Showing 31 changed files with 71 additions and 77 deletions.
diff --git a/Makefile b/Makefile
@@ -651,6 +651,9 @@ OBJS += libs/fst/fastlz.o
 OBJS += libs/fst/lz4.o
 endif
 
+techlibs/%_pm.h: passes/pmgen/pmgen.py techlibs/%.pmg
+	$(P) $(PYTHON_EXECUTABLE) $< -o $@ -p $(notdir $*) $(filter-out $<,$^)
+
 ifneq ($(SMALL),1)
 
 OBJS += libs/subcircuit/subcircuit.o

diff --git a/passes/opt/.gitignore b/passes/opt/.gitignore
@@ -0,0 +1 @@
+/peepopt*_pm.h
diff --git a/passes/opt/Makefile.inc b/passes/opt/Makefile.inc
@@ -22,4 +22,18 @@ OBJS += passes/opt/opt_lut_ins.o
 OBJS += passes/opt/opt_ffinv.o
 OBJS += passes/opt/pmux2shiftx.o
 OBJS += passes/opt/muxpack.o
+
+OBJS += passes/opt/peepopt.o
+GENFILES += passes/opt/peepopt_pm.h
+passes/opt/peepopt.o: passes/opt/peepopt_pm.h
+$(eval $(call add_extra_objs,passes/opt/peepopt_pm.h))
+
+PEEPOPT_PATTERN  = passes/opt/peepopt_shiftmul_right.pmg
+PEEPOPT_PATTERN += passes/opt/peepopt_shiftmul_left.pmg
+PEEPOPT_PATTERN += passes/opt/peepopt_shiftadd.pmg
+PEEPOPT_PATTERN += passes/opt/peepopt_muldiv.pmg
+PEEPOPT_PATTERN += passes/opt/peepopt_formal_clockgateff.pmg
+
+passes/opt/peepopt_pm.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)
+	$(P) $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^)
 endif
diff --git a/passes/pmgen/peepopt.cc → passes/opt/peepopt.cc b/passes/pmgen/peepopt.cc → passes/opt/peepopt.cc
@@ -28,7 +28,7 @@ bool did_something;
 // scratchpad configurations for pmgen
 int shiftadd_max_ratio;
 
-#include "passes/pmgen/peepopt_pm.h"
+#include "passes/opt/peepopt_pm.h"
 
 struct PeepoptPass : public Pass {
 	PeepoptPass() : Pass("peepopt", "collection of peephole optimizers") { }

diff --git a/passes/pmgen/peepopt_formal_clockgateff.pmg → passes/opt/peepopt_formal_clockgateff.pmg b/passes/pmgen/peepopt_formal_clockgateff.pmg → passes/opt/peepopt_formal_clockgateff.pmg
diff --git a/passes/pmgen/peepopt_muldiv.pmg → passes/opt/peepopt_muldiv.pmg b/passes/pmgen/peepopt_muldiv.pmg → passes/opt/peepopt_muldiv.pmg
diff --git a/passes/pmgen/peepopt_shiftadd.pmg → passes/opt/peepopt_shiftadd.pmg b/passes/pmgen/peepopt_shiftadd.pmg → passes/opt/peepopt_shiftadd.pmg
diff --git a/passes/pmgen/peepopt_shiftmul_left.pmg → passes/opt/peepopt_shiftmul_left.pmg b/passes/pmgen/peepopt_shiftmul_left.pmg → passes/opt/peepopt_shiftmul_left.pmg
diff --git a/passes/pmgen/peepopt_shiftmul_right.pmg → passes/opt/peepopt_shiftmul_right.pmg b/passes/pmgen/peepopt_shiftmul_right.pmg → passes/opt/peepopt_shiftmul_right.pmg
diff --git a/passes/pmgen/Makefile.inc b/passes/pmgen/Makefile.inc
@@ -1,70 +1,10 @@
-%_pm.h: passes/pmgen/pmgen.py %.pmg
-	$(P) mkdir -p $(dir $@) && $(PYTHON_EXECUTABLE) $< -o $@ -p $(subst _pm.h,,$(notdir $@)) $(filter-out $<,$^)
+passes/pmgen/%_pm.h: passes/pmgen/pmgen.py passes/pmgen/%.pmg
+	$(P) $(PYTHON_EXECUTABLE) $< -o $@ -p $(notdir $*) $(filter-out $<,$^)
 
 # --------------------------------------
 
 OBJS += passes/pmgen/test_pmgen.o
 GENFILES += passes/pmgen/test_pmgen_pm.h
-passes/pmgen/test_pmgen.o: passes/pmgen/test_pmgen_pm.h passes/pmgen/ice40_dsp_pm.h passes/pmgen/peepopt_pm.h passes/pmgen/xilinx_srl_pm.h
+passes/pmgen/test_pmgen.o: passes/pmgen/test_pmgen_pm.h techlibs/ice40/ice40_dsp_pm.h techlibs/xilinx/xilinx_srl_pm.h
 $(eval $(call add_extra_objs,passes/pmgen/test_pmgen_pm.h))
 
-# --------------------------------------
-
-OBJS += passes/pmgen/ice40_dsp.o
-GENFILES += passes/pmgen/ice40_dsp_pm.h
-passes/pmgen/ice40_dsp.o: passes/pmgen/ice40_dsp_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/ice40_dsp_pm.h))
-
-# --------------------------------------
-
-OBJS += passes/pmgen/ice40_wrapcarry.o
-GENFILES += passes/pmgen/ice40_wrapcarry_pm.h
-passes/pmgen/ice40_wrapcarry.o: passes/pmgen/ice40_wrapcarry_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/ice40_wrapcarry_pm.h))
-
-# --------------------------------------
-
-OBJS += passes/pmgen/xilinx_dsp.o
-GENFILES += passes/pmgen/xilinx_dsp_pm.h
-GENFILES += passes/pmgen/xilinx_dsp48a_pm.h
-GENFILES += passes/pmgen/xilinx_dsp_CREG_pm.h
-GENFILES += passes/pmgen/xilinx_dsp_cascade_pm.h
-passes/pmgen/xilinx_dsp.o: passes/pmgen/xilinx_dsp_pm.h passes/pmgen/xilinx_dsp48a_pm.h passes/pmgen/xilinx_dsp_CREG_pm.h passes/pmgen/xilinx_dsp_cascade_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/xilinx_dsp_pm.h))
-$(eval $(call add_extra_objs,passes/pmgen/xilinx_dsp48a_pm.h))
-$(eval $(call add_extra_objs,passes/pmgen/xilinx_dsp_CREG_pm.h))
-$(eval $(call add_extra_objs,passes/pmgen/xilinx_dsp_cascade_pm.h))
-
-# --------------------------------------
-
-OBJS += passes/pmgen/microchip_dsp.o
-GENFILES += passes/pmgen/microchip_dsp_pm.h
-GENFILES += passes/pmgen/microchip_dsp_CREG_pm.h
-GENFILES += passes/pmgen/microchip_dsp_cascade_pm.h
-passes/pmgen/microchip_dsp.o: passes/pmgen/microchip_dsp_pm.h passes/pmgen/microchip_dsp_CREG_pm.h passes/pmgen/microchip_dsp_cascade_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/microchip_dsp_pm.h))
-$(eval $(call add_extra_objs,passes/pmgen/microchip_dsp_CREG_pm.h))
-$(eval $(call add_extra_objs,passes/pmgen/microchip_dsp_cascade_pm.h))
-
-# --------------------------------------
-
-OBJS += passes/pmgen/peepopt.o
-GENFILES += passes/pmgen/peepopt_pm.h
-passes/pmgen/peepopt.o: passes/pmgen/peepopt_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/peepopt_pm.h))
-
-PEEPOPT_PATTERN  = passes/pmgen/peepopt_shiftmul_right.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_shiftmul_left.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_shiftadd.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_muldiv.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_formal_clockgateff.pmg
-
-passes/pmgen/peepopt_pm.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)
-	$(P) mkdir -p passes/pmgen && $(PYTHON_EXECUTABLE) $< -o $@ -p peepopt $(filter-out $<,$^)
-
-# --------------------------------------
-
-OBJS += passes/pmgen/xilinx_srl.o
-GENFILES += passes/pmgen/xilinx_srl_pm.h
-passes/pmgen/xilinx_srl.o: passes/pmgen/xilinx_srl_pm.h
-$(eval $(call add_extra_objs,passes/pmgen/xilinx_srl_pm.h))
diff --git a/passes/pmgen/README.md b/passes/pmgen/README.md
@@ -22,7 +22,7 @@ list of cells from that module:
     foobar_pm pm(module, module->selected_cells());
 
 The caller must make sure that none of the cells in the 2nd argument are
-deleted for as long as the patter matcher instance is used.
+deleted for as long as the pattern matcher instance is used.
 
 At any time it is possible to disable cells, preventing them from showing
 up in any future matches:

diff --git a/passes/pmgen/test_pmgen.cc b/passes/pmgen/test_pmgen.cc
@@ -24,8 +24,8 @@ USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
 #include "passes/pmgen/test_pmgen_pm.h"
-#include "passes/pmgen/ice40_dsp_pm.h"
-#include "passes/pmgen/xilinx_srl_pm.h"
+#include "techlibs/ice40/ice40_dsp_pm.h"
+#include "techlibs/xilinx/xilinx_srl_pm.h"
 
 #include "generate.h"
 

diff --git a/techlibs/.gitignore b/techlibs/.gitignore
@@ -1 +1,2 @@
 blackbox.v
+*_pm.h
diff --git a/techlibs/ice40/Makefile.inc b/techlibs/ice40/Makefile.inc
@@ -14,3 +14,13 @@ $(eval $(call add_share_file,share/ice40,techlibs/ice40/spram.txt))
 $(eval $(call add_share_file,share/ice40,techlibs/ice40/spram_map.v))
 $(eval $(call add_share_file,share/ice40,techlibs/ice40/dsp_map.v))
 $(eval $(call add_share_file,share/ice40,techlibs/ice40/abc9_model.v))
+
+OBJS += techlibs/ice40/ice40_dsp.o
+GENFILES += techlibs/ice40/ice40_dsp_pm.h
+techlibs/ice40/ice40_dsp.o: techlibs/ice40/ice40_dsp_pm.h
+$(eval $(call add_extra_objs,techlibs/ice40/ice40_dsp_pm.h))
+
+OBJS += techlibs/ice40/ice40_wrapcarry.o
+GENFILES += techlibs/ice40/ice40_wrapcarry_pm.h
+techlibs/ice40/ice40_wrapcarry.o: techlibs/ice40/ice40_wrapcarry_pm.h
+$(eval $(call add_extra_objs,techlibs/ice40/ice40_wrapcarry_pm.h))
diff --git a/passes/pmgen/ice40_dsp.cc → techlibs/ice40/ice40_dsp.cc b/passes/pmgen/ice40_dsp.cc → techlibs/ice40/ice40_dsp.cc
@@ -23,7 +23,7 @@
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-#include "passes/pmgen/ice40_dsp_pm.h"
+#include "techlibs/ice40/ice40_dsp_pm.h"
 
 void create_ice40_dsp(ice40_dsp_pm &pm)
 {

diff --git a/passes/pmgen/ice40_dsp.pmg → techlibs/ice40/ice40_dsp.pmg b/passes/pmgen/ice40_dsp.pmg → techlibs/ice40/ice40_dsp.pmg
diff --git a/passes/pmgen/ice40_wrapcarry.cc → techlibs/ice40/ice40_wrapcarry.cc b/passes/pmgen/ice40_wrapcarry.cc → techlibs/ice40/ice40_wrapcarry.cc
@@ -23,7 +23,7 @@
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-#include "passes/pmgen/ice40_wrapcarry_pm.h"
+#include "techlibs/ice40/ice40_wrapcarry_pm.h"
 
 void create_ice40_wrapcarry(ice40_wrapcarry_pm &pm)
 {

diff --git a/passes/pmgen/ice40_wrapcarry.pmg → techlibs/ice40/ice40_wrapcarry.pmg b/passes/pmgen/ice40_wrapcarry.pmg → techlibs/ice40/ice40_wrapcarry.pmg
diff --git a/techlibs/microchip/Makefile.inc b/techlibs/microchip/Makefile.inc
@@ -29,3 +29,12 @@ $(eval $(call add_share_file,share/microchip,techlibs/microchip/LSRAM_map.v))
 $(eval $(call add_share_file,share/microchip,techlibs/microchip/LSRAM.txt))
 $(eval $(call add_share_file,share/microchip,techlibs/microchip/uSRAM_map.v))
 $(eval $(call add_share_file,share/microchip,techlibs/microchip/uSRAM.txt))
+
+OBJS += techlibs/microchip/microchip_dsp.o
+GENFILES += techlibs/microchip/microchip_dsp_pm.h
+GENFILES += techlibs/microchip/microchip_dsp_CREG_pm.h
+GENFILES += techlibs/microchip/microchip_dsp_cascade_pm.h
+techlibs/microchip/microchip_dsp.o: techlibs/microchip/microchip_dsp_pm.h techlibs/microchip/microchip_dsp_CREG_pm.h techlibs/microchip/microchip_dsp_cascade_pm.h
+$(eval $(call add_extra_objs,techlibs/microchip/microchip_dsp_pm.h))
+$(eval $(call add_extra_objs,techlibs/microchip/microchip_dsp_CREG_pm.h))
+$(eval $(call add_extra_objs,techlibs/microchip/microchip_dsp_cascade_pm.h))
diff --git a/passes/pmgen/microchip_dsp.cc → techlibs/microchip/microchip_dsp.cc b/passes/pmgen/microchip_dsp.cc → techlibs/microchip/microchip_dsp.cc
@@ -23,9 +23,9 @@ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-#include "passes/pmgen/microchip_dsp_CREG_pm.h"
-#include "passes/pmgen/microchip_dsp_cascade_pm.h"
-#include "passes/pmgen/microchip_dsp_pm.h"
+#include "techlibs/microchip/microchip_dsp_CREG_pm.h"
+#include "techlibs/microchip/microchip_dsp_cascade_pm.h"
+#include "techlibs/microchip/microchip_dsp_pm.h"
 
 void microchip_dsp_pack(microchip_dsp_pm &pm)
 {

diff --git a/passes/pmgen/microchip_dsp.pmg → techlibs/microchip/microchip_dsp.pmg b/passes/pmgen/microchip_dsp.pmg → techlibs/microchip/microchip_dsp.pmg
diff --git a/passes/pmgen/microchip_dsp_CREG.pmg → techlibs/microchip/microchip_dsp_CREG.pmg b/passes/pmgen/microchip_dsp_CREG.pmg → techlibs/microchip/microchip_dsp_CREG.pmg
diff --git a/passes/pmgen/microchip_dsp_cascade.pmg → techlibs/microchip/microchip_dsp_cascade.pmg b/passes/pmgen/microchip_dsp_cascade.pmg → techlibs/microchip/microchip_dsp_cascade.pmg
diff --git a/techlibs/xilinx/Makefile.inc b/techlibs/xilinx/Makefile.inc
@@ -46,3 +46,19 @@ $(eval $(call add_share_file,share/xilinx,techlibs/xilinx/xc7_dsp_map.v))
 $(eval $(call add_share_file,share/xilinx,techlibs/xilinx/xcu_dsp_map.v))
 
 $(eval $(call add_share_file,share/xilinx,techlibs/xilinx/abc9_model.v))
+
+OBJS += techlibs/xilinx/xilinx_dsp.o
+GENFILES += techlibs/xilinx/xilinx_dsp_pm.h
+GENFILES += techlibs/xilinx/xilinx_dsp48a_pm.h
+GENFILES += techlibs/xilinx/xilinx_dsp_CREG_pm.h
+GENFILES += techlibs/xilinx/xilinx_dsp_cascade_pm.h
+techlibs/xilinx/xilinx_dsp.o: techlibs/xilinx/xilinx_dsp_pm.h techlibs/xilinx/xilinx_dsp48a_pm.h techlibs/xilinx/xilinx_dsp_CREG_pm.h techlibs/xilinx/xilinx_dsp_cascade_pm.h
+$(eval $(call add_extra_objs,techlibs/xilinx/xilinx_dsp_pm.h))
+$(eval $(call add_extra_objs,techlibs/xilinx/xilinx_dsp48a_pm.h))
+$(eval $(call add_extra_objs,techlibs/xilinx/xilinx_dsp_CREG_pm.h))
+$(eval $(call add_extra_objs,techlibs/xilinx/xilinx_dsp_cascade_pm.h))
+
+OBJS += techlibs/xilinx/xilinx_srl.o
+GENFILES += techlibs/xilinx/xilinx_srl_pm.h
+techlibs/xilinx/xilinx_srl.o: techlibs/xilinx/xilinx_srl_pm.h
+$(eval $(call add_extra_objs,techlibs/xilinx/xilinx_srl_pm.h))
diff --git a/passes/pmgen/xilinx_dsp.cc → techlibs/xilinx/xilinx_dsp.cc b/passes/pmgen/xilinx_dsp.cc → techlibs/xilinx/xilinx_dsp.cc
@@ -25,10 +25,10 @@
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-#include "passes/pmgen/xilinx_dsp_pm.h"
-#include "passes/pmgen/xilinx_dsp48a_pm.h"
-#include "passes/pmgen/xilinx_dsp_CREG_pm.h"
-#include "passes/pmgen/xilinx_dsp_cascade_pm.h"
+#include "techlibs/xilinx/xilinx_dsp_pm.h"
+#include "techlibs/xilinx/xilinx_dsp48a_pm.h"
+#include "techlibs/xilinx/xilinx_dsp_CREG_pm.h"
+#include "techlibs/xilinx/xilinx_dsp_cascade_pm.h"
 
 static Cell* addDsp(Module *module) {
 	Cell *cell = module->addCell(NEW_ID, ID(DSP48E1));

diff --git a/passes/pmgen/xilinx_dsp.pmg → techlibs/xilinx/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg → techlibs/xilinx/xilinx_dsp.pmg
diff --git a/passes/pmgen/xilinx_dsp48a.pmg → techlibs/xilinx/xilinx_dsp48a.pmg b/passes/pmgen/xilinx_dsp48a.pmg → techlibs/xilinx/xilinx_dsp48a.pmg
diff --git a/passes/pmgen/xilinx_dsp_CREG.pmg → techlibs/xilinx/xilinx_dsp_CREG.pmg b/passes/pmgen/xilinx_dsp_CREG.pmg → techlibs/xilinx/xilinx_dsp_CREG.pmg
diff --git a/passes/pmgen/xilinx_dsp_cascade.pmg → techlibs/xilinx/xilinx_dsp_cascade.pmg b/passes/pmgen/xilinx_dsp_cascade.pmg → techlibs/xilinx/xilinx_dsp_cascade.pmg
diff --git a/passes/pmgen/xilinx_srl.cc → techlibs/xilinx/xilinx_srl.cc b/passes/pmgen/xilinx_srl.cc → techlibs/xilinx/xilinx_srl.cc
@@ -24,7 +24,7 @@
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-#include "passes/pmgen/xilinx_srl_pm.h"
+#include "techlibs/xilinx/xilinx_srl_pm.h"
 
 void run_fixed(xilinx_srl_pm &pm)
 {

diff --git a/passes/pmgen/xilinx_srl.pmg → techlibs/xilinx/xilinx_srl.pmg b/passes/pmgen/xilinx_srl.pmg → techlibs/xilinx/xilinx_srl.pmg