From 9c28b61d9f1025c336b5f47ab714495d862c152a Mon Sep 17 00:00:00 2001 From: whitequark Date: Sat, 3 Aug 2019 16:39:21 +0000 Subject: [PATCH] hdl.ir: don't expose as ports missing domains added via elaboratables. The elaboratable is already likely driving the clk/rst signals in some way appropriate for the platform; if we expose them as ports nevertheless it will cause problems downstream. --- nmigen/hdl/ir.py | 4 +++- nmigen/test/test_hdl_ir.py | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/nmigen/hdl/ir.py b/nmigen/hdl/ir.py index db5693f..370b255 100644 --- a/nmigen/hdl/ir.py +++ b/nmigen/hdl/ir.py @@ -364,6 +364,9 @@ class Fragment: raise DomainError("Domain '{}' is used but not defined".format(domain_name)) if type(value) is ClockDomain: domain = value + # Only expose ports on clock domains returned directly, i.e. not as a part of + # a fragment driving that domain. + new_domains.append(domain) else: new_fragment = Fragment.get(value, platform=None) if new_fragment.domains.keys() != {domain_name}: @@ -377,7 +380,6 @@ class Fragment: self.add_subfragment(new_fragment) domain = new_fragment.domains[domain_name] self.add_domains(domain) - new_domains.append(domain) return new_domains def _propagate_domains(self, missing_domain): diff --git a/nmigen/test/test_hdl_ir.py b/nmigen/test/test_hdl_ir.py index 5763380..d6c43be 100644 --- a/nmigen/test/test_hdl_ir.py +++ b/nmigen/test/test_hdl_ir.py @@ -415,7 +415,7 @@ class FragmentDomainsTestCase(FHDLTestCase): new_domains = f1._propagate_domains(missing_domain=lambda name: f2) self.assertEqual(f1.domains.keys(), {"sync"}) self.assertEqual(f1.domains["sync"], f2.domains["sync"]) - self.assertEqual(new_domains, [f1.domains["sync"]]) + self.assertEqual(new_domains, []) self.assertEqual(f1.subfragments, [ (f2, None) ]) -- 2.30.2