module __float64__tag(
  input wire [63:0] f,
  output wire [2:0] out
);
  wire [10:0] f_bexp;
  wire [51:0] f_fraction;
  wire [10:0] EXPR_MASK;
  wire eq_260;
  wire eq_261;
  wire eq_262;
  assign f_bexp = f[62:52];
  assign f_fraction = f[51:0];
  assign EXPR_MASK = 11'h7ff;
  assign eq_260 = f_bexp == 11'h000;
  assign eq_261 = f_fraction == 52'h0_0000_0000_0000;
  assign eq_262 = f_bexp == EXPR_MASK;
  assign out = {~(eq_262 | eq_260), eq_260, eq_260 & eq_261 | eq_262 & eq_261};
endmodule