From 519e8c8dea592d2faf949a1a1aa49ea303bd1c72 Mon Sep 17 00:00:00 2001 From: David Biancolin Date: Wed, 29 Sep 2021 16:58:10 -0700 Subject: TopWiring: filter out unnamed declarations when building source lists (#2376) * Demonstrate a couple failing cases * Have TopWiring ignore unnamed declarations as potential sources--- src/test/scala/firrtlTests/transforms/TopWiringTest.scala | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/test') diff --git a/src/test/scala/firrtlTests/transforms/TopWiringTest.scala b/src/test/scala/firrtlTests/transforms/TopWiringTest.scala index eb404393..1cee9f74 100644 --- a/src/test/scala/firrtlTests/transforms/TopWiringTest.scala +++ b/src/test/scala/firrtlTests/transforms/TopWiringTest.scala @@ -635,6 +635,17 @@ class TopWiringTests extends MiddleTransformSpec with TopWiringTestsCommon { outputState.circuit.serialize should include("output bar_foo") outputState.annotations.toSeq should be(empty) } + + "Unnamed side-affecting statements" should s"not be included as potential sources" in { + val input = + """circuit Top : + | module Top : + | input clock : Clock + | printf(clock, UInt<1>(1), "") + | stop(clock, UInt<1>(1), 1) + |""".stripMargin + execute(input, input, Seq()) + } } class AggregateTopWiringTests extends MiddleTransformSpec with TopWiringTestsCommon { -- cgit v1.2.3