testsuite/synth: add tests for previous commit.

3 files changed, 67 insertions, 0 deletions

diff --git a/testsuite/synth/arr01/arr10.vhdl b/testsuite/synth/arr01/arr10.vhdl
new file mode 100644
index 000000000..4004b916b
--- /dev/null
+++ b/testsuite/synth/arr01/arr10.vhdl
@@ -0,0 +1,31 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity arr10 is
+  port (val : std_logic_vector(3 downto 0);
+        res : out natural);
+end arr10;
+
+architecture behav of arr10 is
+  function find (s : string; c : character) return natural is
+  begin
+    for i in s'range loop
+      if s (i) = c then
+        return i;
+      end if;
+    end loop;
+    return 0;
+  end find;
+
+  constant str1 : string := "hello world";
+  constant pos1 : natural := find (str1, 'w');
+
+  alias str2 : string (str1'length downto 1) is str1;
+  constant pos2 : natural := find (str2, 'w');
+begin
+  assert pos1 = 7;
+  assert pos2 = 5;
+  
+  res <= pos1;
+end behav;
diff --git a/testsuite/synth/arr01/arr11.vhdl b/testsuite/synth/arr01/arr11.vhdl
new file mode 100644
index 000000000..1b8c758a7
--- /dev/null
+++ b/testsuite/synth/arr01/arr11.vhdl
@@ -0,0 +1,33 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity arr11 is
+  port (val : std_logic_vector(3 downto 0);
+        res : out natural);
+end arr11;
+
+architecture behav of arr11 is
+  function find (s : string; c : character) return natural is
+  begin
+    for i in s'range loop
+      if s (i) = c then
+        return i;
+      end if;
+    end loop;
+    return 0;
+  end find;
+
+  constant str1 : string := "hello world";
+  constant pos1 : natural := find (str1, 'w');
+
+  alias str2 : string (str1'length downto 1) is str1;
+  constant str3 : string := str2;
+  
+  constant pos3 : natural := find (str3, 'w');
+begin
+  assert pos1 = 7;
+  assert pos3 = 5;
+  
+  res <= pos1;
+end behav;
diff --git a/testsuite/synth/arr01/testsuite.sh b/testsuite/synth/arr01/testsuite.sh
index 9e8ea74c5..04d7f4242 100755
--- a/testsuite/synth/arr01/testsuite.sh
+++ b/testsuite/synth/arr01/testsuite.sh
@@ -6,4 +6,7 @@ for t in arr01 arr02 arr04 arr05 arr06 arr07 arr09; do
     synth_tb $t
 done
 
+synth_analyze arr10
+synth_analyze arr11
+
 echo "Test successful"