package bfloat16

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/bfloat16.x"

top fn __bfloat16__unbiased_exponent(f: (bits[1], bits[8], bits[7]) id=20) -> bits[8] {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=33, pos=[(1,266,6), (2,49,30)])
  literal.37: bits[8] = literal(value=129, id=37, pos=[(1,266,6), (2,49,30)])
  ret add.38: bits[8] = add(f_bexp__1, literal.37, id=38, pos=[(1,266,6), (2,49,30)])
}