package hfloat16

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

top fn __hfloat16__ceil_daz(f: (bits[1], bits[5], bits[10]) id=222) -> (bits[1], bits[5], bits[10]) {
  f_bexp__2: bits[5] = tuple_index(f, index=1, id=577, pos=[(0,804,5), (0,809,27), (0,4393,40), (2,130,52)])
  literal.581: bits[5] = literal(value=17, id=581, pos=[(0,266,6), (0,4268,31), (0,4302,47), (0,4393,21), (2,130,52)])
  exp: bits[5] = add(f_bexp__2, literal.581, id=582, pos=[(0,266,6), (0,4268,31), (0,4302,47), (0,4393,21), (2,130,52)])
  literal.585: bits[10] = literal(value=1023, id=585, pos=[(0,4270,40), (0,4302,47), (0,4393,21), (2,130,52)])
  sign_ext.586: bits[32] = sign_ext(exp, new_bit_count=32, id=586, pos=[(0,4302,47), (0,4393,21), (2,130,52)])
  literal.587: bits[1] = literal(value=0, id=587, pos=[(0,4295,45), (0,4393,21), (2,130,52)])
  tuple_index.583: bits[10] = tuple_index(f, index=2, id=583, pos=[(0,809,4), (0,4393,40), (2,130,52)])
  fractional_mask__2: bits[10] = shrl(literal.585, sign_ext.586, id=589, pos=[(0,4270,40), (0,4302,47), (0,4393,21), (2,130,52)])
  concat.590: bits[11] = concat(literal.587, tuple_index.583, id=590, pos=[(0,4299,45), (0,4393,21), (2,130,52)])
  concat.591: bits[11] = concat(literal.587, fractional_mask__2, id=591, pos=[(0,4299,45), (0,4393,21), (2,130,52)])
  fraction_up__2: bits[11] = add(concat.590, concat.591, id=593, pos=[(0,4255,9), (0,4299,45), (0,4393,21), (2,130,52)])
  literal.578: bits[5] = literal(value=0, id=578, pos=[(0,804,14), (0,809,27), (0,4393,40), (2,130,52)])
  bit_slice.599: bits[10] = bit_slice(fraction_up__2, start=0, width=10, id=599, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,130,52)])
  bit_slice.602: bits[4] = bit_slice(f_bexp__2, start=0, width=4, id=602, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,130,52)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=614, pos=[(0,809,60), (0,4393,40), (2,130,52)])
  eq.579: bits[1] = eq(f_bexp__2, literal.578, id=579, pos=[(0,804,5), (0,809,27), (0,4393,40), (2,130,52)])
  literal.584: bits[10] = literal(value=0, id=584, pos=[(0,131,73), (0,809,37), (0,4393,40), (2,130,52)])
  not.604: bits[10] = not(bit_slice.599, id=604, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,130,52)])
  not.605: bits[10] = not(tuple_index.583, id=605, pos=[(0,4272,29), (0,4302,47), (0,4393,21), (2,130,52)])
  bit_slice.612: bits[1] = bit_slice(f_bexp__2, start=4, width=1, id=612, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,130,52)])
  and_reduce.613: bits[1] = and_reduce(bit_slice.602, id=613, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,130,52)])
  literal.597: bits[4] = literal(value=0, id=597, pos=[(0,4299,45), (0,4393,21), (2,130,52)])
  bit_slice.598: bits[1] = bit_slice(fraction_up__2, start=10, width=1, id=598, pos=[(0,4258,46), (0,4299,45), (0,4393,21), (2,130,52)])
  not.645: bits[1] = not(f_sign__1, id=645, pos=[(0,4393,21), (2,130,52)])
  EXPR_MASK: bits[5] = literal(value=31, id=592, pos=[(0,39,36), (0,4282,13), (0,4393,21), (2,130,52)])
  not.676: bits[1] = not(eq.579, id=676, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  ne.674: bits[1] = ne(tuple_index.583, literal.584, id=674, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  fraction_integral__2: bits[10] = nor(not.604, fractional_mask__2, id=617, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,130,52)])
  fraction_integral__4: bits[10] = nor(not.605, fractional_mask__2, id=618, pos=[(0,4272,29), (0,4302,47), (0,4393,21), (2,130,52)])
  or.734: bits[1] = or(bit_slice.612, and_reduce.613, id=734, pos=[(0,4289,19), (0,4393,21), (2,130,52)])
  concat.603: bits[5] = concat(literal.597, bit_slice.598, id=603, pos=[(0,4299,45), (0,4393,21), (2,130,52)])
  sign_ext.685: bits[5] = sign_ext(not.645, new_bit_count=5, id=685)
  eq.594: bits[1] = eq(f_bexp__2, EXPR_MASK, id=594, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  nand.677: bits[1] = nand(not.676, ne.674, id=677, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  literal.620: bits[5] = literal(value=25, id=620, pos=[(0,4188,17), (0,4287,35), (0,4393,21), (2,130,52)])
  sel.624: bits[10] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=624, pos=[(0,4297,19), (0,4393,21), (2,130,52)])
  sign_ext.696: bits[10] = sign_ext(or.734, new_bit_count=10, id=696, pos=[(0,4289,19), (0,4393,21), (2,130,52)])
  and.686: bits[5] = and(concat.603, sign_ext.685, id=686)
  bit_slice.751: bits[4] = bit_slice(sign_ext.685, start=0, width=4, id=751, pos=[(0,4290,16), (0,4393,21), (2,130,52)])
  and.600: bits[1] = and(eq.594, nand.677, id=600, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  ult.628: bits[1] = ult(f_bexp__2, literal.620, id=628, pos=[(0,4188,5), (0,4287,35), (0,4393,21), (2,130,52)])
  and.697: bits[10] = and(sel.624, sign_ext.696, id=697, pos=[(0,4289,19), (0,4393,21), (2,130,52)])
  nor.621: bits[1] = nor(bit_slice.612, and_reduce.613, id=621, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,130,52)])
  add.683: bits[5] = add(f_bexp__2, and.686, id=683)
  concat.765: bits[5] = concat(literal.587, bit_slice.751, id=765, pos=[(0,4290,16), (0,4393,21), (2,130,52)])
  or.731: bits[1] = or(eq.579, and.600, id=731, pos=[(0,4393,21), (2,130,52)])
  and.773: bits[1] = and(eq.594, ne.674, id=773, pos=[(0,4393,21), (2,130,52)])
  sel.634: bits[10] = sel(ult.628, cases=[tuple_index.583, and.697], id=634, pos=[(0,4287,12), (0,4393,21), (2,130,52)])
  nor.767: bits[1] = nor(eq.579, eq.594, id=767, pos=[(0,4393,21), (2,130,52)])
  sel.629: bits[5] = sel(nor.621, cases=[add.683, concat.765], id=629, pos=[(0,4289,19), (0,4393,21), (2,130,52)])
  concat.729: bits[2] = concat(or.731, and.773, id=729, pos=[(0,4393,21), (2,130,52)])
  literal.658: bits[1] = literal(value=1, id=658, pos=[(0,4282,13), (0,4393,21), (2,130,52)])
  bit_slice.714: bits[1] = bit_slice(sel.634, start=9, width=1, id=714, pos=[(0,4393,21), (2,130,52)])
  bit_slice.710: bits[9] = bit_slice(sel.634, start=0, width=9, id=710, pos=[(0,4393,21), (2,130,52)])
  sign_ext.763: bits[9] = sign_ext(nor.767, new_bit_count=9, id=763, pos=[(0,4393,21), (2,130,52)])
  concat.728: bits[2] = concat(eq.579, eq.594, id=728, pos=[(0,4393,21), (2,130,52)])
  sel.632: bits[5] = sel(ult.628, cases=[f_bexp__2, sel.629], id=632, pos=[(0,4287,12), (0,4393,21), (2,130,52)])
  priority_sel.715: bits[1] = priority_sel(concat.729, cases=[literal.658, literal.587], default=bit_slice.714, id=715, pos=[(0,4393,21), (2,130,52)])
  and.764: bits[9] = and(bit_slice.710, sign_ext.763, id=764, pos=[(0,4393,21), (2,130,52)])
  nor.646: bits[1] = nor(and.773, not.645, id=646, pos=[(0,4393,21), (2,130,52)])
  priority_sel.702: bits[5] = priority_sel(concat.728, cases=[EXPR_MASK, literal.578], default=sel.632, id=702, pos=[(0,4393,21), (2,130,52)])
  concat.716: bits[10] = concat(priority_sel.715, and.764, id=716, pos=[(0,4393,21), (2,130,52)])
  ret tuple.638: (bits[1], bits[5], bits[10]) = tuple(nor.646, priority_sel.702, concat.716, id=638, pos=[(0,4393,21), (2,130,52)])
}