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__floor_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=575, pos=[(0,804,5), (0,809,27), (0,4600,41), (2,134,54)])
  literal.579: bits[5] = literal(value=17, id=579, pos=[(0,266,6), (0,4268,31), (0,4508,47), (0,4600,22), (2,134,54)])
  exp: bits[5] = add(f_bexp__2, literal.579, id=580, pos=[(0,266,6), (0,4268,31), (0,4508,47), (0,4600,22), (2,134,54)])
  literal.583: bits[10] = literal(value=1023, id=583, pos=[(0,4270,40), (0,4508,47), (0,4600,22), (2,134,54)])
  sign_ext.584: bits[32] = sign_ext(exp, new_bit_count=32, id=584, pos=[(0,4508,47), (0,4600,22), (2,134,54)])
  literal.585: bits[1] = literal(value=0, id=585, pos=[(0,4501,46), (0,4600,22), (2,134,54)])
  tuple_index.581: bits[10] = tuple_index(f, index=2, id=581, pos=[(0,809,4), (0,4600,41), (2,134,54)])
  fractional_mask__2: bits[10] = shrl(literal.583, sign_ext.584, id=587, pos=[(0,4270,40), (0,4508,47), (0,4600,22), (2,134,54)])
  concat.588: bits[11] = concat(literal.585, tuple_index.581, id=588, pos=[(0,4505,45), (0,4600,22), (2,134,54)])
  concat.589: bits[11] = concat(literal.585, fractional_mask__2, id=589, pos=[(0,4505,45), (0,4600,22), (2,134,54)])
  fraction_up__2: bits[11] = add(concat.588, concat.589, id=591, pos=[(0,4255,9), (0,4505,45), (0,4600,22), (2,134,54)])
  literal.576: bits[5] = literal(value=0, id=576, pos=[(0,804,14), (0,809,27), (0,4600,41), (2,134,54)])
  bit_slice.597: bits[10] = bit_slice(fraction_up__2, start=0, width=10, id=597, pos=[(0,4260,39), (0,4505,45), (0,4600,22), (2,134,54)])
  bit_slice.600: bits[4] = bit_slice(f_bexp__2, start=0, width=4, id=600, pos=[(0,4215,5), (0,4495,43), (0,4600,22), (2,134,54)])
  eq.577: bits[1] = eq(f_bexp__2, literal.576, id=577, pos=[(0,804,5), (0,809,27), (0,4600,41), (2,134,54)])
  literal.582: bits[10] = literal(value=0, id=582, pos=[(0,131,73), (0,809,37), (0,4600,41), (2,134,54)])
  not.602: bits[10] = not(tuple_index.581, id=602, pos=[(0,4272,29), (0,4508,47), (0,4600,22), (2,134,54)])
  not.603: bits[10] = not(bit_slice.597, id=603, pos=[(0,4260,39), (0,4505,45), (0,4600,22), (2,134,54)])
  bit_slice.610: bits[1] = bit_slice(f_bexp__2, start=4, width=1, id=610, pos=[(0,4215,5), (0,4495,43), (0,4600,22), (2,134,54)])
  and_reduce.611: bits[1] = and_reduce(bit_slice.600, id=611, pos=[(0,4215,5), (0,4495,43), (0,4600,22), (2,134,54)])
  literal.595: bits[4] = literal(value=0, id=595, pos=[(0,4505,45), (0,4600,22), (2,134,54)])
  bit_slice.596: bits[1] = bit_slice(fraction_up__2, start=10, width=1, id=596, pos=[(0,4258,46), (0,4505,45), (0,4600,22), (2,134,54)])
  f_sign__1: bits[1] = tuple_index(f, index=0, id=612, pos=[(0,809,60), (0,4600,41), (2,134,54)])
  EXPR_MASK: bits[5] = literal(value=31, id=590, pos=[(0,39,36), (0,4488,13), (0,4600,22), (2,134,54)])
  not.674: bits[1] = not(eq.577, id=674, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  ne.672: bits[1] = ne(tuple_index.581, literal.582, id=672, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  fraction_integral__2: bits[10] = nor(not.602, fractional_mask__2, id=615, pos=[(0,4272,29), (0,4508,47), (0,4600,22), (2,134,54)])
  fraction_integral__4: bits[10] = nor(not.603, fractional_mask__2, id=616, pos=[(0,4260,39), (0,4505,45), (0,4600,22), (2,134,54)])
  or.730: bits[1] = or(bit_slice.610, and_reduce.611, id=730, pos=[(0,4495,19), (0,4600,22), (2,134,54)])
  concat.601: bits[5] = concat(literal.595, bit_slice.596, id=601, pos=[(0,4505,45), (0,4600,22), (2,134,54)])
  sign_ext.682: bits[5] = sign_ext(f_sign__1, new_bit_count=5, id=682)
  eq.592: bits[1] = eq(f_bexp__2, EXPR_MASK, id=592, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  nand.675: bits[1] = nand(not.674, ne.672, id=675, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  literal.618: bits[5] = literal(value=25, id=618, pos=[(0,4188,17), (0,4493,35), (0,4600,22), (2,134,54)])
  sel.622: bits[10] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=622, pos=[(0,4503,19), (0,4600,22), (2,134,54)])
  sign_ext.692: bits[10] = sign_ext(or.730, new_bit_count=10, id=692, pos=[(0,4495,19), (0,4600,22), (2,134,54)])
  and.683: bits[5] = and(concat.601, sign_ext.682, id=683)
  bit_slice.747: bits[4] = bit_slice(sign_ext.682, start=0, width=4, id=747, pos=[(0,4496,16), (0,4600,22), (2,134,54)])
  and.598: bits[1] = and(eq.592, nand.675, id=598, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  ult.626: bits[1] = ult(f_bexp__2, literal.618, id=626, pos=[(0,4188,5), (0,4493,35), (0,4600,22), (2,134,54)])
  and.693: bits[10] = and(sel.622, sign_ext.692, id=693, pos=[(0,4495,19), (0,4600,22), (2,134,54)])
  nor.619: bits[1] = nor(bit_slice.610, and_reduce.611, id=619, pos=[(0,4215,5), (0,4495,43), (0,4600,22), (2,134,54)])
  add.681: bits[5] = add(f_bexp__2, and.683, id=681)
  concat.761: bits[5] = concat(literal.585, bit_slice.747, id=761, pos=[(0,4496,16), (0,4600,22), (2,134,54)])
  or.727: bits[1] = or(eq.577, and.598, id=727, pos=[(0,4600,22), (2,134,54)])
  and.769: bits[1] = and(eq.592, ne.672, id=769, pos=[(0,4600,22), (2,134,54)])
  sel.632: bits[10] = sel(ult.626, cases=[tuple_index.581, and.693], id=632, pos=[(0,4493,12), (0,4600,22), (2,134,54)])
  nor.763: bits[1] = nor(eq.577, eq.592, id=763, pos=[(0,4600,22), (2,134,54)])
  sel.627: bits[5] = sel(nor.619, cases=[add.681, concat.761], id=627, pos=[(0,4495,19), (0,4600,22), (2,134,54)])
  concat.725: bits[2] = concat(or.727, and.769, id=725, pos=[(0,4600,22), (2,134,54)])
  literal.656: bits[1] = literal(value=1, id=656, pos=[(0,4488,13), (0,4600,22), (2,134,54)])
  bit_slice.710: bits[1] = bit_slice(sel.632, start=9, width=1, id=710, pos=[(0,4600,22), (2,134,54)])
  bit_slice.706: bits[9] = bit_slice(sel.632, start=0, width=9, id=706, pos=[(0,4600,22), (2,134,54)])
  sign_ext.759: bits[9] = sign_ext(nor.763, new_bit_count=9, id=759, pos=[(0,4600,22), (2,134,54)])
  not.643: bits[1] = not(f_sign__1, id=643, pos=[(0,4600,22), (2,134,54)])
  concat.724: bits[2] = concat(eq.577, eq.592, id=724, pos=[(0,4600,22), (2,134,54)])
  sel.630: bits[5] = sel(ult.626, cases=[f_bexp__2, sel.627], id=630, pos=[(0,4493,12), (0,4600,22), (2,134,54)])
  priority_sel.711: bits[1] = priority_sel(concat.725, cases=[literal.656, literal.585], default=bit_slice.710, id=711, pos=[(0,4600,22), (2,134,54)])
  and.760: bits[9] = and(bit_slice.706, sign_ext.759, id=760, pos=[(0,4600,22), (2,134,54)])
  nor.644: bits[1] = nor(and.769, not.643, id=644, pos=[(0,4600,22), (2,134,54)])
  priority_sel.698: bits[5] = priority_sel(concat.724, cases=[EXPR_MASK, literal.576], default=sel.630, id=698, pos=[(0,4600,22), (2,134,54)])
  concat.712: bits[10] = concat(priority_sel.711, and.760, id=712, pos=[(0,4600,22), (2,134,54)])
  ret tuple.636: (bits[1], bits[5], bits[10]) = tuple(nor.644, priority_sel.698, concat.712, id=636, pos=[(0,4600,22), (2,134,54)])
}