module __float32__is_neg_inf(
  input wire [31:0] f,
  output wire out
);
  wire [7:0] f_bexp__1;
  wire [22:0] f_fraction__1;
  wire f_sign;
  assign f_bexp__1 = f[30:23];
  assign f_fraction__1 = f[22:0];
  assign f_sign = f[31:31];
  assign out = f_bexp__1 == 8'hff & f_fraction__1 == 23'h00_0000 & f_sign;
endmodule