module __float64__floor_daz(
  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__2;
  wire [10:0] exp;
  wire [51:0] tuple_index_799;
  wire [51:0] fractional_mask__2;
  wire [52:0] fraction_up__2;
  wire eq_807;
  wire and_reduce_812;
  wire f_sign__1;
  wire [10:0] EXPR_MASK;
  wire ne_817;
  wire [51:0] fraction_integral__2;
  wire [51:0] fraction_integral__4;
  wire eq_823;
  wire ult_831;
  wire [10:0] add_834;
  wire and_837;
  wire [51:0] sel_838;
  wire priority_sel_849;
  wire [63:0] tuple_854;
  assign f_bexp__2 = f[62:52];
  assign exp = f_bexp__2 + 11'h401;
  assign tuple_index_799 = f[51:0];
  assign fractional_mask__2 = {{21{exp[10]}}, exp} >= 32'h0000_0034 ? 52'h0_0000_0000_0000 : 52'hf_ffff_ffff_ffff >> {{21{exp[10]}}, exp};
  assign fraction_up__2 = {1'h0, tuple_index_799} + {1'h0, fractional_mask__2};
  assign eq_807 = f_bexp__2 == 11'h000;
  assign and_reduce_812 = &f_bexp__2[9:0];
  assign f_sign__1 = f[63:63];
  assign EXPR_MASK = 11'h7ff;
  assign ne_817 = tuple_index_799 != 52'h0_0000_0000_0000;
  assign fraction_integral__2 = ~(~tuple_index_799 | fractional_mask__2);
  assign fraction_integral__4 = ~(~fraction_up__2[51:0] | fractional_mask__2);
  assign eq_823 = f_bexp__2 == EXPR_MASK;
  assign ult_831 = f_bexp__2 < 11'h433;
  assign add_834 = f_bexp__2 + {10'h000, f_sign__1 & fraction_up__2[52]};
  assign and_837 = eq_823 & ne_817;
  assign sel_838 = ult_831 ? (f_sign__1 ? fraction_integral__4 : fraction_integral__2) & {52{f_bexp__2[10] | and_reduce_812}} : tuple_index_799;
  assign priority_sel_849 = priority_sel_1b_2way({eq_807 | eq_823 & ~(~eq_807 & ne_817), and_837}, 1'h1, 1'h0, sel_838[51]);
  assign tuple_854 = {~(and_837 | ~f_sign__1), priority_sel_11b_2way({eq_807, eq_823}, EXPR_MASK, 11'h000, ult_831 ? (~(f_bexp__2[10] | and_reduce_812) ? {1'h0, {10{f_sign__1}}} : add_834) : f_bexp__2), {priority_sel_849, sel_838[50:0] & {51{~(eq_807 | eq_823)}}}};
  assign out = tuple_854;
endmodule