package hfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/hfloat16.x"

top fn __hfloat16__subnormals_to_zero(f: (bits[1], bits[5], bits[10]) id=20) -> (bits[1], bits[5], bits[10]) {
  f_bexp__1: bits[5] = tuple_index(f, index=1, id=41, pos=[(0,804,5), (0,809,27), (1,81,31)])
  literal.42: bits[5] = literal(value=0, id=42, pos=[(0,804,14), (0,809,27), (1,81,31)])
  ne.53: bits[1] = ne(f_bexp__1, literal.42, id=53, pos=[(0,809,4), (1,81,31)])
  tuple_index.44: bits[10] = tuple_index(f, index=2, id=44, pos=[(0,809,4), (1,81,31)])
  sign_ext.51: bits[10] = sign_ext(ne.53, new_bit_count=10, id=51, pos=[(0,809,4), (1,81,31)])
  f_sign: bits[1] = tuple_index(f, index=0, id=46, pos=[(0,809,60), (1,81,31)])
  and.52: bits[10] = and(tuple_index.44, sign_ext.51, id=52, pos=[(0,809,4), (1,81,31)])
  ret tuple.49: (bits[1], bits[5], bits[10]) = tuple(f_sign, f_bexp__1, and.52, id=49, pos=[(0,809,4), (1,81,31)])
}