diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/synth/issue1210/bug.vhdl | 15 | ||||
| -rwxr-xr-x | testsuite/synth/issue1210/testsuite.sh | 7 |
2 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/synth/issue1210/bug.vhdl b/testsuite/synth/issue1210/bug.vhdl new file mode 100644 index 000000000..2bd385609 --- /dev/null +++ b/testsuite/synth/issue1210/bug.vhdl @@ -0,0 +1,15 @@ +library IEEE; +use IEEE.std_logic_1164.all; +use IEEE.math_real.all; + +entity bug is + port ( + dummy : in std_ulogic + ); +end entity; + +architecture rtl of bug is + constant a : real := floor(15.0/4.0); + constant b : real := ceil(15.0/4.0); +begin +end architecture; diff --git a/testsuite/synth/issue1210/testsuite.sh b/testsuite/synth/issue1210/testsuite.sh new file mode 100755 index 000000000..6f3c0d0e6 --- /dev/null +++ b/testsuite/synth/issue1210/testsuite.sh @@ -0,0 +1,7 @@ +#! /bin/sh + +. ../../testenv.sh + +synth bug.vhdl -e > syn_bug.vhdl + +echo "Test successful" |