[firtool] verify that comb loop checking resolves last connects

2024-06-17 19:13:05 -07:00 · 2024-06-17 19:13:05 -07:00 · 28986b8b98
parent baec1a1db1
commit 28986b8b98
1 changed files with 12 additions and 0 deletions
--- a/test/firtool/combinational-loops.fir
+++ b/test/firtool/combinational-loops.fir
@ -0,0 +1,12 @@
+; RUN: firtool %s -split-input-file -verify-diagnostics
+
+; Check that we resolve last connect semantics before detecting combinational
+; loops.
+FIRRTL version 4.0.0
+circuit CombinationalLoop:
+  public module CombinationalLoop:
+    output o : UInt<1>
+    wire w : UInt<1>
+    connect w, w
+    connect w, UInt<1>(0)
+    connect o, w