From 5f59427f13b06ad2ad01e4b9b35a7c210f21a5f2 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Tue, 5 Nov 2019 09:39:50 -0800
Subject: Move CheckResets after CheckCombLoops (#1224)

Recursive literal lookup needs to be guarded against combinational loops
Added a test-case to illustrate the issue when CheckResets is run before CheckCombLoops---
 src/test/scala/firrtlTests/AsyncResetSpec.scala | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/AsyncResetSpec.scala b/src/test/scala/firrtlTests/AsyncResetSpec.scala
index 8ad397b3..ed90954b 100644
--- a/src/test/scala/firrtlTests/AsyncResetSpec.scala
+++ b/src/test/scala/firrtlTests/AsyncResetSpec.scala
@@ -231,6 +231,22 @@ class AsyncResetSpec extends FirrtlFlatSpec {
     result should containLine ("always @(posedge clock or posedge reset) begin")
   }
 
+  "CheckResets" should "NOT raise StackOverflow Exception on Combinational Loops (should be caught by firrtl.transforms.CheckCombLoops)" in {
+    an [firrtl.transforms.CheckCombLoops.CombLoopException] shouldBe thrownBy {
+      compileBody(s"""
+        |input clock : Clock
+        |input reset : AsyncReset
+        |wire x : UInt<1>
+        |wire y : UInt<2>
+        |x <= UInt<1>("h01")
+        |node ad = add(x, y)
+        |node adt = tail(ad, 1)
+        |y <= adt
+        |reg r : UInt, clock with : (reset => (reset, y))
+        |""".stripMargin
+      )
+    }
+  }
 
   "Every async reset reg" should "generate its own always block" in {
     val result = compileBody(s"""
-- 
cgit v1.2.3