testsuite/gna: add test for #1687

3 files changed, 43 insertions, 0 deletions

diff --git a/testsuite/gna/issue1687/ent.vhdl b/testsuite/gna/issue1687/ent.vhdl
new file mode 100644
index 000000000..1ccfdde1e
--- /dev/null
+++ b/testsuite/gna/issue1687/ent.vhdl
@@ -0,0 +1,16 @@
+use work.pack_RC_Add_n_F.all;
+
+entity RC_Add_n_F is
+    generic(n : natural := 4);
+    port(A, B : in bit_vector(n-1 downto 0); Cin: in bit; Sum: out bit_vector(n-1 downto 0); Cout: out bit);
+end RC_Add_n_F;
+
+architecture Arch_RC_Add_n_F of RC_Add_n_F is
+    signal result: bit_vector(n downto 0);
+begin
+    -- result <= RC_Add_n(A(3 downto 0), B, Cin);                               -- Works
+    -- result <= RC_Add_n(A => A(3 downto 0), B => B, Cin => Cin);              -- Works
+    result <= RC_Add_n(A(3 downto 0) => A(3 downto 0), B => B, Cin => Cin);     -- Fails
+    Sum <= result(n-1 downto 0);
+    Cout <= result(n);
+end Arch_RC_Add_n_F;
diff --git a/testsuite/gna/issue1687/pkg.vhdl b/testsuite/gna/issue1687/pkg.vhdl
new file mode 100644
index 000000000..0e2b87c00
--- /dev/null
+++ b/testsuite/gna/issue1687/pkg.vhdl
@@ -0,0 +1,17 @@
+package pack_RC_Add_n_F is
+    function RC_Add_n( A, B :bit_vector; Cin : bit) return bit_vector;
+end pack_RC_Add_n_F;
+    
+package body pack_RC_Add_n_F is
+    function RC_Add_n( A, B :bit_vector; Cin : bit) return bit_vector is
+        variable C:bit := Cin;
+        variable SUM:bit_vector(A'length downto 0);
+    begin
+        loop_add_m: for I in 0 to A'length-1 loop
+            SUM(I) := (A(I) xor B(I)) xor C;
+            C := (A(I) and B(I)) or (C and (A(I) xor B(I) ));
+        end loop loop_add_m;
+        SUM(A'length) := C;
+        return SUM;
+    end RC_Add_n;
+end pack_RC_Add_n_F;
diff --git a/testsuite/gna/issue1687/testsuite.sh b/testsuite/gna/issue1687/testsuite.sh
new file mode 100755
index 000000000..0c596dd74
--- /dev/null
+++ b/testsuite/gna/issue1687/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze pkg.vhdl ent.vhdl
+elab_simulate_failure rc_add_n_f
+
+clean
+
+echo "Test successful"