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__ceil_with_denorms(f: (bits[1], bits[8], bits[7]) id=201) -> (bits[1], bits[8], bits[7]) {
  f_bexp__1: bits[8] = tuple_index(f, index=1, id=468, pos=[(1,266,6), (1,4234,31), (1,4299,45), (2,178,70)])
  literal.469: bits[8] = literal(value=129, id=469, pos=[(1,266,6), (1,4268,31), (1,4302,47), (2,178,70)])
  exp: bits[8] = add(f_bexp__1, literal.469, id=470, pos=[(1,266,6), (1,4268,31), (1,4302,47), (2,178,70)])
  literal.471: bits[7] = literal(value=127, id=471, pos=[(1,4270,40), (1,4302,47), (2,178,70)])
  sign_ext.472: bits[32] = sign_ext(exp, new_bit_count=32, id=472, pos=[(1,4302,47), (2,178,70)])
  literal.473: bits[1] = literal(value=0, id=473, pos=[(1,4295,45), (2,178,70)])
  f_fraction__1: bits[7] = tuple_index(f, index=2, id=474, pos=[(1,4255,9), (1,4299,45), (2,178,70)])
  fractional_mask__2: bits[7] = shrl(literal.471, sign_ext.472, id=475, pos=[(1,4270,40), (1,4302,47), (2,178,70)])
  concat.476: bits[8] = concat(literal.473, f_fraction__1, id=476, pos=[(1,4299,45), (2,178,70)])
  concat.477: bits[8] = concat(literal.473, fractional_mask__2, id=477, pos=[(1,4299,45), (2,178,70)])
  fraction_up__2: bits[8] = add(concat.476, concat.477, id=481, pos=[(1,4255,9), (1,4299,45), (2,178,70)])
  bit_slice.486: bits[7] = bit_slice(fraction_up__2, start=0, width=7, id=486, pos=[(1,4260,39), (1,4299,45), (2,178,70)])
  bit_slice.489: bits[7] = bit_slice(f_bexp__1, start=0, width=7, id=489, pos=[(1,4215,5), (1,4289,43), (2,178,70)])
  literal.480: bits[8] = literal(value=0, id=480, pos=[(1,4290,16), (2,178,70)])
  literal.479: bits[7] = literal(value=0, id=479, pos=[(1,4289,19), (2,178,70)])
  EXPR_MASK: bits[8] = literal(value=255, id=478, pos=[(1,39,36), (1,4282,13), (2,178,70)])
  bit_slice.485: bits[1] = bit_slice(fraction_up__2, start=7, width=1, id=485, pos=[(1,4258,46), (1,4299,45), (2,178,70)])
  not.491: bits[7] = not(bit_slice.486, id=491, pos=[(1,4260,39), (1,4299,45), (2,178,70)])
  not.492: bits[7] = not(f_fraction__1, id=492, pos=[(1,4272,29), (1,4302,47), (2,178,70)])
  bit_slice.499: bits[1] = bit_slice(f_bexp__1, start=7, width=1, id=499, pos=[(1,4215,5), (1,4289,43), (2,178,70)])
  and_reduce.500: bits[1] = and_reduce(bit_slice.489, id=500, pos=[(1,4215,5), (1,4289,43), (2,178,70)])
  eq.484: bits[1] = eq(f_bexp__1, literal.480, id=484, pos=[(1,4282,13), (2,178,70)])
  eq.483: bits[1] = eq(f_fraction__1, literal.479, id=483, pos=[(1,4282,13), (2,178,70)])
  eq.482: bits[1] = eq(f_bexp__1, EXPR_MASK, id=482, pos=[(1,4282,13), (2,178,70)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=501, pos=[(1,4261,21), (1,4299,45), (2,178,70)])
  not.632: bits[1] = not(bit_slice.485, id=632)
  fraction_integral__4: bits[7] = nor(not.491, fractional_mask__2, id=504, pos=[(1,4260,39), (1,4299,45), (2,178,70)])
  fraction_integral__2: bits[7] = nor(not.492, fractional_mask__2, id=505, pos=[(1,4272,29), (1,4302,47), (2,178,70)])
  or.606: bits[1] = or(bit_slice.499, and_reduce.500, id=606, pos=[(1,4289,19), (2,178,70)])
  and.488: bits[1] = and(eq.484, eq.483, id=488, pos=[(1,4282,13), (2,178,70)])
  and.487: bits[1] = and(eq.482, eq.483, id=487, pos=[(1,4282,13), (2,178,70)])
  not.630: bits[1] = not(eq.482, id=630, pos=[(2,178,70)])
  nor.633: bits[1] = nor(f_sign__1, not.632, id=633)
  not.535: bits[1] = not(f_sign__1, id=535, pos=[(2,178,70)])
  literal.507: bits[8] = literal(value=134, id=507, pos=[(1,4188,17), (1,4287,35), (2,178,70)])
  sel.511: bits[7] = sel(f_sign__1, cases=[fraction_integral__4, fraction_integral__2], id=511, pos=[(1,4297,19), (2,178,70)])
  sign_ext.566: bits[7] = sign_ext(or.606, new_bit_count=7, id=566, pos=[(1,4289,19), (2,178,70)])
  or.604: bits[1] = or(and.488, and.487, id=604, pos=[(2,178,70)])
  nor.643: bits[1] = nor(not.630, eq.483, id=643, pos=[(2,178,70)])
  concat.599: bits[8] = concat(literal.479, nor.633, id=599)
  sign_ext.639: bits[7] = sign_ext(not.535, new_bit_count=7, id=639, pos=[(1,4290,16), (2,178,70)])
  ult.515: bits[1] = ult(f_bexp__1, literal.507, id=515, pos=[(1,4188,5), (1,4287,35), (2,178,70)])
  and.567: bits[7] = and(sel.511, sign_ext.566, id=567, pos=[(1,4289,19), (2,178,70)])
  or.621: bits[1] = or(or.604, nor.643, id=621, pos=[(2,178,70)])
  nor.508: bits[1] = nor(bit_slice.499, and_reduce.500, id=508, pos=[(1,4215,5), (1,4289,43), (2,178,70)])
  add.553: bits[8] = add(f_bexp__1, concat.599, id=553)
  concat.640: bits[8] = concat(literal.473, sign_ext.639, id=640, pos=[(1,4290,16), (2,178,70)])
  sel.521: bits[7] = sel(ult.515, cases=[f_fraction__1, and.567], id=521, pos=[(1,4287,12), (2,178,70)])
  not.641: bits[1] = not(or.621, id=641, pos=[(2,178,70)])
  sel.516: bits[8] = sel(nor.508, cases=[add.553, concat.640], id=516, pos=[(1,4289,19), (2,178,70)])
  concat.602: bits[2] = concat(or.604, nor.643, id=602, pos=[(2,178,70)])
  literal.546: bits[1] = literal(value=1, id=546, pos=[(2,178,70)])
  bit_slice.584: bits[1] = bit_slice(sel.521, start=6, width=1, id=584, pos=[(2,178,70)])
  bit_slice.580: bits[6] = bit_slice(sel.521, start=0, width=6, id=580, pos=[(2,178,70)])
  sign_ext.636: bits[6] = sign_ext(not.641, new_bit_count=6, id=636, pos=[(2,178,70)])
  concat.601: bits[2] = concat(and.488, eq.482, id=601, pos=[(2,178,70)])
  sel.519: bits[8] = sel(ult.515, cases=[f_bexp__1, sel.516], id=519, pos=[(1,4287,12), (2,178,70)])
  priority_sel.585: bits[1] = priority_sel(concat.602, cases=[literal.546, literal.473], default=bit_slice.584, id=585, pos=[(2,178,70)])
  and.637: bits[6] = and(bit_slice.580, sign_ext.636, id=637, pos=[(2,178,70)])
  nor.536: bits[1] = nor(nor.643, not.535, id=536, pos=[(2,178,70)])
  priority_sel.572: bits[8] = priority_sel(concat.601, cases=[EXPR_MASK, literal.480], default=sel.519, id=572, pos=[(2,178,70)])
  concat.586: bits[7] = concat(priority_sel.585, and.637, id=586, pos=[(2,178,70)])
  ret tuple.525: (bits[1], bits[8], bits[7]) = tuple(nor.536, priority_sel.572, concat.586, id=525, pos=[(2,178,70)])
}