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__floor_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=575, pos=[(0,804,5), (0,809,27), (0,4604,41), (2,184,52)])
  literal.579: bits[11] = literal(value=1025, id=579, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])
  exp__1: bits[11] = add(f_bexp__2, literal.579, id=580, pos=[(0,266,6), (0,4238,31), (0,4509,45), (0,4604,22), (2,184,52)])
  literal.583: bits[52] = literal(value=4503599627370495, id=583, pos=[(0,4240,40), (0,4509,45), (0,4604,22), (2,184,52)])
  sign_ext.584: bits[32] = sign_ext(exp__1, new_bit_count=32, id=584, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  literal.585: bits[1] = literal(value=0, id=585, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  tuple_index.581: bits[52] = tuple_index(f, index=2, id=581, pos=[(0,809,4), (0,4604,41), (2,184,52)])
  fractional_mask__1: bits[52] = shrl(literal.583, sign_ext.584, id=587, pos=[(0,4240,40), (0,4509,45), (0,4604,22), (2,184,52)])
  literal.576: bits[11] = literal(value=0, id=576, pos=[(0,804,14), (0,809,27), (0,4604,41), (2,184,52)])
  concat.588: bits[53] = concat(literal.585, tuple_index.581, id=588, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  concat.589: bits[53] = concat(literal.585, fractional_mask__1, id=589, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  eq.577: bits[1] = eq(f_bexp__2, literal.576, id=577, pos=[(0,804,5), (0,809,27), (0,4604,41), (2,184,52)])
  fraction_up__2: bits[53] = add(concat.588, concat.589, id=591, pos=[(0,4259,9), (0,4509,45), (0,4604,22), (2,184,52)])
  not.653: bits[1] = not(eq.577, id=653, pos=[(0,809,4), (0,4604,41), (2,184,52)])
  bit_slice.597: bits[52] = bit_slice(fraction_up__2, start=0, width=52, id=597, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])
  bit_slice.600: bits[10] = bit_slice(f_bexp__2, start=0, width=10, id=600, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])
  sign_ext.654: bits[52] = sign_ext(not.653, new_bit_count=52, id=654, pos=[(0,809,4), (0,4604,41), (2,184,52)])
  not.602: bits[52] = not(tuple_index.581, id=602, pos=[(0,4276,29), (0,4512,47), (0,4604,22), (2,184,52)])
  not.603: bits[52] = not(bit_slice.597, id=603, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])
  bit_slice.610: bits[1] = bit_slice(f_bexp__2, start=10, width=1, id=610, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])
  and_reduce.611: bits[1] = and_reduce(bit_slice.600, id=611, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])
  literal.595: bits[10] = literal(value=0, id=595, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  bit_slice.596: bits[1] = bit_slice(fraction_up__2, start=52, width=1, id=596, pos=[(0,4262,46), (0,4509,45), (0,4604,22), (2,184,52)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=612, pos=[(0,809,60), (0,4604,41), (2,184,52)])
  EXPR_MASK: bits[11] = literal(value=2047, id=590, pos=[(0,39,36), (0,4492,13), (0,4604,22), (2,184,52)])
  f_fraction__1: bits[52] = and(tuple_index.581, sign_ext.654, id=655, pos=[(0,809,4), (0,4604,41), (2,184,52)])
  literal.582: bits[52] = literal(value=0, id=582, pos=[(0,131,73), (0,809,37), (0,4604,41), (2,184,52)])
  fraction_integral__2: bits[52] = nor(not.602, fractional_mask__1, id=615, pos=[(0,4276,29), (0,4512,47), (0,4604,22), (2,184,52)])
  fraction_integral__4: bits[52] = nor(not.603, fractional_mask__1, id=616, pos=[(0,4264,39), (0,4509,45), (0,4604,22), (2,184,52)])
  or.731: bits[1] = or(bit_slice.610, and_reduce.611, id=731, pos=[(0,4499,19), (0,4604,22), (2,184,52)])
  concat.601: bits[11] = concat(literal.595, bit_slice.596, id=601, pos=[(0,4509,45), (0,4604,22), (2,184,52)])
  sign_ext.656: bits[11] = sign_ext(f_sign__1, new_bit_count=11, id=656)
  eq.592: bits[1] = eq(f_bexp__2, EXPR_MASK, id=592, pos=[(0,4492,13), (0,4604,22), (2,184,52)])
  eq.593: bits[1] = eq(f_fraction__1, literal.582, id=593, pos=[(0,4492,13), (0,4604,22), (2,184,52)])
  literal.618: bits[11] = literal(value=1075, id=618, pos=[(0,4192,17), (0,4497,35), (0,4604,22), (2,184,52)])
  sel.622: bits[52] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=622, pos=[(0,4507,19), (0,4604,22), (2,184,52)])
  sign_ext.661: bits[52] = sign_ext(or.731, new_bit_count=52, id=661, pos=[(0,4499,19), (0,4604,22), (2,184,52)])
  and.657: bits[11] = and(concat.601, sign_ext.656, id=657)
  bit_slice.767: bits[10] = bit_slice(sign_ext.656, start=0, width=10, id=767, pos=[(0,4500,16), (0,4604,22), (2,184,52)])
  and.598: bits[1] = and(eq.592, eq.593, id=598, pos=[(0,4492,13), (0,4604,22), (2,184,52)])
  not.840: bits[1] = not(eq.592, id=840, pos=[(0,4604,22), (2,184,52)])
  ult.626: bits[1] = ult(f_bexp__2, literal.618, id=626, pos=[(0,4192,5), (0,4497,35), (0,4604,22), (2,184,52)])
  and.662: bits[52] = and(sel.622, sign_ext.661, id=662, pos=[(0,4499,19), (0,4604,22), (2,184,52)])
  nor.619: bits[1] = nor(bit_slice.610, and_reduce.611, id=619, pos=[(0,4219,5), (0,4499,43), (0,4604,22), (2,184,52)])
  add.652: bits[11] = add(f_bexp__2, and.657, id=652)
  concat.794: bits[11] = concat(literal.585, bit_slice.767, id=794, pos=[(0,4500,16), (0,4604,22), (2,184,52)])
  or.720: bits[1] = or(eq.577, and.598, id=720, pos=[(0,4604,22), (2,184,52)])
  nor.848: bits[1] = nor(not.840, eq.593, id=848, pos=[(0,4604,22), (2,184,52)])
  sel.632: bits[52] = sel(ult.626, cases=[tuple_index.581, and.662], id=632, pos=[(0,4497,12), (0,4604,22), (2,184,52)])
  nor.843: bits[1] = nor(eq.577, eq.592, id=843, pos=[(0,4604,22), (2,184,52)])
  sel.627: bits[11] = sel(nor.619, cases=[add.652, concat.794], id=627, pos=[(0,4499,19), (0,4604,22), (2,184,52)])
  concat.714: bits[2] = concat(or.720, nor.848, id=714, pos=[(0,4604,22), (2,184,52)])
  literal.805: bits[1] = literal(value=1, id=805, pos=[(0,4492,13), (0,4604,22), (2,184,52)])
  bit_slice.692: bits[1] = bit_slice(sel.632, start=51, width=1, id=692, pos=[(0,4604,22), (2,184,52)])
  bit_slice.688: bits[51] = bit_slice(sel.632, start=0, width=51, id=688, pos=[(0,4604,22), (2,184,52)])
  sign_ext.788: bits[51] = sign_ext(nor.843, new_bit_count=51, id=788, pos=[(0,4604,22), (2,184,52)])
  not.643: bits[1] = not(f_sign__1, id=643, pos=[(0,4604,22), (2,184,52)])
  concat.713: bits[2] = concat(eq.577, eq.592, id=713, pos=[(0,4604,22), (2,184,52)])
  sel.630: bits[11] = sel(ult.626, cases=[f_bexp__2, sel.627], id=630, pos=[(0,4497,12), (0,4604,22), (2,184,52)])
  priority_sel.693: bits[1] = priority_sel(concat.714, cases=[literal.805, literal.585], default=bit_slice.692, id=693, pos=[(0,4604,22), (2,184,52)])
  and.789: bits[51] = and(bit_slice.688, sign_ext.788, id=789, pos=[(0,4604,22), (2,184,52)])
  nor.644: bits[1] = nor(nor.848, not.643, id=644, pos=[(0,4604,22), (2,184,52)])
  priority_sel.667: bits[11] = priority_sel(concat.713, cases=[EXPR_MASK, literal.576], default=sel.630, id=667, pos=[(0,4604,22), (2,184,52)])
  concat.694: bits[52] = concat(priority_sel.693, and.789, id=694, pos=[(0,4604,22), (2,184,52)])
  ret tuple.636: (bits[1], bits[11], bits[52]) = tuple(nor.644, priority_sel.667, concat.694, id=636, pos=[(0,4604,22), (2,184,52)])
}