From bf0ea92752cfb3db1797b8ffc8ff0c776552b1cf Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Wed, 5 Feb 2020 18:50:25 -0700
Subject: Emit 'else' case for trivial-valued async reset regs to avoid latches
 (#1359)

---
 src/test/scala/firrtlTests/AsyncResetSpec.scala | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/AsyncResetSpec.scala b/src/test/scala/firrtlTests/AsyncResetSpec.scala
index f347ec14..98d51ac8 100644
--- a/src/test/scala/firrtlTests/AsyncResetSpec.scala
+++ b/src/test/scala/firrtlTests/AsyncResetSpec.scala
@@ -319,6 +319,29 @@ class AsyncResetSpec extends FirrtlFlatSpec {
     )
   }
 
+  "AsyncReset registers" should "emit 'else' case for reset even for trivial valued registers" in {
+    val withDontTouch = s"""
+      |circuit m :
+      |  module m :
+      |    input clock : Clock
+      |    input reset : AsyncReset
+      |    input x : UInt<8>
+      |    reg r : UInt<8>, clock with : (reset => (reset, UInt(123)))
+      |""".stripMargin
+    val annos = Seq(dontTouch("m.r")) // dontTouch prevents ConstantPropagation from fixing this problem
+    val result = (new VerilogCompiler).compileAndEmit(CircuitState(parse(withDontTouch), ChirrtlForm, annos))
+    result should containLines (
+       "always @(posedge clock or posedge reset) begin",
+       "if (reset) begin",
+       "r <= 8'h7b;",
+       "end else begin",
+       "r <= 8'h7b;",
+       "end",
+       "end"
+     )
+
+  }
+
 }
 
 class AsyncResetExecutionTest extends ExecutionTest("AsyncResetTester", "/features")
-- 
cgit v1.2.3