port (
clk : in std_logic;
rst : in std_logic;
- d_in : in Decode2ToDividerType;
- d_out : out DividerToWritebackType
+ d_in : in Execute1ToDividerType;
+ d_out : out DividerToExecute1Type
);
end entity divider;
signal sresult : std_ulogic_vector(64 downto 0);
signal oresult : std_ulogic_vector(63 downto 0);
signal running : std_ulogic;
- signal signcheck : std_ulogic;
signal count : unsigned(6 downto 0);
signal neg_result : std_ulogic;
signal is_modulus : std_ulogic;
signal is_32bit : std_ulogic;
signal extended : std_ulogic;
signal is_signed : std_ulogic;
- signal rc : std_ulogic;
- signal write_reg : std_ulogic_vector(4 downto 0);
signal overflow : std_ulogic;
signal ovf32 : std_ulogic;
signal did_ovf : std_ulogic;
- signal oe : std_ulogic;
- signal xerc : xer_common_t;
begin
divider_0: process(clk)
begin
running <= '0';
count <= "0000000";
elsif d_in.valid = '1' then
- if d_in.is_extended = '1' and not (d_in.is_signed = '1' and d_in.dividend(63) = '1') then
+ if d_in.is_extended = '1' then
dend <= '0' & d_in.dividend & x"0000000000000000";
else
dend <= '0' & x"0000000000000000" & d_in.dividend;
end if;
div <= unsigned(d_in.divisor);
quot <= (others => '0');
- write_reg <= d_in.write_reg;
- neg_result <= '0';
+ neg_result <= d_in.neg_result;
is_modulus <= d_in.is_modulus;
extended <= d_in.is_extended;
is_32bit <= d_in.is_32bit;
is_signed <= d_in.is_signed;
- rc <= d_in.rc;
- oe <= d_in.oe;
- xerc <= d_in.xerc;
count <= "1111111";
running <= '1';
overflow <= '0';
ovf32 <= '0';
- signcheck <= d_in.is_signed and (d_in.dividend(63) or d_in.divisor(63));
- elsif signcheck = '1' then
- signcheck <= '0';
- neg_result <= dend(63) xor (div(63) and not is_modulus);
- if dend(63) = '1' then
- if extended = '1' then
- dend <= '0' & std_ulogic_vector(- signed(dend(63 downto 0))) & x"0000000000000000";
- else
- dend <= '0' & x"0000000000000000" & std_ulogic_vector(- signed(dend(63 downto 0)));
- end if;
- end if;
- if div(63) = '1' then
- div <= unsigned(- signed(div));
- end if;
elsif running = '1' then
if count = "0111111" then
running <= '0';
divider_1: process(all)
begin
- d_out.write_reg_nr <= write_reg;
- d_out.rc <= rc;
-
if is_modulus = '1' then
result <= dend(128 downto 65);
else
if rising_edge(clk) then
d_out.valid <= '0';
d_out.write_reg_data <= oresult;
- d_out.write_reg_enable <= '0';
- d_out.write_xerc_enable <= '0';
- d_out.xerc <= xerc;
+ d_out.overflow <= did_ovf;
if count = "1000000" then
d_out.valid <= '1';
- d_out.write_reg_enable <= '1';
- d_out.write_xerc_enable <= oe;
-
- -- We must test oe because the RC update code in writeback
- -- will use the xerc value to set CR0:SO so we must not clobber
- -- xerc if OE wasn't set.
- --
- if oe = '1' then
- d_out.xerc.ov <= did_ovf;
- d_out.xerc.ov32 <= did_ovf;
- d_out.xerc.so <= xerc.so or did_ovf;
- end if;
end if;
end if;
end process;