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__has_negative_exponent(f: (bits[1], bits[8], bits[7]) id=20) -> bits[1] {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=38, pos=[(1,4215,5), (2,176,78)])
  bit_slice.39: bits[7] = bit_slice(f_bexp__1, start=0, width=7, id=39, pos=[(1,4215,5), (2,176,78)])
  bit_slice.42: bits[1] = bit_slice(f_bexp__1, start=7, width=1, id=42, pos=[(1,4215,5), (2,176,78)])
  and_reduce.43: bits[1] = and_reduce(bit_slice.39, id=43, pos=[(1,4215,5), (2,176,78)])
  ret nor.46: bits[1] = nor(bit_slice.42, and_reduce.43, id=46, pos=[(1,4215,5), (2,176,78)])
}