module __float64__ceil_with_denorms(
  input wire [63:0] f,
  output wire [63: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 [10:0] priority_sel_11b_2way (input reg [1:0] sel, input reg [10:0] case0, input reg [10:0] case1, input reg [10:0] default_value);
    begin
      casez (sel)
        2'b?1: begin
          priority_sel_11b_2way = case0;
        end
        2'b10: begin
          priority_sel_11b_2way = case1;
        end
        2'b00: begin
          priority_sel_11b_2way = default_value;
        end
        default: begin
          // Propagate X
          priority_sel_11b_2way = 11'dx;
        end
      endcase
    end
  endfunction
  wire [10:0] f_bexp__1;
  wire [10:0] exp__1;
  wire literal_780;
  wire [51:0] f_fraction__1;
  wire [51:0] fractional_mask__1;
  wire [52:0] fraction_up__2;
  wire [10:0] literal_788;
  wire [10:0] EXPR_MASK;
  wire and_reduce_795;
  wire eq_797;
  wire eq_798;
  wire f_sign__1;
  wire [51:0] fraction_integral__4;
  wire [51:0] fraction_integral__2;
  wire and_804;
  wire or_813;
  wire nor_814;
  wire ult_817;
  wire [10:0] add_821;
  wire [51:0] sel_823;
  wire [10:0] priority_sel_836;
  wire [63:0] tuple_838;
  assign f_bexp__1 = f[62:52];
  assign exp__1 = f_bexp__1 + 11'h401;
  assign literal_780 = 1'h0;
  assign f_fraction__1 = f[51:0];
  assign fractional_mask__1 = {{21{exp__1[10]}}, exp__1} >= 32'h0000_0034 ? 52'h0_0000_0000_0000 : 52'hf_ffff_ffff_ffff >> {{21{exp__1[10]}}, exp__1};
  assign fraction_up__2 = {literal_780, f_fraction__1} + {literal_780, fractional_mask__1};
  assign literal_788 = 11'h000;
  assign EXPR_MASK = 11'h7ff;
  assign and_reduce_795 = &f_bexp__1[9:0];
  assign eq_797 = f_fraction__1 == 52'h0_0000_0000_0000;
  assign eq_798 = f_bexp__1 == EXPR_MASK;
  assign f_sign__1 = f[63:63];
  assign fraction_integral__4 = ~(~fraction_up__2[51:0] | fractional_mask__1);
  assign fraction_integral__2 = ~(~f_fraction__1 | fractional_mask__1);
  assign and_804 = f_bexp__1 == literal_788 & eq_797;
  assign or_813 = and_804 | eq_798 & eq_797;
  assign nor_814 = ~(~eq_798 | eq_797);
  assign ult_817 = f_bexp__1 < 11'h433;
  assign add_821 = f_bexp__1 + {10'h000, ~(f_sign__1 | ~fraction_up__2[52])};
  assign sel_823 = ult_817 ? (f_sign__1 ? fraction_integral__2 : fraction_integral__4) & {52{f_bexp__1[10] | and_reduce_795}} : f_fraction__1;
  assign priority_sel_836 = priority_sel_11b_2way({and_804, eq_798}, EXPR_MASK, literal_788, ult_817 ? (~(f_bexp__1[10] | and_reduce_795) ? {literal_780, {10{~f_sign__1}}} : add_821) : f_bexp__1);
  assign tuple_838 = {~(nor_814 | ~f_sign__1), priority_sel_836, {priority_sel_1b_2way({or_813, nor_814}, 1'h1, literal_780, sel_823[51]), sel_823[50:0] & {51{~(or_813 | nor_814)}}}};
  assign out = tuple_838;
endmodule