module __hfloat16__ceil_with_denorms(
  input wire [15:0] f,
  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
  function automatic [4:0] priority_sel_5b_2way (input reg [1:0] sel, input reg [4:0] case0, input reg [4:0] case1, input reg [4:0] default_value);
    begin
      casez (sel)
        2'b?1: begin
          priority_sel_5b_2way = case0;
        end
        2'b10: begin
          priority_sel_5b_2way = case1;
        end
        2'b00: begin
          priority_sel_5b_2way = default_value;
        end
        default: begin
          // Propagate X
          priority_sel_5b_2way = 5'dx;
        end
      endcase
    end
  endfunction
  wire [4:0] f_bexp__1;
  wire [4:0] exp;
  wire [9:0] f_fraction__1;
  wire [9:0] fractional_mask__2;
  wire [10:0] fraction_up__2;
  wire [4:0] EXPR_MASK;
  wire f_sign__1;
  wire and_reduce_689;
  wire eq_691;
  wire eq_692;
  wire [9:0] fraction_integral__4;
  wire [9:0] fraction_integral__2;
  wire and_699;
  wire [4:0] sign_ext_703;
  wire or_707;
  wire nor_708;
  wire ult_711;
  wire [4:0] add_715;
  wire [9:0] sel_717;
  wire [15:0] tuple_732;
  assign f_bexp__1 = f[14:10];
  assign exp = f_bexp__1 + 5'h11;
  assign f_fraction__1 = f[9:0];
  assign fractional_mask__2 = {{27{exp[4]}}, exp} >= 32'h0000_000a ? 10'h000 : 10'h3ff >> {{27{exp[4]}}, exp};
  assign fraction_up__2 = {1'h0, f_fraction__1} + {1'h0, fractional_mask__2};
  assign EXPR_MASK = 5'h1f;
  assign f_sign__1 = f[15:15];
  assign and_reduce_689 = &f_bexp__1[3:0];
  assign eq_691 = f_fraction__1 == 10'h000;
  assign eq_692 = f_bexp__1 == EXPR_MASK;
  assign fraction_integral__4 = ~(~fraction_up__2[9:0] | fractional_mask__2);
  assign fraction_integral__2 = ~(~f_fraction__1 | fractional_mask__2);
  assign and_699 = f_bexp__1 == 5'h00 & eq_691;
  assign sign_ext_703 = {5{~f_sign__1}};
  assign or_707 = and_699 | eq_692 & eq_691;
  assign nor_708 = ~(~eq_692 | eq_691);
  assign ult_711 = f_bexp__1 < 5'h19;
  assign add_715 = f_bexp__1 + ({4'h0, fraction_up__2[10]} & sign_ext_703);
  assign sel_717 = ult_711 ? (f_sign__1 ? fraction_integral__2 : fraction_integral__4) & {10{f_bexp__1[4] | and_reduce_689}} : f_fraction__1;
  assign tuple_732 = {~(nor_708 | ~f_sign__1), priority_sel_5b_2way({and_699, eq_692}, EXPR_MASK, 5'h00, ult_711 ? (~(f_bexp__1[4] | and_reduce_689) ? {1'h0, sign_ext_703[3:0]} : add_715) : f_bexp__1), {priority_sel_1b_2way({or_707, nor_708}, 1'h1, 1'h0, sel_717[9]), sel_717[8:0] & {9{~(or_707 | nor_708)}}}};
  assign out = tuple_732;
endmodule