From 3c1f8dc37a554bc5a5d087a6ae8253dc6021c9ed Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 26 Jul 2022 22:02:34 +0200
Subject: testsuite/synth: add a test for #2140

---
 testsuite/synth/issue2140/bug.vhdl     | 68 ++++++++++++++++++++++++++++++++++
 testsuite/synth/issue2140/testsuite.sh |  9 +++++
 2 files changed, 77 insertions(+)
 create mode 100644 testsuite/synth/issue2140/bug.vhdl
 create mode 100755 testsuite/synth/issue2140/testsuite.sh

(limited to 'testsuite/synth')

diff --git a/testsuite/synth/issue2140/bug.vhdl b/testsuite/synth/issue2140/bug.vhdl
new file mode 100644
index 000000000..bfb18a550
--- /dev/null
+++ b/testsuite/synth/issue2140/bug.vhdl
@@ -0,0 +1,68 @@
+library IEEE;
+use IEEE.std_logic_1164.all;
+use IEEE.numeric_std.all;
+
+entity sub is
+	port (
+		clk       :  in std_ulogic;
+		reset_n   :  in std_ulogic;
+
+		src_valid :  in std_ulogic;
+		src_ready : out std_ulogic
+	);
+end sub;
+
+architecture rtl of sub is
+begin
+end architecture;
+
+library IEEE;
+use IEEE.std_logic_1164.all;
+use IEEE.numeric_std.all;
+
+entity bug is
+	port(
+		clk     : in std_ulogic;
+		reset_n : in std_ulogic
+	);
+end bug;
+
+architecture struct of bug is
+	signal filtered_src_valid       : std_ulogic;
+	signal filtered_src_ready       : std_ulogic;
+	
+	signal pipeline_src_valid       : std_ulogic;
+	signal pipeline_src_ready       : std_ulogic;
+	
+	type state_t is (idle, active);
+	signal state : state_t;
+begin
+
+pipeline_src_valid <= filtered_src_valid when (state = idle) or (state = active) else '0';
+
+process(clk, reset_n)
+begin
+	if reset_n = '0' then
+	elsif rising_edge(clk) then
+		if state = idle then
+			if filtered_src_valid = '1' and filtered_src_ready = '1'  then
+				state <= active;
+			end if;
+		elsif state = active then
+			if pipeline_src_valid = '1' and pipeline_src_ready = '1'  then
+				state <= idle;
+			end if;
+		end if;
+	end if;
+end process;
+
+pipeline : entity work.sub
+	port map(
+		clk      => clk,
+		reset_n  => reset_n,
+
+		src_valid => pipeline_src_valid,
+		src_ready => pipeline_src_ready
+	);
+
+end architecture;
diff --git a/testsuite/synth/issue2140/testsuite.sh b/testsuite/synth/issue2140/testsuite.sh
new file mode 100755
index 000000000..2be3b2f1a
--- /dev/null
+++ b/testsuite/synth/issue2140/testsuite.sh
@@ -0,0 +1,9 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+synth_analyze bug
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3