diff options
Diffstat (limited to 'testsuite/gna/bug040/sub_205.vhd')
-rw-r--r-- | testsuite/gna/bug040/sub_205.vhd | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/testsuite/gna/bug040/sub_205.vhd b/testsuite/gna/bug040/sub_205.vhd new file mode 100644 index 000000000..e219f407e --- /dev/null +++ b/testsuite/gna/bug040/sub_205.vhd @@ -0,0 +1,70 @@ +library ieee; +use ieee.std_logic_1164.all; + +library ieee; +use ieee.numeric_std.all; + +entity sub_205 is + port ( + gt : out std_logic; + ge : out std_logic; + lt : out std_logic; + le : out std_logic; + output : out std_logic_vector(40 downto 0); + sign : in std_logic; + in_b : in std_logic_vector(40 downto 0); + in_a : in std_logic_vector(40 downto 0) + ); +end sub_205; + +architecture augh of sub_205 is + + signal carry_inA : std_logic_vector(42 downto 0); + signal carry_inB : std_logic_vector(42 downto 0); + signal carry_res : std_logic_vector(42 downto 0); + + -- Signals to generate the comparison outputs + signal msb_abr : std_logic_vector(2 downto 0); + signal tmp_sign : std_logic; + signal tmp_eq : std_logic; + signal tmp_le : std_logic; + signal tmp_ge : std_logic; + +begin + + -- To handle the CI input, the operation is '0' - CI + -- If CI is not present, the operation is '0' - '0' + carry_inA <= '0' & in_a & '0'; + carry_inB <= '0' & in_b & '0'; + -- Compute the result + carry_res <= std_logic_vector(unsigned(carry_inA) - unsigned(carry_inB)); + + -- Set the outputs + output <= carry_res(41 downto 1); + + -- Other comparison outputs + + -- Temporary signals + msb_abr <= in_a(40) & in_b(40) & carry_res(41); + tmp_sign <= sign; + tmp_eq <= '1' when in_a = in_b else '0'; + + tmp_le <= + tmp_eq when msb_abr = "000" or msb_abr = "110" else + '1' when msb_abr = "001" or msb_abr = "111" else + '1' when tmp_sign = '0' and (msb_abr = "010" or msb_abr = "011") else + '1' when tmp_sign = '1' and (msb_abr = "100" or msb_abr = "101") else + '0'; + + tmp_ge <= + '1' when msb_abr = "000" or msb_abr = "110" else + '1' when tmp_sign = '0' and (msb_abr = "100" or msb_abr = "101") else + '1' when tmp_sign = '1' and (msb_abr = "010" or msb_abr = "011") else + '0'; + + gt <= not(tmp_le); + ge <= tmp_ge; + lt <= not(tmp_ge); + le <= tmp_le; + +end architecture; |