package fixed_point

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

top fn __fixed_point__binary_exponent(EXPONENT_IS_NEGATIVE: bits[32] id=1, BINARY_UEXPONENT: bits[32] id=2) -> bits[32] {
  literal.3: bits[32] = literal(value=0, id=3, pos=[(0,74,30)])
  neg.5: bits[32] = neg(BINARY_UEXPONENT, id=5, pos=[(0,74,38)])
  ugt.4: bits[1] = ugt(EXPONENT_IS_NEGATIVE, literal.3, id=4, pos=[(0,74,7)])
  zero_ext.7: bits[32] = zero_ext(BINARY_UEXPONENT, new_bit_count=32, id=7)
  zero_ext.6: bits[32] = zero_ext(neg.5, new_bit_count=32, id=6)
  ret sel.8: bits[32] = sel(ugt.4, cases=[zero_ext.7, zero_ext.6], id=8, pos=[(0,74,4)])
}