testsuite/synth: add a test for previous commit.

2 files changed, 29 insertions, 8 deletions

diff --git a/testsuite/synth/anon01/anon02.vhdl b/testsuite/synth/anon01/anon02.vhdl
new file mode 100644
index 000000000..5628d9afc
--- /dev/null
+++ b/testsuite/synth/anon01/anon02.vhdl
@@ -0,0 +1,26 @@
+entity anon02_sub is
+  port (i : bit_vector (7 downto 0);
+        o : out bit_vector (7 downto 0));
+end anon02_sub;
+
+architecture behav of anon02_sub is
+begin
+  o <= i xor x"a5";
+end behav;
+
+entity anon02 is
+  port (i : bit_vector (6 downto 0);
+        o : out bit_vector (6 downto 0));
+end anon02;
+
+architecture behav of anon02 is
+  signal res : bit_vector (7 downto 0);
+begin
+  dut: entity work.anon02_sub
+    port map (i => '0' & i,
+              o => res);
+  o <= res (6 downto 0);
+  gen: for i in 1 to 2 generate
+    assert i < 3;
+  end generate;
+end behav;
diff --git a/testsuite/synth/anon01/testsuite.sh b/testsuite/synth/anon01/testsuite.sh
index 254a334d6..eacda9006 100755
--- a/testsuite/synth/anon01/testsuite.sh
+++ b/testsuite/synth/anon01/testsuite.sh
@@ -5,14 +5,9 @@
 GHDL_STD_FLAGS=--std=08
 
 for t in anon01; do
-    analyze $t.vhdl tb_$t.vhdl
-    elab_simulate tb_$t
-    clean
-
-    synth $t.vhdl -e $t > syn_$t.vhdl
-    analyze syn_$t.vhdl tb_$t.vhdl
-    elab_simulate tb_$t --ieee-asserts=disable-at-0
-    clean
+    synth_tb $t
 done
 
+synth_analyze anon02
+
 echo "Test successful"