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_nan(f: (bits[1], bits[8], bits[23]) id=14) -> bits[1] {
  f_bexp: bits[8] = tuple_index(f, index=1, id=24, pos=[(1,71,6), (2,29,47)])
  literal.25: bits[8] = literal(value=255, id=25, pos=[(1,71,29), (2,29,47)])
  f_fraction: bits[23] = tuple_index(f, index=2, id=26, pos=[(1,71,44), (2,29,47)])
  literal.27: bits[23] = literal(value=0, id=27, pos=[(1,71,57), (2,29,47)])
  eq.28: bits[1] = eq(f_bexp, literal.25, id=28, pos=[(1,71,6), (2,29,47)])
  ne.29: bits[1] = ne(f_fraction, literal.27, id=29, pos=[(1,71,44), (2,29,47)])
  ret and.31: bits[1] = and(eq.28, ne.29, id=31, pos=[(1,71,6), (2,29,47)])
}