testsuite/gna: add more tests for #641

From SynthWorks

4 files changed, 71 insertions, 0 deletions

diff --git a/testsuite/gna/issue641/test_1a_unsigned_port/TbTest.vhd b/testsuite/gna/issue641/test_1a_unsigned_port/TbTest.vhd
new file mode 100644
index 000000000..e24014577
--- /dev/null
+++ b/testsuite/gna/issue641/test_1a_unsigned_port/TbTest.vhd
@@ -0,0 +1,34 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+use work.TestPkg.all ;
+
+entity TbTest is
+end entity TbTest;
+
+architecture rtl of TbTest is
+
+  component test is
+    port(
+      input : in unsigned);
+  end component test;
+
+  signal Fred : unsigned(7 downto 0) ;
+begin
+  test_1 : test 
+    port map (
+      input => Fred 
+    );
+  
+  process 
+  begin 
+    Fred <= X"00" ;
+    wait for 1 ns ;
+    for i in 1 to 10 loop
+      Fred <= X"00" + i ; 
+      wait for 1 ns ;
+    end loop ;
+    std.env.stop ;
+  end process ; 
+end architecture;
\ No newline at end of file
diff --git a/testsuite/gna/issue641/test_1a_unsigned_port/Test.vhd b/testsuite/gna/issue641/test_1a_unsigned_port/Test.vhd
new file mode 100644
index 000000000..2d2f85cfc
--- /dev/null
+++ b/testsuite/gna/issue641/test_1a_unsigned_port/Test.vhd
@@ -0,0 +1,24 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+use work.TestPkg.all ;
+
+entity test is
+  port(
+    input : in unsigned
+  );
+end entity;
+
+architecture rtl of test is
+  signal copy : input'subtype;
+begin
+  copy <= input ;
+  
+  process 
+  begin 
+    wait on copy ;  -- Suppress first run
+    report "Copy = " & to_hstring(Copy) ; 
+  end process ; 
+  
+end architecture;
\ No newline at end of file
diff --git a/testsuite/gna/issue641/test_1a_unsigned_port/TestPkg.vhd b/testsuite/gna/issue641/test_1a_unsigned_port/TestPkg.vhd
new file mode 100644
index 000000000..879e0315a
--- /dev/null
+++ b/testsuite/gna/issue641/test_1a_unsigned_port/TestPkg.vhd
@@ -0,0 +1,7 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+package TestPkg is
+
+end package TestPkg ; 
diff --git a/testsuite/gna/issue641/test_1a_unsigned_port/test_1a_unsigned_port.pro b/testsuite/gna/issue641/test_1a_unsigned_port/test_1a_unsigned_port.pro
new file mode 100644
index 000000000..e93963344
--- /dev/null
+++ b/testsuite/gna/issue641/test_1a_unsigned_port/test_1a_unsigned_port.pro
@@ -0,0 +1,6 @@
+library default
+
+analyze TestPkg.vhd
+analyze Test.vhd
+analyze TbTest.vhd
+simulate TbTest
\ No newline at end of file