module __float32__ceil_with_denorms(
  input wire [31:0] f,
  output wire [31: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;
  wire [22:0] f_fraction__1;
  wire [22:0] fractional_mask__2;
  wire [23:0] fraction_up__2;
  wire [7:0] EXPR_MASK;
  wire and_reduce_697;
  wire eq_699;
  wire eq_700;
  wire f_sign__1;
  wire [22:0] fraction_integral__4;
  wire [22:0] fraction_integral__2;
  wire and_706;
  wire or_715;
  wire nor_716;
  wire ult_719;
  wire [7:0] add_723;
  wire [22:0] sel_725;
  wire [7:0] priority_sel_738;
  wire [31:0] tuple_740;
  assign f_bexp__1 = f[30:23];
  assign exp = f_bexp__1 + 8'h81;
  assign f_fraction__1 = f[22:0];
  assign fractional_mask__2 = {{24{exp[7]}}, exp} >= 32'h0000_0017 ? 23'h00_0000 : 23'h7f_ffff >> {{24{exp[7]}}, exp};
  assign fraction_up__2 = {1'h0, f_fraction__1} + {1'h0, fractional_mask__2};
  assign EXPR_MASK = 8'hff;
  assign and_reduce_697 = &f_bexp__1[6:0];
  assign eq_699 = f_fraction__1 == 23'h00_0000;
  assign eq_700 = f_bexp__1 == EXPR_MASK;
  assign f_sign__1 = f[31:31];
  assign fraction_integral__4 = ~(~fraction_up__2[22:0] | fractional_mask__2);
  assign fraction_integral__2 = ~(~f_fraction__1 | fractional_mask__2);
  assign and_706 = f_bexp__1 == 8'h00 & eq_699;
  assign or_715 = and_706 | eq_700 & eq_699;
  assign nor_716 = ~(~eq_700 | eq_699);
  assign ult_719 = f_bexp__1 < 8'h96;
  assign add_723 = f_bexp__1 + {7'h00, ~(f_sign__1 | ~fraction_up__2[23])};
  assign sel_725 = ult_719 ? (f_sign__1 ? fraction_integral__2 : fraction_integral__4) & {23{f_bexp__1[7] | and_reduce_697}} : f_fraction__1;
  assign priority_sel_738 = priority_sel_8b_2way({and_706, eq_700}, EXPR_MASK, 8'h00, ult_719 ? (~(f_bexp__1[7] | and_reduce_697) ? {1'h0, {7{~f_sign__1}}} : add_723) : f_bexp__1);
  assign tuple_740 = {~(nor_716 | ~f_sign__1), priority_sel_738, {priority_sel_1b_2way({or_715, nor_716}, 1'h1, 1'h0, sel_725[22]), sel_725[21:0] & {22{~(or_715 | nor_716)}}}};
  assign out = tuple_740;
endmodule