From c23e64a236b7065ac38b113247dffab6067e746b Mon Sep 17 00:00:00 2001
From: George Rennie <georgerennie@gmail.com>
Date: Thu, 7 Nov 2024 00:10:17 +0100
Subject: [PATCH] tests/proc: add proc_dff bug 4712 as testcase

---
 tests/proc/bug4712.ys | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 tests/proc/bug4712.ys

diff --git a/tests/proc/bug4712.ys b/tests/proc/bug4712.ys
new file mode 100644
index 000000000..2fe78e217
--- /dev/null
+++ b/tests/proc/bug4712.ys
@@ -0,0 +1,31 @@
+read_rtlil <<EOT
+autoidx 1
+module \top
+  wire input 1 \clk
+  wire input 2 \rst
+
+  wire input 3 \a_r
+  wire input 4 \a_n
+  wire input 5 \b_n
+
+  wire \a
+  wire \b
+
+  process $proc
+    sync high \rst
+      update \a \a_r
+      update \b \b
+    sync posedge \clk
+      update \a \a_n
+      update \b \b_n
+  end
+end
+EOT
+
+proc_dff
+proc_clean
+
+# Processes should have been converted to one aldff and one dff
+select -assert-none p:*
+select -assert-count 1 t:$aldff
+select -assert-count 1 t:$dff