testsuite/gna: add a test for #1771

1 files changed, 7 insertions, 0 deletions

diff --git a/testsuite/gna/issue1771/tf.vhdl b/testsuite/gna/issue1771/tf.vhdl
index 77039f15e..decc39a41 100644
--- a/testsuite/gna/issue1771/tf.vhdl
+++ b/testsuite/gna/issue1771/tf.vhdl
@@ -26,6 +26,13 @@ begin
     wait for 1 ns;
     assert z = eres;
     report to_bstring(z);
+
+    x := b"1101";
+    y := b"0111_000";
+    ci := '1';
+    add_carry (L => x, R => y, c_in => ci, result => z, c_out => co);
+    wait for 1 ns;
+    report "res=" & to_bstring(z) & ", co=" & to_string(co);
     wait;
   end process tt;
 end architecture testbench;