package float32

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

fn __std__signed_max_value__8_7() -> bits[8] {
  literal.3: bits[8] = literal(value=1, id=3, pos=[(0,47,6)])
  N_MINUS_ONE: bits[32] = literal(value=7, id=2, pos=[(0,46,32)])
  shll.4: bits[8] = shll(literal.3, N_MINUS_ONE, id=4, pos=[(0,47,6)])
  literal.5: bits[8] = literal(value=1, id=5, pos=[(0,47,32)])
  sub.6: bits[8] = sub(shll.4, literal.5, id=6, pos=[(0,47,6)])
  N: bits[32] = literal(value=8, id=1, pos=[(0,46,24)])
  ret sign_ext.7: bits[8] = sign_ext(sub.6, new_bit_count=8, id=7)
}

fn __apfloat__bias__8(unbiased_exponent: bits[8] id=8) -> bits[8] {
  BIAS: bits[8] = invoke(to_apply=__std__signed_max_value__8_7, id=10, pos=[(1,343,38)])
  add.11: bits[8] = add(unbiased_exponent, BIAS, id=11, pos=[(1,344,5)])
  EXP_SZ: bits[32] = literal(value=8, id=9, pos=[(1,342,12)])
  ret sign_ext.12: bits[8] = sign_ext(add.11, new_bit_count=8, id=12)
}

fn __apfloat__has_fractional_part__8_23(f: (bits[1], bits[8], bits[23]) id=13) -> bits[1] {
  FRACTION_SZ: bits[32] = literal(value=23, id=15, pos=[(1,4191,40)])
  bit_slice.17: bits[8] = bit_slice(FRACTION_SZ, start=0, width=8, id=17)
  f_bexp: bits[8] = tuple_index(f, index=1, id=16, pos=[(1,4192,5)])
  invoke.18: bits[8] = invoke(bit_slice.17, to_apply=__apfloat__bias__8, id=18, pos=[(1,4192,17)])
  EXP_SZ: bits[32] = literal(value=8, id=14, pos=[(1,4191,27)])
  ret ult.19: bits[1] = ult(f_bexp, invoke.18, id=19, pos=[(1,4192,5)])
}

top fn __float32__has_fractional_part(f: (bits[1], bits[8], bits[23]) id=20) -> bits[1] {
  ret invoke.21: bits[1] = invoke(f, to_apply=__apfloat__has_fractional_part__8_23, id=21, pos=[(2,447,73)])
}