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"

top fn __hfloat16__max_normal(sign: bits[1] id=15) -> (bits[1], bits[5], bits[10]) {
  literal.26: bits[5] = literal(value=30, id=26, pos=[(1,171,29), (2,41,23)])
  literal.27: bits[10] = literal(value=1023, id=27, pos=[(1,172,32), (2,41,23)])
  ret tuple.28: (bits[1], bits[5], bits[10]) = tuple(sign, literal.26, literal.27, id=28, pos=[(1,169,33), (2,41,23)])
}