diff options
-rw-r--r-- | testsuite/gna/issue1640/test.vhdl | 30 | ||||
-rwxr-xr-x | testsuite/gna/issue1640/testsuite.sh | 9 |
2 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/gna/issue1640/test.vhdl b/testsuite/gna/issue1640/test.vhdl new file mode 100644 index 000000000..d0db05141 --- /dev/null +++ b/testsuite/gna/issue1640/test.vhdl @@ -0,0 +1,30 @@ +package cpu_types is + + constant word_size : positive := 2147483649; + constant address_size : positive := 24; + + subtype word is bit_vector(word_size - 1 downto 0); + subtype address is bit_vector(address_size - 1 downto 0); + + type status_value is ( halted, idle, fetch, mem_read, mem_write, + io_read, io_write, int_ack ); + +end package cpu_types; + +-- end code from book + + + +package fg_08_01 is + + constant status : + -- code from book + work.cpu_types.status_value + -- end code from book + := + -- code from book + work.cpu_types.status_value'(work.cpu_types.fetch) + -- end code from book + ; + +end package fg_08_01; diff --git a/testsuite/gna/issue1640/testsuite.sh b/testsuite/gna/issue1640/testsuite.sh new file mode 100755 index 000000000..f8534f54e --- /dev/null +++ b/testsuite/gna/issue1640/testsuite.sh @@ -0,0 +1,9 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze test.vhdl + +clean + +echo "Test successful" |