module __bfloat16__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 [7:0] priority_sel_8b_2way (input reg [1:0] sel, input reg [7:0] case0, input reg [7:0] case1, input reg [7:0] default_value);
    begin
      casez (sel)
        2'b?1: begin
          priority_sel_8b_2way = case0;
        end
        2'b10: begin
          priority_sel_8b_2way = case1;
        end
        2'b00: begin
          priority_sel_8b_2way = default_value;
        end
        default: begin
          // Propagate X
          priority_sel_8b_2way = 8'dx;
        end
      endcase
    end
  endfunction
  wire [7:0] f_bexp__1;
  wire [7:0] exp__1;
  wire literal_774;
  wire [6:0] f_fraction__1;
  wire [6:0] fractional_mask__1;
  wire [7:0] fraction_up__2;
  wire [7:0] literal_782;
  wire [6:0] literal_783;
  wire [7:0] EXPR_MASK;
  wire and_reduce_789;
  wire eq_791;
  wire eq_792;
  wire f_sign__1;
  wire [6:0] fraction_integral__4;
  wire [6:0] fraction_integral__2;
  wire and_798;
  wire or_806;
  wire nor_807;
  wire ult_810;
  wire [7:0] add_814;
  wire [6:0] sel_816;
  wire [7:0] priority_sel_829;
  wire [15:0] tuple_831;
  assign f_bexp__1 = f[14:7];
  assign exp__1 = f_bexp__1 + 8'h81;
  assign literal_774 = 1'h0;
  assign f_fraction__1 = f[6:0];
  assign fractional_mask__1 = {{24{exp__1[7]}}, exp__1} >= 32'h0000_0007 ? 7'h00 : 7'h7f >> {{24{exp__1[7]}}, exp__1};
  assign fraction_up__2 = {literal_774, f_fraction__1} + {literal_774, fractional_mask__1};
  assign literal_782 = 8'h00;
  assign literal_783 = 7'h00;
  assign EXPR_MASK = 8'hff;
  assign and_reduce_789 = &f_bexp__1[6:0];
  assign eq_791 = f_fraction__1 == literal_783;
  assign eq_792 = f_bexp__1 == EXPR_MASK;
  assign f_sign__1 = f[15:15];
  assign fraction_integral__4 = ~(~fraction_up__2[6:0] | fractional_mask__1);
  assign fraction_integral__2 = ~(~f_fraction__1 | fractional_mask__1);
  assign and_798 = f_bexp__1 == literal_782 & eq_791;
  assign or_806 = and_798 | eq_792 & eq_791;
  assign nor_807 = ~(~eq_792 | eq_791);
  assign ult_810 = f_bexp__1 < 8'h86;
  assign add_814 = f_bexp__1 + {literal_783, ~(f_sign__1 | ~fraction_up__2[7])};
  assign sel_816 = ult_810 ? (f_sign__1 ? fraction_integral__2 : fraction_integral__4) & {7{f_bexp__1[7] | and_reduce_789}} : f_fraction__1;
  assign priority_sel_829 = priority_sel_8b_2way({and_798, eq_792}, EXPR_MASK, literal_782, ult_810 ? (~(f_bexp__1[7] | and_reduce_789) ? {literal_774, {7{~f_sign__1}}} : add_814) : f_bexp__1);
  assign tuple_831 = {~(nor_807 | ~f_sign__1), priority_sel_829, {priority_sel_1b_2way({or_806, nor_807}, 1'h1, literal_774, sel_816[6]), sel_816[5:0] & {6{~(or_806 | nor_807)}}}};
  assign out = tuple_831;
endmodule