package hfloat16

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

fn __apfloat__max_normal_exp__5() -> bits[5] {
  EXP_SZ: bits[32] = literal(value=5, id=1, pos=[(0,196,22)])
  literal.3: bits[32] = literal(value=1, id=3, pos=[(0,197,32)])
  literal.2: bits[5] = literal(value=1, id=2, pos=[(0,197,6)])
  sub.4: bits[32] = sub(EXP_SZ, literal.3, id=4, pos=[(0,197,23)])
  shll.5: bits[5] = shll(literal.2, sub.4, id=5, pos=[(0,197,6)])
  literal.6: bits[5] = literal(value=1, id=6, pos=[(0,197,42)])
  sub.7: bits[5] = sub(shll.5, literal.6, id=7, pos=[(0,197,6)])
  ret zero_ext.8: bits[5] = zero_ext(sub.7, new_bit_count=5, id=8)
}

top fn __hfloat16__max_normal_exp() -> bits[5] {
  ret invoke.9: bits[5] = invoke(to_apply=__apfloat__max_normal_exp__5, id=9, pos=[(1,46,71)])
}