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] {
  literal.2: bits[32] = literal(value=0, id=2, pos=[(0,90,25)])
  neg.4: bits[32] = neg(binary_exponent, id=4, pos=[(0,90,34)])
  slt.3: bits[1] = slt(binary_exponent, literal.2, id=3, pos=[(0,90,7)])
  sign_ext.6: bits[32] = sign_ext(binary_exponent, new_bit_count=32, id=6)
  sign_ext.5: bits[32] = sign_ext(neg.4, new_bit_count=32, id=5)
  ret sel.7: bits[32] = sel(slt.3, cases=[sign_ext.6, sign_ext.5], id=7, pos=[(0,90,4)])
}