package fixed_point

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

fn __itok__fixed_point__binary_exponent_after_truncation(__token: token id=1, __activated: bits[1] id=2, num_bits_result: bits[32] id=3, num_bits_a: bits[32] id=4, binary_exponent_a: bits[32] id=5) -> (token, bits[32]) {
  not.8: bits[1] = not(__activated, id=8)
  uge.6: bits[1] = uge(num_bits_a, num_bits_result, id=6, pos=[(0,282,8)])
  bits_reduced_by: bits[32] = sub(num_bits_a, num_bits_result, id=12, pos=[(0,283,26)])
  or.9: bits[1] = or(not.8, uge.6, id=9)
  sign_ext.13: bits[33] = sign_ext(binary_exponent_a, new_bit_count=33, id=13)
  zero_ext.14: bits[33] = zero_ext(bits_reduced_by, new_bit_count=33, id=14)
  assert.10: token = assert(__token, or.9, 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=10)
  add.15: bits[33] = add(sign_ext.13, zero_ext.14, id=15, pos=[(0,284,5)])
  after_all.17: token = after_all(assert.10, id=17)
  bit_slice.16: bits[32] = bit_slice(add.15, start=0, width=32, id=16)
  literal.7: bits[8][59] = literal(value=[116, 114, 117, 110, 99, 97, 116, 105, 111, 110, 95, 99, 97, 110, 110, 111, 116, 95, 105, 110, 99, 114, 101, 97, 115, 101, 95, 116, 104, 101, 95, 110, 117, 109, 98, 101, 114, 95, 111, 102, 95, 98, 105, 116, 115, 95, 105, 110, 95, 116, 104, 101, 95, 114, 101, 115, 117, 108, 116], id=7, pos=[(0,282,39)])
  tuple.11: () = tuple(id=11)
  ret tuple.18: (token, bits[32]) = tuple(after_all.17, bit_slice.16, id=18)
}

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)
  literal.23: bits[1] = literal(value=1, id=23)
  invoke.24: (token, bits[32]) = invoke(after_all.22, literal.23, num_bits_result, num_bits_a, binary_exponent_a, to_apply=__itok__fixed_point__binary_exponent_after_truncation, id=24)
  ret tuple_index.25: bits[32] = tuple_index(invoke.24, index=1, id=25)
}