package float64

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

fn __apfloat__min_normal_exp__11() -> bits[11] {
  EXP_SZ: bits[32] = literal(value=11, id=1, pos=[(0,207,22)])
  literal.3: bits[32] = literal(value=1, id=3, pos=[(0,208,59)])
  literal.2: bits[11] = literal(value=1, id=2, pos=[(0,208,33)])
  sub.4: bits[32] = sub(EXP_SZ, literal.3, id=4, pos=[(0,208,50)])
  shll.5: bits[11] = shll(literal.2, sub.4, id=5, pos=[(0,208,33)])
  literal.6: bits[11] = literal(value=2, id=6, pos=[(0,208,69)])
  sub.7: bits[11] = sub(shll.5, literal.6, id=7, pos=[(0,208,33)])
  minus_min_normal_exp: bits[11] = zero_ext(sub.7, new_bit_count=11, id=8)
  ret neg.9: bits[11] = neg(minus_min_normal_exp, id=9, pos=[(0,209,4)])
}

top fn __float64__min_normal_exp() -> bits[11] {
  F64_EXP_SZ: bits[32] = literal(value=11, id=10, pos=[(1,17,23)])
  ret invoke.11: bits[11] = invoke(to_apply=__apfloat__min_normal_exp__11, id=11, pos=[(1,48,67)])
}