module __hfloat16__add(
  input wire [15:0] x,
  input wire [15:0] y,
  output wire [15:0] out
);
  function automatic priority_sel_1b_2way (input reg [1:0] sel, input reg case0, input reg case1, input reg default_value);
    begin
      casez (sel)
        2'b?1: begin
          priority_sel_1b_2way = case0;
        end
        2'b10: begin
          priority_sel_1b_2way = case1;
        end
        2'b00: begin
          priority_sel_1b_2way = default_value;
        end
        default: begin
          // Propagate X
          priority_sel_1b_2way = 1'dx;
        end
      endcase
    end
  endfunction
  wire [4:0] y_bexp__1;
  wire [4:0] x_bexp__1;
  wire [4:0] y_bexpnot;
  wire [5:0] x_bexp_extended__1;
  wire [5:0] y_bexpnot_extended;
  wire [5:0] full_result;
  wire overflow_detected;
  wire [9:0] tuple_index_30404;
  wire [9:0] tuple_index_30405;
  wire [4:0] x_bexp;
  wire [4:0] y_bexp;
  wire [9:0] x_fraction;
  wire [9:0] y_fraction;
  wire nc;
  wire [10:0] fraction_x;
  wire [10:0] fraction_y;
  wire [10:0] sign_ext_30418;
  wire [4:0] narrowed_result;
  wire [4:0] x_bexpor_mask;
  wire [10:0] fraction_x__1;
  wire [10:0] fraction_y__1;
  wire [2:0] xddend_x__1_squeezed_const_lsb_bits;
  wire [4:0] result;
  wire tuple_index_30427;
  wire tuple_index_30428;
  wire [11:0] wide_x_squeezed;
  wire [13:0] wide_y_shift_bits;
  wire [4:0] shift;
  wire [13:0] shrl_30435;
  wire [14:0] shll_30437;
  wire [11:0] xddend_x__1_squeezed;
  wire [12:0] add_30448;
  wire sticky;
  wire [14:0] concat_30454;
  wire [14:0] xbs_fraction;
  wire carry_bit;
  wire nor_30488;
  wire nor_30490;
  wire nor_30483;
  wire nor_30485;
  wire and_30502;
  wire and_30513;
  wire [2:0] concat_30521;
  wire [2:0] concat_30520;
  wire [2:0] concat_30518;
  wire [2:0] concat_30517;
  wire [3:0] leading_zeroes;
  wire [15:0] cancel_fraction;
  wire [13:0] cancel_fraction__1;
  wire [13:0] carry_fraction__1;
  wire [13:0] shifted_fraction;
  wire [2:0] normal_chunk;
  wire [2:0] fraction_shift__3;
  wire [1:0] half_way_chunk;
  wire do_round_up;
  wire [11:0] add_30545;
  wire rounding_carry;
  wire [5:0] add_30557;
  wire [4:0] sub_30558;
  wire fraction_is_zero;
  wire [6:0] wide_exponent_associative_element;
  wire [6:0] wide_exponent_associative_element__1;
  wire [6:0] wide_exponent;
  wire [6:0] wide_exponent__1;
  wire [4:0] MAX_EXPONENT;
  wire [5:0] wide_exponent__2;
  wire eq_30573;
  wire eq_30574;
  wire eq_30575;
  wire eq_30576;
  wire x_sign;
  wire y_sign;
  wire [2:0] fraction_shift__2;
  wire is_operand_inf;
  wire and_reduce_30596;
  wire has_pos_inf;
  wire has_neg_inf;
  wire [14:0] rounded_fraction;
  wire [2:0] fraction_shift__1;
  wire [14:0] shrl_30609;
  wire is_result_nan;
  wire result_sign;
  wire [9:0] result_fraction;
  wire [9:0] sign_ext_30615;
  wire result_sign__1;
  wire [9:0] result_fraction__3;
  wire [9:0] FRACTION_HIGH_BIT;
  wire result_sign__2;
  wire [4:0] result_exponent__2;
  wire [9:0] result_fraction__4;
  assign y_bexp__1 = y[14:10];
  assign x_bexp__1 = x[14:10];
  assign y_bexpnot = ~y_bexp__1;
  assign x_bexp_extended__1 = {1'h0, x_bexp__1};
  assign y_bexpnot_extended = {1'h0, y_bexpnot};
  assign full_result = x_bexp_extended__1 + y_bexpnot_extended;
  assign overflow_detected = full_result[5];
  assign tuple_index_30404 = y[9:0];
  assign tuple_index_30405 = x[9:0];
  assign x_bexp = overflow_detected ? x_bexp__1 : y_bexp__1;
  assign y_bexp = overflow_detected ? y_bexp__1 : x_bexp__1;
  assign x_fraction = overflow_detected ? tuple_index_30405 : tuple_index_30404;
  assign y_fraction = overflow_detected ? tuple_index_30404 : tuple_index_30405;
  assign nc = ~overflow_detected;
  assign fraction_x = {1'h1, x_fraction};
  assign fraction_y = {1'h1, y_fraction};
  assign sign_ext_30418 = {11{y_bexp != 5'h00}};
  assign narrowed_result = full_result[4:0];
  assign x_bexpor_mask = {5{nc}};
  assign fraction_x__1 = fraction_x & {11{x_bexp != 5'h00}};
  assign fraction_y__1 = fraction_y & sign_ext_30418;
  assign xddend_x__1_squeezed_const_lsb_bits = 3'h0;
  assign result = narrowed_result ^ x_bexpor_mask;
  assign tuple_index_30427 = x[15:15];
  assign tuple_index_30428 = y[15:15];
  assign wide_x_squeezed = {1'h0, fraction_x__1};
  assign wide_y_shift_bits = {fraction_y__1, xddend_x__1_squeezed_const_lsb_bits};
  assign shift = result + {4'h0, overflow_detected};
  assign shrl_30435 = shift >= 5'h0e ? 14'h0000 : wide_y_shift_bits >> shift;
  assign shll_30437 = shift >= 5'h0f ? 15'h0000 : 15'h7fff << shift;
  assign xddend_x__1_squeezed = tuple_index_30427 ^ tuple_index_30428 ? -wide_x_squeezed : wide_x_squeezed;
  assign add_30448 = {{1{xddend_x__1_squeezed[11]}}, xddend_x__1_squeezed} + {2'h0, shrl_30435[13:3]};
  assign sticky = ~({1'h0, ~y_fraction} | ~sign_ext_30418 | shll_30437[13:3]) != 11'h000;
  assign concat_30454 = {add_30448[11:0], shrl_30435[2:1], shrl_30435[0] | sticky};
  assign xbs_fraction = add_30448[12] ? -concat_30454 : concat_30454;
  assign carry_bit = xbs_fraction[14];
  assign nor_30488 = ~(xbs_fraction[12] | xbs_fraction[11]);
  assign nor_30490 = ~(xbs_fraction[8] | xbs_fraction[7]);
  assign nor_30483 = ~(xbs_fraction[4] | xbs_fraction[3]);
  assign nor_30485 = ~(xbs_fraction[6] | xbs_fraction[5]);
  assign and_30502 = ~(carry_bit | xbs_fraction[13]) & nor_30488;
  assign and_30513 = ~(xbs_fraction[10] | xbs_fraction[9]) & nor_30490;
  assign concat_30521 = {1'h0, ~(carry_bit | xbs_fraction[13] | nor_30488) ? {1'h1, ~(xbs_fraction[12] | ~xbs_fraction[11])} : {1'h0, ~(carry_bit | ~xbs_fraction[13])}};
  assign concat_30520 = {1'h1, ~(xbs_fraction[10] | xbs_fraction[9] | nor_30490) ? {1'h1, ~(xbs_fraction[8] | ~xbs_fraction[7])} : {1'h0, ~(xbs_fraction[10] | ~xbs_fraction[9])}};
  assign concat_30518 = {1'h0, ~(xbs_fraction[6] | xbs_fraction[5] | nor_30483) ? {1'h1, ~(xbs_fraction[4] | ~xbs_fraction[3])} : {nor_30485, ~(xbs_fraction[6] | ~xbs_fraction[5])}};
  assign concat_30517 = {1'h1, ~(xbs_fraction[2] | xbs_fraction[1]) ? {1'h1, ~xbs_fraction[0]} : {1'h0, ~(xbs_fraction[2] | ~xbs_fraction[1])}};
  assign leading_zeroes = and_30502 & and_30513 ? {1'h1, nor_30485 & nor_30483 ? concat_30517 : concat_30518} : {1'h0, ~(~and_30502 | and_30513) ? concat_30520 : concat_30521};
  assign cancel_fraction = {1'h0, xbs_fraction} << leading_zeroes;
  assign cancel_fraction__1 = cancel_fraction[14:1];
  assign carry_fraction__1 = {xbs_fraction[14:2], xbs_fraction[1] | xbs_fraction[0]};
  assign shifted_fraction = carry_bit ? carry_fraction__1 : cancel_fraction__1;
  assign normal_chunk = shifted_fraction[2:0];
  assign fraction_shift__3 = 3'h4;
  assign half_way_chunk = shifted_fraction[3:2];
  assign do_round_up = normal_chunk > fraction_shift__3 | half_way_chunk == 2'h3;
  assign add_30545 = {1'h0, shifted_fraction[13:3]} + {11'h000, do_round_up};
  assign rounding_carry = add_30545[11];
  assign add_30557 = {1'h0, x_bexp} + 6'h01;
  assign sub_30558 = {4'h0, rounding_carry} - {1'h0, leading_zeroes};
  assign fraction_is_zero = add_30448 == 13'h0000 & ~(shrl_30435[1] | shrl_30435[2]) & ~(shrl_30435[0] | sticky);
  assign wide_exponent_associative_element = {1'h0, add_30557};
  assign wide_exponent_associative_element__1 = {{2{sub_30558[4]}}, sub_30558};
  assign wide_exponent = wide_exponent_associative_element + wide_exponent_associative_element__1;
  assign wide_exponent__1 = wide_exponent & {7{~fraction_is_zero}};
  assign MAX_EXPONENT = 5'h1f;
  assign wide_exponent__2 = wide_exponent__1[5:0] & {6{~wide_exponent__1[6]}};
  assign eq_30573 = x_bexp == MAX_EXPONENT;
  assign eq_30574 = x_fraction == 10'h000;
  assign eq_30575 = y_bexp == MAX_EXPONENT;
  assign eq_30576 = y_fraction == 10'h000;
  assign x_sign = overflow_detected ? tuple_index_30427 : tuple_index_30428;
  assign y_sign = overflow_detected ? tuple_index_30428 : tuple_index_30427;
  assign fraction_shift__2 = 3'h3;
  assign is_operand_inf = eq_30573 & eq_30574 | eq_30575 & eq_30576;
  assign and_reduce_30596 = &wide_exponent__2[4:0];
  assign has_pos_inf = ~(~eq_30573 | ~eq_30574 | x_sign) | ~(~eq_30575 | ~eq_30576 | y_sign);
  assign has_neg_inf = eq_30573 & eq_30574 & x_sign | eq_30575 & eq_30576 & y_sign;
  assign rounded_fraction = {add_30545, normal_chunk};
  assign fraction_shift__1 = rounding_carry ? fraction_shift__3 : fraction_shift__2;
  assign shrl_30609 = rounded_fraction >> fraction_shift__1;
  assign is_result_nan = ~(~eq_30573 | eq_30574) | ~(~eq_30575 | eq_30576) | has_pos_inf & has_neg_inf;
  assign result_sign = priority_sel_1b_2way({add_30448[12], fraction_is_zero}, tuple_index_30427 & tuple_index_30428, ~y_sign, y_sign);
  assign result_fraction = shrl_30609[9:0];
  assign sign_ext_30615 = {10{~(is_operand_inf | wide_exponent__2[5] | and_reduce_30596 | ~((|wide_exponent__2[5:1]) | wide_exponent__2[0]))}};
  assign result_sign__1 = is_operand_inf ? ~has_pos_inf : result_sign;
  assign result_fraction__3 = result_fraction & sign_ext_30615;
  assign FRACTION_HIGH_BIT = 10'h200;
  assign result_sign__2 = ~is_result_nan & result_sign__1;
  assign result_exponent__2 = is_result_nan | is_operand_inf | wide_exponent__2[5] | and_reduce_30596 ? MAX_EXPONENT : wide_exponent__2[4:0];
  assign result_fraction__4 = is_result_nan ? FRACTION_HIGH_BIT : result_fraction__3;
  assign out = {result_sign__2, result_exponent__2, result_fraction__4};
endmodule