From 5a89fca6090948d0a99c217a09c692e58a20d1df Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Wed, 17 Feb 2021 12:16:52 -0800
Subject: Allow Side Effecting Statement to have Names (#2057)

* firrtl: add optional statement labels for stop, printf, assert, assume and cover

* test: parsing of statement labels

* ir: ensure that name is properly retained

* SymbolTable: add support for labled statements

* test: parsing statement labels

* test: lower types name collisions with named statements

* ignore empty names

* Inline: deal with named and unnamed statements

* RemoveWires: treat stop, printf and verification statements as "others"

* test: fix InlineInstance tests

* DeadCodeEliminations: statements are now als declarations

* CheckHighForm: ensure that statement names are not used as references

* CheckSpec: throw error if statement name collides

* add pass to automatically add missing statement names

* check: make sure that two statements cannot have the same name

* stmtLabel -> stmtName

* scalafmt

* add statement names to spec

* spec: meta data -> metadata

* EnsureStatementNames: explain naming algorithm

* remove returns

* better namespace use

* ir: add CanBeReferenced trait

* ir: add newline as jack requested---
 .../transforms/EnsureNamedStatementsSpec.scala     | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 src/test/scala/firrtl/transforms/EnsureNamedStatementsSpec.scala

(limited to 'src/test/scala/firrtl/transforms')

diff --git a/src/test/scala/firrtl/transforms/EnsureNamedStatementsSpec.scala b/src/test/scala/firrtl/transforms/EnsureNamedStatementsSpec.scala
new file mode 100644
index 00000000..4c993994
--- /dev/null
+++ b/src/test/scala/firrtl/transforms/EnsureNamedStatementsSpec.scala
@@ -0,0 +1,39 @@
+// SPDX-License-Identifier: Apache-2.0
+
+package firrtl.transforms
+
+import firrtl.options.Dependency
+import firrtl.testutils.LeanTransformSpec
+
+class EnsureNamedStatementsSpec extends LeanTransformSpec(Seq(Dependency(EnsureNamedStatements))) {
+  behavior.of("EnsureNamedStatements")
+
+  it should "automatically name statements that do not have a name yet" in {
+    val src = """circuit test :
+                |  module test :
+                |    input clock : Clock
+                |    input stop_ : UInt<1>
+                |    assert(clock, UInt(1), not(UInt(0)), "")
+                |    stop(clock, UInt(1), 1) : stop_123
+                |    stop(clock, UInt(1), 1)
+                |    assert(clock, UInt(0), UInt(0), "")
+                |    assume(clock, UInt(0), UInt(0), "")
+                |    cover(clock, UInt(0), UInt(0), "")
+                |    cover(clock, UInt(0), UInt(0), "")
+                |
+                |""".stripMargin
+
+    val result = compile(src, List()).circuit.serialize.split('\n').map(_.trim)
+
+    val expected = List(
+      """assert(clock, UInt<1>("h1"), not(UInt<1>("h0")), "") : assert_0""",
+      """stop(clock, UInt<1>("h1"), 1) : stop_123""",
+      """stop(clock, UInt<1>("h1"), 1) : stop_0""",
+      """assert(clock, UInt<1>("h0"), UInt<1>("h0"), "") : assert_1""",
+      """assume(clock, UInt<1>("h0"), UInt<1>("h0"), "") : assume_0""",
+      """cover(clock, UInt<1>("h0"), UInt<1>("h0"), "") : cover_0""",
+      """cover(clock, UInt<1>("h0"), UInt<1>("h0"), "") : cover_1"""
+    )
+    expected.foreach(e => assert(result.contains(e)))
+  }
+}
-- 
cgit v1.2.3