module __float32__eq_2(
  input wire [31:0] x,
  input wire [31:0] y,
  output wire out
);
  wire [7:0] x_bexp__2;
  wire [7:0] literal_139;
  wire [22:0] x_fraction__2;
  wire [22:0] literal_141;
  wire [7:0] y_bexp__1;
  wire [22:0] y_fraction__1;
  wire x_sign__2;
  wire y_sign__1;
  wire [7:0] literal_146;
  assign x_bexp__2 = x[30:23];
  assign literal_139 = 8'hff;
  assign x_fraction__2 = x[22:0];
  assign literal_141 = 23'h00_0000;
  assign y_bexp__1 = y[30:23];
  assign y_fraction__1 = y[22:0];
  assign x_sign__2 = x[31:31];
  assign y_sign__1 = y[31:31];
  assign literal_146 = 8'h00;
  assign out = ~(x_bexp__2 == literal_139 & x_fraction__2 != literal_141 | y_bexp__1 == literal_139 & y_fraction__1 != literal_141) & (x_sign__2 == y_sign__1 & x_bexp__2 == y_bexp__1 & x_fraction__2 == y_fraction__1 | x_bexp__2 == literal_146 & y_bexp__1 == literal_146);
endmodule