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,4397,40), (2,130,52)])
  literal.581: bits[5] = literal(value=17, id=581, pos=[(0,266,6), (0,4238,31), (0,4303,45), (0,4397,21), (2,130,52)])
  exp__1: bits[5] = add(f_bexp__2, literal.581, id=582, pos=[(0,266,6), (0,4238,31), (0,4303,45), (0,4397,21), (2,130,52)])
  literal.585: bits[10] = literal(value=1023, id=585, pos=[(0,4240,40), (0,4303,45), (0,4397,21), (2,130,52)])
  sign_ext.586: bits[32] = sign_ext(exp__1, new_bit_count=32, id=586, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  literal.587: bits[1] = literal(value=0, id=587, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  tuple_index.583: bits[10] = tuple_index(f, index=2, id=583, pos=[(0,809,4), (0,4397,40), (2,130,52)])
  fractional_mask__1: bits[10] = shrl(literal.585, sign_ext.586, id=589, pos=[(0,4240,40), (0,4303,45), (0,4397,21), (2,130,52)])
  literal.578: bits[5] = literal(value=0, id=578, pos=[(0,804,14), (0,809,27), (0,4397,40), (2,130,52)])
  concat.590: bits[11] = concat(literal.587, tuple_index.583, id=590, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  concat.591: bits[11] = concat(literal.587, fractional_mask__1, id=591, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  eq.579: bits[1] = eq(f_bexp__2, literal.578, id=579, pos=[(0,804,5), (0,809,27), (0,4397,40), (2,130,52)])
  fraction_up__2: bits[11] = add(concat.590, concat.591, id=593, pos=[(0,4259,9), (0,4303,45), (0,4397,21), (2,130,52)])
  not.654: bits[1] = not(eq.579, id=654, pos=[(0,809,4), (0,4397,40), (2,130,52)])
  bit_slice.599: bits[10] = bit_slice(fraction_up__2, start=0, width=10, id=599, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,130,52)])
  bit_slice.602: bits[4] = bit_slice(f_bexp__2, start=0, width=4, id=602, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,130,52)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=614, pos=[(0,809,60), (0,4397,40), (2,130,52)])
  sign_ext.655: bits[10] = sign_ext(not.654, new_bit_count=10, id=655, pos=[(0,809,4), (0,4397,40), (2,130,52)])
  not.604: bits[10] = not(bit_slice.599, id=604, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,130,52)])
  not.605: bits[10] = not(tuple_index.583, id=605, pos=[(0,4276,29), (0,4306,47), (0,4397,21), (2,130,52)])
  bit_slice.612: bits[1] = bit_slice(f_bexp__2, start=4, width=1, id=612, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,130,52)])
  and_reduce.613: bits[1] = and_reduce(bit_slice.602, id=613, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,130,52)])
  literal.597: bits[4] = literal(value=0, id=597, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  bit_slice.598: bits[1] = bit_slice(fraction_up__2, start=10, width=1, id=598, pos=[(0,4262,46), (0,4303,45), (0,4397,21), (2,130,52)])
  not.657: bits[1] = not(f_sign__1, id=657)
  EXPR_MASK: bits[5] = literal(value=31, id=592, pos=[(0,39,36), (0,4286,13), (0,4397,21), (2,130,52)])
  f_fraction__1: bits[10] = and(tuple_index.583, sign_ext.655, id=656, pos=[(0,809,4), (0,4397,40), (2,130,52)])
  literal.584: bits[10] = literal(value=0, id=584, pos=[(0,131,73), (0,809,37), (0,4397,40), (2,130,52)])
  fraction_integral__2: bits[10] = nor(not.604, fractional_mask__1, id=617, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,130,52)])
  fraction_integral__4: bits[10] = nor(not.605, fractional_mask__1, id=618, pos=[(0,4276,29), (0,4306,47), (0,4397,21), (2,130,52)])
  or.734: bits[1] = or(bit_slice.612, and_reduce.613, id=734, pos=[(0,4293,19), (0,4397,21), (2,130,52)])
  concat.603: bits[5] = concat(literal.597, bit_slice.598, id=603, pos=[(0,4303,45), (0,4397,21), (2,130,52)])
  sign_ext.658: bits[5] = sign_ext(not.657, new_bit_count=5, id=658)
  eq.594: bits[1] = eq(f_bexp__2, EXPR_MASK, id=594, pos=[(0,4286,13), (0,4397,21), (2,130,52)])
  eq.595: bits[1] = eq(f_fraction__1, literal.584, id=595, pos=[(0,4286,13), (0,4397,21), (2,130,52)])
  literal.620: bits[5] = literal(value=25, id=620, pos=[(0,4192,17), (0,4291,35), (0,4397,21), (2,130,52)])
  sel.624: bits[10] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=624, pos=[(0,4301,19), (0,4397,21), (2,130,52)])
  sign_ext.664: bits[10] = sign_ext(or.734, new_bit_count=10, id=664, pos=[(0,4293,19), (0,4397,21), (2,130,52)])
  and.659: bits[5] = and(concat.603, sign_ext.658, id=659)
  bit_slice.770: bits[4] = bit_slice(sign_ext.658, start=0, width=4, id=770, pos=[(0,4294,16), (0,4397,21), (2,130,52)])
  and.600: bits[1] = and(eq.594, eq.595, id=600, pos=[(0,4286,13), (0,4397,21), (2,130,52)])
  not.843: bits[1] = not(eq.594, id=843, pos=[(0,4397,21), (2,130,52)])
  ult.628: bits[1] = ult(f_bexp__2, literal.620, id=628, pos=[(0,4192,5), (0,4291,35), (0,4397,21), (2,130,52)])
  and.665: bits[10] = and(sel.624, sign_ext.664, id=665, pos=[(0,4293,19), (0,4397,21), (2,130,52)])
  nor.621: bits[1] = nor(bit_slice.612, and_reduce.613, id=621, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,130,52)])
  add.653: bits[5] = add(f_bexp__2, and.659, id=653)
  concat.797: bits[5] = concat(literal.587, bit_slice.770, id=797, pos=[(0,4294,16), (0,4397,21), (2,130,52)])
  or.723: bits[1] = or(eq.579, and.600, id=723, pos=[(0,4397,21), (2,130,52)])
  nor.851: bits[1] = nor(not.843, eq.595, id=851, pos=[(0,4397,21), (2,130,52)])
  sel.634: bits[10] = sel(ult.628, cases=[tuple_index.583, and.665], id=634, pos=[(0,4291,12), (0,4397,21), (2,130,52)])
  nor.846: bits[1] = nor(eq.579, eq.594, id=846, pos=[(0,4397,21), (2,130,52)])
  sel.629: bits[5] = sel(nor.621, cases=[add.653, concat.797], id=629, pos=[(0,4293,19), (0,4397,21), (2,130,52)])
  concat.717: bits[2] = concat(or.723, nor.851, id=717, pos=[(0,4397,21), (2,130,52)])
  literal.808: bits[1] = literal(value=1, id=808, pos=[(0,4286,13), (0,4397,21), (2,130,52)])
  bit_slice.695: bits[1] = bit_slice(sel.634, start=9, width=1, id=695, pos=[(0,4397,21), (2,130,52)])
  bit_slice.691: bits[9] = bit_slice(sel.634, start=0, width=9, id=691, pos=[(0,4397,21), (2,130,52)])
  sign_ext.791: bits[9] = sign_ext(nor.846, new_bit_count=9, id=791, pos=[(0,4397,21), (2,130,52)])
  concat.716: bits[2] = concat(eq.579, eq.594, id=716, pos=[(0,4397,21), (2,130,52)])
  sel.632: bits[5] = sel(ult.628, cases=[f_bexp__2, sel.629], id=632, pos=[(0,4291,12), (0,4397,21), (2,130,52)])
  priority_sel.696: bits[1] = priority_sel(concat.717, cases=[literal.808, literal.587], default=bit_slice.695, id=696, pos=[(0,4397,21), (2,130,52)])
  and.792: bits[9] = and(bit_slice.691, sign_ext.791, id=792, pos=[(0,4397,21), (2,130,52)])
  nor.646: bits[1] = nor(nor.851, not.657, id=646, pos=[(0,4397,21), (2,130,52)])
  priority_sel.670: bits[5] = priority_sel(concat.716, cases=[EXPR_MASK, literal.578], default=sel.632, id=670, pos=[(0,4397,21), (2,130,52)])
  concat.697: bits[10] = concat(priority_sel.696, and.792, id=697, pos=[(0,4397,21), (2,130,52)])
  ret tuple.638: (bits[1], bits[5], bits[10]) = tuple(nor.646, priority_sel.670, concat.697, id=638, pos=[(0,4397,21), (2,130,52)])
}