aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna')
-rw-r--r--testsuite/gna/issue886/ent.vhdl103
-rw-r--r--testsuite/gna/issue886/repro.vhdl8
-rw-r--r--testsuite/gna/issue886/repro2.vhdl8
-rw-r--r--testsuite/gna/issue886/repro3.vhdl9
-rwxr-xr-xtestsuite/gna/issue886/testsuite.sh13
5 files changed, 141 insertions, 0 deletions
diff --git a/testsuite/gna/issue886/ent.vhdl b/testsuite/gna/issue886/ent.vhdl
new file mode 100644
index 000000000..f1d9e4dfd
--- /dev/null
+++ b/testsuite/gna/issue886/ent.vhdl
@@ -0,0 +1,103 @@
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+package pong_pkg is
+ subtype short is signed(16 downto 0);
+
+ type direction is (UP, DOWN, NONE);
+ type dimension is record
+ w : short;
+ h : short;
+ end record;
+
+ constant SCREEN_SIZE : dimension := ( w => to_signed(640, short'length),
+ h => to_signed(480, short'length) );
+
+ type location is record
+ r : short;
+ c : short;
+ end record;
+
+ type paddle is record
+ loc : location;
+ dir : direction;
+ end record;
+
+ component paddle_mover is
+ generic(
+ paddle_size : dimension;
+ screen_size : dimension;
+ reset_loc : location
+ );
+ port(
+ clk : in std_logic;
+ en : in std_logic;
+ rst : in std_logic;
+ dir : in direction;
+ q : in paddle;
+ d : out paddle
+ );
+ end component;
+end package;
+
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+use work.pong_pkg.all;
+
+entity paddle_mover is
+generic(
+ paddle_size : dimension := (w => to_signed(1, short'length), h => to_signed(1 short'length));
+ screen_size : dimension := (w => to_signed(1, short'length), h => to_signed(1 short'length));
+ reset_loc : location := (r => to_signed(1, short'length), c => to_signed(1 short'length))
+);
+port(
+ clk : in std_logic;
+ en : in std_logic;
+ rst : in std_logic;
+ dir : in direction;
+ q : in paddle;
+ d : out paddle
+);
+end entity;
+
+architecture beh of paddle_mover is
+
+ constant velocity : short := to_signed(1, short'length);
+
+ signal next_candidate :paddle := (dir => NONE, loc => (others => 1));
+ signal next_paddle : paddle := (dir => NONE, loc => (others => 1));
+ signal next_moves : std_logic := '0';
+ signal off_bottom : std_logic := '0';
+ signal off_top : std_logic := '0';
+begin
+
+ next_candidate.dir <= q.dir;
+ next_candidate.loc.c <= q.loc.c;
+
+ next_candidate.loc.r <= q.loc.r + velocity when dir = DOWN else
+ q.loc.r - velocity when dir = UP else
+ q.loc.r;
+
+ off_bottom <= (next_candidate.loc.r + paddle_size.h) >= screen_size.h;
+ off_top <= next_candidate.loc.r <= to_unsigned(0, short'length);
+
+ next_moves <= off_bottom nor off_top;
+
+ next_paddle.dir <= next_candidate.dir;
+ next_paddle.loc.c <= next_candidate.loc.c;
+ next_paddle.loc.r <= next_candidate.loc.r when next_moves = '1' else q.loc.r;
+
+ process(clk)
+ begin
+ if rising_edge(clk) then
+ if rst = '1' then
+ d.loc <= reset_loc;
+ elsif en = '1' then
+ d <= next_paddle;
+ end if;
+ end if;
+ end process;
+end architecture;
diff --git a/testsuite/gna/issue886/repro.vhdl b/testsuite/gna/issue886/repro.vhdl
new file mode 100644
index 000000000..ba606a18d
--- /dev/null
+++ b/testsuite/gna/issue886/repro.vhdl
@@ -0,0 +1,8 @@
+entity repro is
+end;
+
+architecture behav of repro is
+ constant c : string := "hello";
+ constant d : time := 1 c'length;
+begin
+end behav;
diff --git a/testsuite/gna/issue886/repro2.vhdl b/testsuite/gna/issue886/repro2.vhdl
new file mode 100644
index 000000000..ffb2e7830
--- /dev/null
+++ b/testsuite/gna/issue886/repro2.vhdl
@@ -0,0 +1,8 @@
+entity repro2 is
+end;
+
+architecture behav of repro2 is
+ constant c : string := "hello";
+ constant d : time := 1.5e2 c'length;
+begin
+end behav;
diff --git a/testsuite/gna/issue886/repro3.vhdl b/testsuite/gna/issue886/repro3.vhdl
new file mode 100644
index 000000000..963d48232
--- /dev/null
+++ b/testsuite/gna/issue886/repro3.vhdl
@@ -0,0 +1,9 @@
+entity repro3 is
+end;
+
+architecture behav of repro3 is
+ component comp is
+ end component comp;
+ constant d : time := 1 comp;
+begin
+end behav;
diff --git a/testsuite/gna/issue886/testsuite.sh b/testsuite/gna/issue886/testsuite.sh
new file mode 100755
index 000000000..56adf9c55
--- /dev/null
+++ b/testsuite/gna/issue886/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze_failure ent.vhdl
+analyze_failure repro.vhdl
+analyze_failure --force-analysis repro.vhdl
+analyze_failure repro2.vhdl
+analyze_failure repro3.vhdl
+
+clean
+
+echo "Test successful"