Adds tests for CNE_00100.

3 files changed, 161 insertions, 0 deletions

diff --git a/data/test/CNE_00100/CNE_00100.pp b/data/test/CNE_00100/CNE_00100.pp
new file mode 100644
index 0000000..582a7b1
--- /dev/null
+++ b/data/test/CNE_00100/CNE_00100.pp
@@ -0,0 +1 @@
+($wfm.LINE$)
diff --git a/data/test/CNE_00100/invalid.vhd b/data/test/CNE_00100/invalid.vhd
new file mode 100644
index 0000000..e73cfb7
--- /dev/null
+++ b/data/test/CNE_00100/invalid.vhd
@@ -0,0 +1,98 @@
+library IEEE;
+
+use IEEE.std_logic_1164.all;
+
+entity valid is
+   port
+   (
+      ip0: in std_logic;
+      ip1: in std_logic;
+      ip2: in std_logic;
+      ip3: in std_logic;
+      op0: out std_logic;
+      op1: out std_logic;
+      op2: out std_logic;
+      op3: out std_logic
+   );
+end;
+
+architecture RTL of valid is
+   signal s0: std_logic;
+   signal s1: std_logic;
+   signal s2: std_logic;
+   signal s3: std_logic;
+begin
+   op0 <= ip1 when (ip0 = '0') else ip2;
+   op0 <= ip1 when (ip0 = '1') else ip2;
+
+   process (s1, ip1, s2)
+   begin
+      if (ip1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (ip1 = '0')
+      then
+         op1 <= s1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+
+   process (s1, ip1, s2)
+   begin
+      if (ip1 = '1')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (ip1 = '0')
+      then
+         op1 <= s1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+
+   s3 <= s1 when (s0 = '0') else s2;
+   s3 <= s1 when (s0 = '1') else s2;
+
+   process (s1, ip1, s2)
+   begin
+      if (s1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (s1 = '0')
+      then
+         op1 <= ip1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+
+   process (s1, ip1, s2)
+   begin
+      if (s1 = '1')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (s1 = '0')
+      then
+         op1 <= ip1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+end architecture;
diff --git a/data/test/CNE_00100/valid.vhd b/data/test/CNE_00100/valid.vhd
new file mode 100644
index 0000000..881f23c
--- /dev/null
+++ b/data/test/CNE_00100/valid.vhd
@@ -0,0 +1,62 @@
+library IEEE;
+
+use IEEE.std_logic_1164.all;
+
+entity valid is
+   port
+   (
+      ip0: in std_logic; -- $SOL:0:0$
+      ip1: in std_logic; -- $SOL:1:0$
+      ip2: in std_logic;
+      ip3: in std_logic;
+      op0: out std_logic;
+      op1: out std_logic;
+      op2: out std_logic;
+      op3: out std_logic
+   );
+end;
+
+architecture RTL of valid is
+   signal s0: std_logic; -- $SOL:2:0$
+   signal s1: std_logic; -- $SOL:3:0$
+   signal s2: std_logic;
+   signal s3: std_logic;
+begin
+   op0 <= ip1 when (ip0 = '0') else ip2;
+
+   process (s1, ip1, s2)
+   begin
+      if (ip1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (ip1 = '0')
+      then
+         op1 <= s1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+
+   s3 <= s1 when (s0 = '0') else s2;
+
+   process (s1, ip1, s2)
+   begin
+      if (s1 = '0')
+      then
+         op0 <= '0';
+      else
+         op0 <= s2;
+      end if;
+
+      if (s1 = '0')
+      then
+         op1 <= ip1;
+      else
+         op1 <= '1';
+      end if;
+   end process;
+end architecture;