package float32

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

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