testsuite/synth: add tests for static numeric std.

1 files changed, 19 insertions, 0 deletions

diff --git a/testsuite/synth/oper01/snum01.vhdl b/testsuite/synth/oper01/snum01.vhdl
new file mode 100644
index 000000000..b9dee13a4
--- /dev/null
+++ b/testsuite/synth/oper01/snum01.vhdl
@@ -0,0 +1,19 @@
+entity snum01 is
+  port (ok : out boolean);
+end snum01;
+
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+architecture behav of snum01 is
+  --  add uns uns
+  constant a : unsigned (7 downto 0) := x"1e";
+  constant b : unsigned (3 downto 0) := x"2";
+  constant r1 : unsigned (7 downto 0) := a + b;
+  signal er1 : unsigned (7 downto 0);
+begin
+  er1 <= x"20";
+--  ok <= r1 = x"20";
+  ok <= r1 = er1;
+end behav;