package float32

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/float32.x"

top fn __float32__is_neg_inf(f: (bits[1], bits[8], bits[23]) id=20) -> bits[1] {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=38, pos=[(1,96,6), (1,106,10), (2,37,55)])
  literal.39: bits[8] = literal(value=255, id=39, pos=[(1,96,29), (1,106,10), (2,37,55)])
  f_fraction__1: bits[23] = tuple_index(f, index=2, id=40, pos=[(1,96,44), (1,106,10), (2,37,55)])
  literal.41: bits[23] = literal(value=0, id=41, pos=[(1,96,57), (1,106,10), (2,37,55)])
  eq.42: bits[1] = eq(f_bexp__1, literal.39, id=42, pos=[(1,96,6), (1,106,10), (2,37,55)])
  eq.43: bits[1] = eq(f_fraction__1, literal.41, id=43, pos=[(1,96,44), (1,106,10), (2,37,55)])
  f_sign: bits[1] = tuple_index(f, index=0, id=45, pos=[(1,106,18), (2,37,55)])
  ret and.48: bits[1] = and(eq.42, eq.43, f_sign, id=48, pos=[(1,106,10), (2,37,55)])
}