package fixed_point

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

top fn __fixed_point__binary_exponent_after_truncation(num_bits_result: bits[32] id=19, num_bits_a: bits[32] id=20, binary_exponent_a: bits[32] id=21) -> bits[32] {
  after_all.22: token = after_all(id=22)
  uge.39: bits[1] = uge(num_bits_a, num_bits_result, id=39, pos=[(0,282,8)])
  bits_reduced_by: bits[32] = sub(num_bits_a, num_bits_result, id=42, pos=[(0,283,26)])
  assert_43: token = assert(after_all.22, uge.39, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/fixed_point.x:282:12-283:102", label="truncation_cannot_increase_the_number_of_bits_in_the_result", id=46)
  ret add.44: bits[32] = add(binary_exponent_a, bits_reduced_by, id=44, pos=[(0,284,5)])
}