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/main/scala/firrtl/LoweringCompilers.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main')

diff --git a/src/main/scala/firrtl/LoweringCompilers.scala b/src/main/scala/firrtl/LoweringCompilers.scala
index 75645319..0d9b971b 100644
--- a/src/main/scala/firrtl/LoweringCompilers.scala
+++ b/src/main/scala/firrtl/LoweringCompilers.scala
@@ -71,7 +71,6 @@ class HighFirrtlToMiddleFirrtl extends CoreTransform {
     passes.ResolveKinds,
     passes.InferTypes,
     passes.CheckTypes,
-    new checks.CheckResets,
     passes.ResolveFlows,
     new passes.InferWidths,
     passes.CheckWidths,
@@ -97,6 +96,7 @@ class MiddleFirrtlToLowFirrtl extends CoreTransform {
     passes.Legalize,
     new firrtl.transforms.RemoveReset,
     new firrtl.transforms.CheckCombLoops,
+    new checks.CheckResets,
     new firrtl.transforms.RemoveWires)
 }
 
-- 
cgit v1.2.3