package fixed_point

file_number 0 "/inputs/subtree/xls/dslx/stdlib/fixed_point.x"

top fn __fixed_point__binary_uexponent(binary_exponent: bits[32] id=1) -> bits[32] {
  bit_slice.9: bits[1] = bit_slice(binary_exponent, start=31, width=1, id=9, pos=[(0,90,7)])
  neg.4: bits[32] = neg(binary_exponent, id=4, pos=[(0,90,34)])
  ret sel.7: bits[32] = sel(bit_slice.9, cases=[binary_exponent, neg.4], id=7, pos=[(0,90,4)])
}