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.10: bits[32] = literal(value=0, id=10)
  ne.11: bits[1] = ne(EXPONENT_IS_NEGATIVE, literal.10, id=11, pos=[(0,74,7)])
  neg.5: bits[32] = neg(BINARY_UEXPONENT, id=5, pos=[(0,74,38)])
  ret sel.8: bits[32] = sel(ne.11, cases=[BINARY_UEXPONENT, neg.5], id=8, pos=[(0,74,4)])
}