package float64

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

top fn __float64__max_normal(sign: bits[1] id=15) -> (bits[1], bits[11], bits[52]) {
  literal.28: bits[11] = literal(value=2046, id=28, pos=[(1,171,29), (2,42,56)])
  literal.29: bits[52] = literal(value=4503599627370495, id=29, pos=[(1,172,32), (2,42,56)])
  ret tuple.30: (bits[1], bits[11], bits[52]) = tuple(sign, literal.28, literal.29, id=30, pos=[(1,169,33), (2,42,56)])
}