package float64

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/float64.x"

top fn __float64__ceil_daz(f: (bits[1], bits[11], bits[52]) id=222) -> (bits[1], bits[11], bits[52]) {
  f_bexp__2: bits[11] = tuple_index(f, index=1, id=577, pos=[(0,804,5), (0,809,27), (0,4397,40), (2,180,50)])
  literal.581: bits[11] = literal(value=1025, id=581, pos=[(0,266,6), (0,4238,31), (0,4303,45), (0,4397,21), (2,180,50)])
  exp__1: bits[11] = add(f_bexp__2, literal.581, id=582, pos=[(0,266,6), (0,4238,31), (0,4303,45), (0,4397,21), (2,180,50)])
  literal.585: bits[52] = literal(value=4503599627370495, id=585, pos=[(0,4240,40), (0,4303,45), (0,4397,21), (2,180,50)])
  sign_ext.586: bits[32] = sign_ext(exp__1, new_bit_count=32, id=586, pos=[(0,4303,45), (0,4397,21), (2,180,50)])
  literal.587: bits[1] = literal(value=0, id=587, pos=[(0,4303,45), (0,4397,21), (2,180,50)])
  tuple_index.583: bits[52] = tuple_index(f, index=2, id=583, pos=[(0,809,4), (0,4397,40), (2,180,50)])
  fractional_mask__1: bits[52] = shrl(literal.585, sign_ext.586, id=589, pos=[(0,4240,40), (0,4303,45), (0,4397,21), (2,180,50)])
  literal.578: bits[11] = literal(value=0, id=578, pos=[(0,804,14), (0,809,27), (0,4397,40), (2,180,50)])
  concat.590: bits[53] = concat(literal.587, tuple_index.583, id=590, pos=[(0,4303,45), (0,4397,21), (2,180,50)])
  concat.591: bits[53] = concat(literal.587, fractional_mask__1, id=591, pos=[(0,4303,45), (0,4397,21), (2,180,50)])
  eq.579: bits[1] = eq(f_bexp__2, literal.578, id=579, pos=[(0,804,5), (0,809,27), (0,4397,40), (2,180,50)])
  fraction_up__2: bits[53] = add(concat.590, concat.591, id=593, pos=[(0,4259,9), (0,4303,45), (0,4397,21), (2,180,50)])
  not.655: bits[1] = not(eq.579, id=655, pos=[(0,809,4), (0,4397,40), (2,180,50)])
  bit_slice.599: bits[52] = bit_slice(fraction_up__2, start=0, width=52, id=599, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,180,50)])
  bit_slice.602: bits[10] = bit_slice(f_bexp__2, start=0, width=10, id=602, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,180,50)])
  bit_slice.598: bits[1] = bit_slice(fraction_up__2, start=52, width=1, id=598, pos=[(0,4262,46), (0,4303,45), (0,4397,21), (2,180,50)])
  sign_ext.656: bits[52] = sign_ext(not.655, new_bit_count=52, id=656, pos=[(0,809,4), (0,4397,40), (2,180,50)])
  not.604: bits[52] = not(bit_slice.599, id=604, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,180,50)])
  not.605: bits[52] = not(tuple_index.583, id=605, pos=[(0,4276,29), (0,4306,47), (0,4397,21), (2,180,50)])
  bit_slice.612: bits[1] = bit_slice(f_bexp__2, start=10, width=1, id=612, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,180,50)])
  and_reduce.613: bits[1] = and_reduce(bit_slice.602, id=613, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,180,50)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=614, pos=[(0,809,60), (0,4397,40), (2,180,50)])
  not.780: bits[1] = not(bit_slice.598, id=780)
  EXPR_MASK: bits[11] = literal(value=2047, id=592, pos=[(0,39,36), (0,4286,13), (0,4397,21), (2,180,50)])
  f_fraction__1: bits[52] = and(tuple_index.583, sign_ext.656, id=657, pos=[(0,809,4), (0,4397,40), (2,180,50)])
  literal.584: bits[52] = literal(value=0, id=584, pos=[(0,131,73), (0,809,37), (0,4397,40), (2,180,50)])
  fraction_integral__2: bits[52] = nor(not.604, fractional_mask__1, id=617, pos=[(0,4264,39), (0,4303,45), (0,4397,21), (2,180,50)])
  fraction_integral__4: bits[52] = nor(not.605, fractional_mask__1, id=618, pos=[(0,4276,29), (0,4306,47), (0,4397,21), (2,180,50)])
  or.738: bits[1] = or(bit_slice.612, and_reduce.613, id=738, pos=[(0,4293,19), (0,4397,21), (2,180,50)])
  literal.597: bits[10] = literal(value=0, id=597, pos=[(0,4303,45), (0,4397,21), (2,180,50)])
  nor.781: bits[1] = nor(f_sign__1, not.780, id=781)
  not.658: bits[1] = not(f_sign__1, id=658)
  eq.594: bits[1] = eq(f_bexp__2, EXPR_MASK, id=594, pos=[(0,4286,13), (0,4397,21), (2,180,50)])
  eq.595: bits[1] = eq(f_fraction__1, literal.584, id=595, pos=[(0,4286,13), (0,4397,21), (2,180,50)])
  literal.620: bits[11] = literal(value=1075, id=620, pos=[(0,4192,17), (0,4291,35), (0,4397,21), (2,180,50)])
  sel.624: bits[52] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=624, pos=[(0,4301,19), (0,4397,21), (2,180,50)])
  sign_ext.665: bits[52] = sign_ext(or.738, new_bit_count=52, id=665, pos=[(0,4293,19), (0,4397,21), (2,180,50)])
  concat.719: bits[11] = concat(literal.597, nor.781, id=719)
  sign_ext.802: bits[10] = sign_ext(not.658, new_bit_count=10, id=802, pos=[(0,4294,16), (0,4397,21), (2,180,50)])
  and.600: bits[1] = and(eq.594, eq.595, id=600, pos=[(0,4286,13), (0,4397,21), (2,180,50)])
  not.852: bits[1] = not(eq.594, id=852, pos=[(0,4397,21), (2,180,50)])
  ult.628: bits[1] = ult(f_bexp__2, literal.620, id=628, pos=[(0,4192,5), (0,4291,35), (0,4397,21), (2,180,50)])
  and.666: bits[52] = and(sel.624, sign_ext.665, id=666, pos=[(0,4293,19), (0,4397,21), (2,180,50)])
  nor.621: bits[1] = nor(bit_slice.612, and_reduce.613, id=621, pos=[(0,4219,5), (0,4293,43), (0,4397,21), (2,180,50)])
  add.654: bits[11] = add(f_bexp__2, concat.719, id=654)
  concat.806: bits[11] = concat(literal.587, sign_ext.802, id=806, pos=[(0,4294,16), (0,4397,21), (2,180,50)])
  or.727: bits[1] = or(eq.579, and.600, id=727, pos=[(0,4397,21), (2,180,50)])
  nor.857: bits[1] = nor(not.852, eq.595, id=857, pos=[(0,4397,21), (2,180,50)])
  sel.634: bits[52] = sel(ult.628, cases=[tuple_index.583, and.666], id=634, pos=[(0,4291,12), (0,4397,21), (2,180,50)])
  nor.855: bits[1] = nor(eq.579, eq.594, id=855, pos=[(0,4397,21), (2,180,50)])
  sel.629: bits[11] = sel(nor.621, cases=[add.654, concat.806], id=629, pos=[(0,4293,19), (0,4397,21), (2,180,50)])
  concat.721: bits[2] = concat(or.727, nor.857, id=721, pos=[(0,4397,21), (2,180,50)])
  literal.817: bits[1] = literal(value=1, id=817, pos=[(0,4286,13), (0,4397,21), (2,180,50)])
  bit_slice.696: bits[1] = bit_slice(sel.634, start=51, width=1, id=696, pos=[(0,4397,21), (2,180,50)])
  bit_slice.692: bits[51] = bit_slice(sel.634, start=0, width=51, id=692, pos=[(0,4397,21), (2,180,50)])
  sign_ext.798: bits[51] = sign_ext(nor.855, new_bit_count=51, id=798, pos=[(0,4397,21), (2,180,50)])
  concat.720: bits[2] = concat(eq.579, eq.594, id=720, pos=[(0,4397,21), (2,180,50)])
  sel.632: bits[11] = sel(ult.628, cases=[f_bexp__2, sel.629], id=632, pos=[(0,4291,12), (0,4397,21), (2,180,50)])
  priority_sel.697: bits[1] = priority_sel(concat.721, cases=[literal.817, literal.587], default=bit_slice.696, id=697, pos=[(0,4397,21), (2,180,50)])
  and.799: bits[51] = and(bit_slice.692, sign_ext.798, id=799, pos=[(0,4397,21), (2,180,50)])
  nor.646: bits[1] = nor(nor.857, not.658, id=646, pos=[(0,4397,21), (2,180,50)])
  priority_sel.671: bits[11] = priority_sel(concat.720, cases=[EXPR_MASK, literal.578], default=sel.632, id=671, pos=[(0,4397,21), (2,180,50)])
  concat.698: bits[52] = concat(priority_sel.697, and.799, id=698, pos=[(0,4397,21), (2,180,50)])
  ret tuple.638: (bits[1], bits[11], bits[52]) = tuple(nor.646, priority_sel.671, concat.698, id=638, pos=[(0,4397,21), (2,180,50)])
}