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"

top fn __float32__fixed_fraction(input_float: (bits[1], bits[8], bits[23]) id=24) -> bits[23] {
  input_float_bexp__1: bits[8] = tuple_index(input_float, index=1, id=107, pos=[(1,266,6), (2,52,30), (2,196,61)])
  literal.113: bits[8] = literal(value=129, id=113, pos=[(1,266,6), (2,52,30), (2,196,61)])
  unbiased_input_float_exponent: bits[8] = add(input_float_bexp__1, literal.113, id=114, pos=[(1,266,6), (2,52,30), (2,196,61)])
  literal.98: bits[1] = literal(value=1, id=98, pos=[(2,205,12)])
  input_float_fraction: bits[23] = tuple_index(input_float, index=2, id=27, pos=[(2,195,62)])
  bit_slice.86: bits[5] = bit_slice(unbiased_input_float_exponent, start=0, width=5, id=86, pos=[(2,196,61)])
  input_fraction_magnitude_shift_bits: bits[24] = concat(literal.98, input_float_fraction, id=95, pos=[(2,205,12)])
  fraction_right_shift: bits[5] = neg(bit_slice.86, id=87, pos=[(2,204,40)])
  literal.31: bits[8] = literal(value=0, id=31, pos=[(2,198,81)])
  fraction_left_shift: bits[3] = bit_slice(unbiased_input_float_exponent, start=0, width=3, id=35)
  shrl.81: bits[24] = shrl(input_fraction_magnitude_shift_bits, fraction_right_shift, id=81, pos=[(2,205,12)])
  sgt.32: bits[1] = sgt(unbiased_input_float_exponent, literal.31, id=32, pos=[(2,198,43)])
  shll.116: bits[23] = shll(input_float_fraction, fraction_left_shift, id=116)
  bit_slice.117: bits[23] = bit_slice(shrl.81, start=0, width=23, id=117)
  input_fixed_magnitude__1: bits[23] = priority_sel(sgt.32, cases=[shll.116], default=bit_slice.117, id=90)
  literal.99: bits[23] = literal(value=0, id=99, pos=[(2,210,53)])
  input_float_sign: bits[1] = tuple_index(input_float, index=0, id=47, pos=[(2,210,44)])
  ne.85: bits[1] = ne(input_fixed_magnitude__1, literal.99, id=85, pos=[(2,210,53)])
  and.50: bits[1] = and(input_float_sign, ne.85, id=50, pos=[(2,210,44)])
  sub.121: bits[23] = sub(literal.99, input_fixed_magnitude__1, id=121, pos=[(2,211,9)])
  ret fixed_fraction__1: bits[23] = sel(and.50, cases=[input_fixed_magnitude__1, sub.121], id=93, pos=[(2,210,30)])
}