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__increment_fraction(input: (bits[1], bits[8], bits[7]) id=12) -> (bits[1], bits[8], bits[7]) {
  literal.128: bits[2] = literal(value=0, id=128, pos=[(2,117,23)])
  input_fraction: bits[7] = tuple_index(input, index=2, id=14, pos=[(2,117,39)])
  concat.129: bits[9] = concat(literal.128, input_fraction, id=129, pos=[(2,117,23)])
  new_fraction_associative_element: bits[9] = literal(value=129, id=114, pos=[(2,117,23)])
  new_fraction: bits[9] = add(concat.129, new_fraction_associative_element, id=113, pos=[(2,117,23)])
  new_fraction_msb: bits[1] = bit_slice(new_fraction, start=8, width=1, id=115, pos=[(2,118,39)])
  input_bexp: bits[8] = tuple_index(input, index=1, id=21, pos=[(2,119,34)])
  literal.83: bits[8] = literal(value=253, id=83, pos=[(2,119,34)])
  not.117: bits[1] = not(new_fraction_msb, id=117)
  ugt.84: bits[1] = ugt(input_bexp, literal.83, id=84, pos=[(2,119,34)])
  nor.118: bits[1] = nor(not.117, ugt.84, id=118)
  and.97: bits[1] = and(new_fraction_msb, ugt.84, id=97)
  literal.47: bits[8] = literal(value=1, id=47, pos=[(2,125,31)])
  concat.63: bits[2] = concat(nor.118, and.97, id=63)
  literal.124: bits[8] = literal(value=255, id=124, pos=[(1,78,28), (2,26,43), (2,121,27)])
  add.48: bits[8] = add(input_bexp, literal.47, id=48, pos=[(2,125,23)])
  literal.125: bits[7] = literal(value=0, id=125, pos=[(1,79,18), (2,26,43), (2,121,27)])
  bit_slice.116: bits[7] = bit_slice(new_fraction, start=1, width=7, id=116, pos=[(2,126,34)])
  bit_slice.61: bits[7] = bit_slice(new_fraction, start=0, width=7, id=61, pos=[(2,129,83)])
  input_sign: bits[1] = tuple_index(input, index=0, id=34, pos=[(2,121,33)])
  priority_sel.105: bits[8] = priority_sel(concat.63, cases=[literal.124, add.48], default=input_bexp, id=105)
  priority_sel.109: bits[7] = priority_sel(concat.63, cases=[literal.125, bit_slice.116], default=bit_slice.61, id=109)
  ret tuple.110: (bits[1], bits[8], bits[7]) = tuple(input_sign, priority_sel.105, priority_sel.109, id=110)
}