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,4393,40), (2,453,50)])
  literal.581: bits[8] = literal(value=129, id=581, pos=[(0,266,6), (0,4268,31), (0,4302,47), (0,4393,21), (2,453,50)])
  exp: bits[8] = add(f_bexp__2, literal.581, id=582, pos=[(0,266,6), (0,4268,31), (0,4302,47), (0,4393,21), (2,453,50)])
  literal.585: bits[23] = literal(value=8388607, id=585, pos=[(0,4270,40), (0,4302,47), (0,4393,21), (2,453,50)])
  sign_ext.586: bits[32] = sign_ext(exp, new_bit_count=32, id=586, pos=[(0,4302,47), (0,4393,21), (2,453,50)])
  literal.587: bits[1] = literal(value=0, id=587, pos=[(0,4295,45), (0,4393,21), (2,453,50)])
  tuple_index.583: bits[23] = tuple_index(f, index=2, id=583, pos=[(0,809,4), (0,4393,40), (2,453,50)])
  fractional_mask__2: bits[23] = shrl(literal.585, sign_ext.586, id=589, pos=[(0,4270,40), (0,4302,47), (0,4393,21), (2,453,50)])
  concat.590: bits[24] = concat(literal.587, tuple_index.583, id=590, pos=[(0,4299,45), (0,4393,21), (2,453,50)])
  concat.591: bits[24] = concat(literal.587, fractional_mask__2, id=591, pos=[(0,4299,45), (0,4393,21), (2,453,50)])
  fraction_up__2: bits[24] = add(concat.590, concat.591, id=593, pos=[(0,4255,9), (0,4299,45), (0,4393,21), (2,453,50)])
  literal.578: bits[8] = literal(value=0, id=578, pos=[(0,804,14), (0,809,27), (0,4393,40), (2,453,50)])
  bit_slice.599: bits[23] = bit_slice(fraction_up__2, start=0, width=23, id=599, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,453,50)])
  bit_slice.602: bits[7] = bit_slice(f_bexp__2, start=0, width=7, id=602, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,453,50)])
  bit_slice.598: bits[1] = bit_slice(fraction_up__2, start=23, width=1, id=598, pos=[(0,4258,46), (0,4299,45), (0,4393,21), (2,453,50)])
  eq.579: bits[1] = eq(f_bexp__2, literal.578, id=579, pos=[(0,804,5), (0,809,27), (0,4393,40), (2,453,50)])
  literal.584: bits[23] = literal(value=0, id=584, pos=[(0,131,73), (0,809,37), (0,4393,40), (2,453,50)])
  not.604: bits[23] = not(bit_slice.599, id=604, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,453,50)])
  not.605: bits[23] = not(tuple_index.583, id=605, pos=[(0,4272,29), (0,4302,47), (0,4393,21), (2,453,50)])
  bit_slice.612: bits[1] = bit_slice(f_bexp__2, start=7, width=1, id=612, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,453,50)])
  and_reduce.613: bits[1] = and_reduce(bit_slice.602, id=613, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,453,50)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=614, pos=[(0,809,60), (0,4393,40), (2,453,50)])
  not.764: bits[1] = not(bit_slice.598, id=764)
  EXPR_MASK: bits[8] = literal(value=255, id=592, pos=[(0,39,36), (0,4282,13), (0,4393,21), (2,453,50)])
  not.676: bits[1] = not(eq.579, id=676, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  ne.674: bits[1] = ne(tuple_index.583, literal.584, id=674, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  fraction_integral__2: bits[23] = nor(not.604, fractional_mask__2, id=617, pos=[(0,4260,39), (0,4299,45), (0,4393,21), (2,453,50)])
  fraction_integral__4: bits[23] = nor(not.605, fractional_mask__2, id=618, pos=[(0,4272,29), (0,4302,47), (0,4393,21), (2,453,50)])
  or.737: bits[1] = or(bit_slice.612, and_reduce.613, id=737, pos=[(0,4289,19), (0,4393,21), (2,453,50)])
  literal.597: bits[7] = literal(value=0, id=597, pos=[(0,4299,45), (0,4393,21), (2,453,50)])
  nor.765: bits[1] = nor(f_sign__1, not.764, id=765)
  not.645: bits[1] = not(f_sign__1, id=645, pos=[(0,4393,21), (2,453,50)])
  eq.594: bits[1] = eq(f_bexp__2, EXPR_MASK, id=594, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  nand.677: bits[1] = nand(not.676, ne.674, id=677, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  literal.620: bits[8] = literal(value=150, id=620, pos=[(0,4188,17), (0,4287,35), (0,4393,21), (2,453,50)])
  sel.624: bits[23] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=624, pos=[(0,4297,19), (0,4393,21), (2,453,50)])
  sign_ext.696: bits[23] = sign_ext(or.737, new_bit_count=23, id=696, pos=[(0,4289,19), (0,4393,21), (2,453,50)])
  concat.729: bits[8] = concat(literal.597, nor.765, id=729)
  sign_ext.772: bits[7] = sign_ext(not.645, new_bit_count=7, id=772, pos=[(0,4290,16), (0,4393,21), (2,453,50)])
  and.600: bits[1] = and(eq.594, nand.677, id=600, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  ult.628: bits[1] = ult(f_bexp__2, literal.620, id=628, pos=[(0,4188,5), (0,4287,35), (0,4393,21), (2,453,50)])
  and.697: bits[23] = and(sel.624, sign_ext.696, id=697, pos=[(0,4289,19), (0,4393,21), (2,453,50)])
  nor.621: bits[1] = nor(bit_slice.612, and_reduce.613, id=621, pos=[(0,4215,5), (0,4289,43), (0,4393,21), (2,453,50)])
  add.683: bits[8] = add(f_bexp__2, concat.729, id=683)
  concat.773: bits[8] = concat(literal.587, sign_ext.772, id=773, pos=[(0,4290,16), (0,4393,21), (2,453,50)])
  or.734: bits[1] = or(eq.579, and.600, id=734, pos=[(0,4393,21), (2,453,50)])
  and.778: bits[1] = and(eq.594, ne.674, id=778, pos=[(0,4393,21), (2,453,50)])
  sel.634: bits[23] = sel(ult.628, cases=[tuple_index.583, and.697], id=634, pos=[(0,4287,12), (0,4393,21), (2,453,50)])
  nor.775: bits[1] = nor(eq.579, eq.594, id=775, pos=[(0,4393,21), (2,453,50)])
  sel.629: bits[8] = sel(nor.621, cases=[add.683, concat.773], id=629, pos=[(0,4289,19), (0,4393,21), (2,453,50)])
  concat.732: bits[2] = concat(or.734, and.778, id=732, pos=[(0,4393,21), (2,453,50)])
  literal.658: bits[1] = literal(value=1, id=658, pos=[(0,4282,13), (0,4393,21), (2,453,50)])
  bit_slice.714: bits[1] = bit_slice(sel.634, start=22, width=1, id=714, pos=[(0,4393,21), (2,453,50)])
  bit_slice.710: bits[22] = bit_slice(sel.634, start=0, width=22, id=710, pos=[(0,4393,21), (2,453,50)])
  sign_ext.769: bits[22] = sign_ext(nor.775, new_bit_count=22, id=769, pos=[(0,4393,21), (2,453,50)])
  concat.731: bits[2] = concat(eq.579, eq.594, id=731, pos=[(0,4393,21), (2,453,50)])
  sel.632: bits[8] = sel(ult.628, cases=[f_bexp__2, sel.629], id=632, pos=[(0,4287,12), (0,4393,21), (2,453,50)])
  priority_sel.715: bits[1] = priority_sel(concat.732, cases=[literal.658, literal.587], default=bit_slice.714, id=715, pos=[(0,4393,21), (2,453,50)])
  and.770: bits[22] = and(bit_slice.710, sign_ext.769, id=770, pos=[(0,4393,21), (2,453,50)])
  nor.646: bits[1] = nor(and.778, not.645, id=646, pos=[(0,4393,21), (2,453,50)])
  priority_sel.702: bits[8] = priority_sel(concat.731, cases=[EXPR_MASK, literal.578], default=sel.632, id=702, pos=[(0,4393,21), (2,453,50)])
  concat.716: bits[23] = concat(priority_sel.715, and.770, id=716, pos=[(0,4393,21), (2,453,50)])
  ret tuple.638: (bits[1], bits[8], bits[23]) = tuple(nor.646, priority_sel.702, concat.716, id=638, pos=[(0,4393,21), (2,453,50)])
}