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__is_zero_or_subnormal(f: (bits[1], bits[5], bits[10]) id=7) -> bits[1] {
  f_bexp: bits[5] = tuple_index(f, index=1, id=11, pos=[(0,804,5), (1,85,33)])
  literal.12: bits[5] = literal(value=0, id=12, pos=[(0,804,14), (1,85,33)])
  ret eq.13: bits[1] = eq(f_bexp, literal.12, id=13, pos=[(0,804,5), (1,85,33)])
}