3 files changed, 70 insertions, 0 deletions
diff --git a/testsuite/synth/synth58/function_test.vhdl b/testsuite/synth/synth58/function_test.vhdl
new file mode 100644
index 000000000..a612fea10
--- /dev/null
+++ b/testsuite/synth/synth58/function_test.vhdl
@@ -0,0 +1,31 @@
+library ieee;
+  use ieee.std_logic_1164.all;
+
+entity function_test is
+  generic (
+    g : std_logic := '1'
+  );
+  port (
+    i : in std_logic_vector(7 downto 0);
+    o : out std_logic_vector(7 downto 0)
+  );
+end function_test;
+
+architecture rtl of function_test is
+
+  function assign_value(value : in std_logic_vector(7 downto 0);
+                        invert : in std_logic)
+                        return std_logic_vector is
+    variable slv_out : std_logic_vector(7 downto 0);
+  begin
+    if invert = '0' then
+      slv_out := value;
+    elsif invert = '1' then
+      slv_out := not value;
+    end if;
+    return slv_out;
+  end;
+
+begin
+  o <= assign_value(i, g);
+end rtl;
diff --git a/testsuite/synth/synth58/repro1.vhdl b/testsuite/synth/synth58/repro1.vhdl
new file mode 100644
index 000000000..391017cf3
--- /dev/null
+++ b/testsuite/synth/synth58/repro1.vhdl
@@ -0,0 +1,26 @@
+library ieee;
+  use ieee.std_logic_1164.all;
+
+entity repro1 is
+  generic (
+    g : std_logic := '1'
+  );
+  port (
+    i : in std_logic_vector(7 downto 0);
+    o : out std_logic_vector(7 downto 0)
+  );
+end repro1;
+
+architecture rtl of repro1 is
+begin
+  process (i)
+    variable slv_out : std_logic_vector(7 downto 0);
+  begin
+    if g = '0' then
+      slv_out := i;
+    elsif g = '1' then
+      slv_out := not i;
+    end if;
+    o <= slv_out;
+  end process;
+end rtl;
diff --git a/testsuite/synth/synth58/testsuite.sh b/testsuite/synth/synth58/testsuite.sh
new file mode 100755
index 000000000..041a83a72
--- /dev/null
+++ b/testsuite/synth/synth58/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+synth function_test.vhdl -e > syn_function_test.vhdl
+analyze syn_function_test.vhdl
+
+synth repro1.vhdl -e > syn_repro1.vhdl
+analyze syn_repro1.vhdl
+
+clean
+
+echo "Test successful"