package hfloat16

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/hfloat16.x"

fn __std__mask_bits__5() -> bits[5] {
  literal.2: bits[5] = literal(value=0, id=2, pos=[(0,835,41)])
  X: bits[32] = literal(value=5, id=1, pos=[(0,835,17)])
  ret not.3: bits[5] = not(literal.2, id=3, pos=[(0,835,40)])
}

fn __apfloat__qnan__5_10() -> (bits[1], bits[5], bits[10]) {
  FRACTION_SZ: bits[32] = literal(value=10, id=5, pos=[(1,50,25)])
  literal.10: bits[32] = literal(value=1, id=10, pos=[(1,54,57)])
  sub.11: bits[32] = sub(FRACTION_SZ, literal.10, id=11, pos=[(1,54,43)])
  invoke.7: bits[5] = invoke(to_apply=__std__mask_bits__5, id=7, pos=[(1,53,28)])
  literal.9: bits[10] = literal(value=1, id=9, pos=[(1,54,18)])
  bit_slice.12: bits[10] = bit_slice(sub.11, start=0, width=10, id=12)
  literal.6: bits[1] = literal(value=0, id=6, pos=[(1,52,14)])
  zero_ext.8: bits[5] = zero_ext(invoke.7, new_bit_count=5, id=8)
  shll.13: bits[10] = shll(literal.9, bit_slice.12, id=13, pos=[(1,54,18)])
  EXP_SZ: bits[32] = literal(value=5, id=4, pos=[(1,50,12)])
  ret tuple.14: (bits[1], bits[5], bits[10]) = tuple(literal.6, zero_ext.8, shll.13, id=14, pos=[(1,51,33)])
}

top fn __hfloat16__qnan() -> (bits[1], bits[5], bits[10]) {
  ret invoke.15: (bits[1], bits[5], bits[10]) = invoke(to_apply=__apfloat__qnan__5_10, id=15, pos=[(2,24,37)])
}