testsuite/synth: add a regression test for previous commits.

1 files changed, 25 insertions, 0 deletions

diff --git a/testsuite/synth/int01/prio02.vhdl b/testsuite/synth/int01/prio02.vhdl
new file mode 100644
index 000000000..d6b164d19
--- /dev/null
+++ b/testsuite/synth/int01/prio02.vhdl
@@ -0,0 +1,25 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity prio02 is
+  port (dat : std_logic_vector(15 downto 0);
+        prio : out natural);
+end;
+
+architecture behav of prio02 is
+  function prioritize(b : std_logic_vector(15 downto 0)) return natural
+  is
+    variable level : integer range 0 to 15;
+  begin
+    level := 0;
+    for i in 15 downto 0 loop
+      level := i;
+      if b(i) = '1' then exit; end if;
+    end loop;
+    return level;
+  end;
+begin
+  prio <= prioritize (dat);
+end;
+