back.rtlil: do not squash empty modules.
authorwhitequark <whitequark@whitequark.org>
Wed, 26 Aug 2020 22:45:19 +0000 (22:45 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 15:06:50 +0000 (15:06 +0000)
commit5fc7ae9be74e87e5ad08f19a2a91c31094a8d474
treed9d50dcacab9d9d98b320a9763a8e1b18c27975b
parentd2eb7031fe2ec5f1614a91746ff5c6c96c88dd93
back.rtlil: do not squash empty modules.

In commit 9faa1d37, the RTLIL backend was changed to ignore modules
without ports completely, since Yosys would recognize empty modules
as black boxes without explicit `write_verilog -noblackbox` and break
the design. That change had many flaws:
  * It removed instances without ports, which are used in e.g. SoC
    FPGAs to instantiate a dummy CPU.
  * It removed fragments without ports, which can appear in e.g. SoC
    FPGAs in case the fabric is not connected to any I/O ports.
  * Finally, it was just conceptually unjustified.

This commit changes the logic to actually check for empty fragments,
and instead of removing them, it adds a dummy wire inside. It would
be possible to use the Yosys-specific (*noblackbox*) attribute.
However, it would be necessary to strip it for most targets right
away, and also the wire doubles as documentation.

Fixes #441.
nmigen/back/rtlil.py