package hfloat16

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

fn __apfloat__zero__5_10(sign: bits[1] id=1) -> (bits[1], bits[5], bits[10]) {
  literal.4: bits[5] = literal(value=0, id=4, pos=[(0,131,47)])
  literal.5: bits[10] = literal(value=0, id=5, pos=[(0,131,73)])
  EXP_SZ: bits[32] = literal(value=5, id=2, pos=[(0,130,12)])
  FRACTION_SZ: bits[32] = literal(value=10, id=3, pos=[(0,130,25)])
  ret tuple.6: (bits[1], bits[5], bits[10]) = tuple(sign, literal.4, literal.5, id=6, pos=[(0,131,33)])
}

top fn __hfloat16__zero(sign: bits[1] id=7) -> (bits[1], bits[5], bits[10]) {
  ret invoke.8: (bits[1], bits[5], bits[10]) = invoke(sign, to_apply=__apfloat__zero__5_10, id=8, pos=[(1,36,45)])
}