From 80e9830758781e46a283e493a3c2f902969c0bea Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 18 Sep 2017 14:36:37 +0200
Subject: Starting to work on test automation.

---
 .../combinational_processes/valid_unsupported.vhd  | 82 ++++++++++++++++++++++
 1 file changed, 82 insertions(+)
 create mode 100644 data/test/combinational_processes/valid_unsupported.vhd

(limited to 'data/test/combinational_processes/valid_unsupported.vhd')

diff --git a/data/test/combinational_processes/valid_unsupported.vhd b/data/test/combinational_processes/valid_unsupported.vhd
new file mode 100644
index 0000000..f38c06e
--- /dev/null
+++ b/data/test/combinational_processes/valid_unsupported.vhd
@@ -0,0 +1,82 @@
+library IEEE;
+
+use IEEE.std_logic_1164.all;
+
+entity valid is
+   port
+   (
+      ip0, ip1, ip2, ip3:  in std_logic;
+      op0, op1, op2, op3:  out std_logic
+   );
+end;
+
+architecture RTL of valid is
+   signal s0, s1, s2, s3 : std_logic;
+begin
+-- Add some vectors.
+-- Add some enums.
+
+   s0 <= s1;
+   s0 <= (s1 and s2);
+
+   process (s0, s1)
+   begin
+      case s1 is
+         when '0' =>
+            op0 <= s0;
+         when others =>
+            op0 <= s1;
+      end case;
+   end process;
+
+   process (s0, s1)
+   begin
+      case s1 is
+         when '0' =>
+            op0 <= s0;
+            op1 <= (s0 or s1);
+         when others =>
+            op1 <= (s1 or '0');
+            op0 <= s1;
+      end case;
+   end process;
+
+   process (s0, s1)
+   begin
+      op2 <= '0';
+      case s1 is
+         when '0' =>
+            op0 <= s0;
+            op1 <= (s0 or s1);
+         when others =>
+            op1 <= (s1 or '0');
+            op0 <= s1;
+            op2 <= '1';
+      end case;
+   end process;
+
+   process (s0, s1, s2)
+   begin
+      op2 <= '0';
+      case s1 is
+         when '0' =>
+            if (s2 = '0')
+            then
+               op0 <= s0;
+            else
+               op0 <= s1;
+            end if;
+            op1 <= (s0 or s1);
+         when others =>
+            op1 <= (s1 or '0');
+            op0 <= s1;
+            op2 <= '1';
+      end case;
+   end process;
+
+   with ip0 select
+      s1 <=
+         ip1 when '0',
+         ip2 when '1',
+         ip3 when others;
+end;
-- 
cgit v1.2.3-70-g09d2