package fixed_point

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

top fn __fixed_point__is_negative(binary_exponent: bits[32] id=1) -> bits[32] {
  literal.16: bits[31] = literal(value=0, id=16, pos=[(0,82,4)])
  bit_slice.8: bits[1] = bit_slice(binary_exponent, start=31, width=1, id=8, pos=[(0,82,7)])
  ret concat.20: bits[32] = concat(literal.16, bit_slice.8, id=20, pos=[(0,82,4)])
}