package float64

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/float64.x"

top fn __float64__lt_2(x: (bits[1], bits[11], bits[52]) id=143, y: (bits[1], bits[11], bits[52]) id=144) -> bits[1] {
  x_bexp__1: bits[11] = tuple_index(x, index=1, id=566, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  literal.567: bits[11] = literal(value=0, id=567, pos=[(1,804,14), (1,809,27), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  y_bexp__2: bits[11] = tuple_index(y, index=1, id=568, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  eq.569: bits[1] = eq(x_bexp__1, literal.567, id=569, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  eq.572: bits[1] = eq(y_bexp__2, literal.567, id=572, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  not.632: bits[1] = not(eq.569, id=632, pos=[(1,809,4), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  not.635: bits[1] = not(eq.572, id=635, pos=[(1,809,4), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  x_fraction__1: bits[52] = tuple_index(x, index=2, id=570, pos=[(1,809,4), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  sign_ext.633: bits[52] = sign_ext(not.632, new_bit_count=52, id=633, pos=[(1,809,4), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  y_fraction__1: bits[52] = tuple_index(y, index=2, id=573, pos=[(1,809,4), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  sign_ext.636: bits[52] = sign_ext(not.635, new_bit_count=52, id=636, pos=[(1,809,4), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  literal.575: bits[11] = literal(value=2047, id=575, pos=[(1,71,29), (1,2568,15), (2,90,51)])
  literal.571: bits[52] = literal(value=0, id=571, pos=[(1,71,57), (1,2568,15), (2,90,51)])
  x_sign__2: bits[1] = tuple_index(x, index=0, id=579, pos=[(1,809,60), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  y_sign__1: bits[1] = tuple_index(y, index=0, id=580, pos=[(1,809,60), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  x__1_fraction__2: bits[52] = and(x_fraction__1, sign_ext.633, id=634, pos=[(1,809,4), (1,2363,34), (1,2444,8), (1,2568,41), (2,90,51)])
  y__1_fraction__2: bits[52] = and(y_fraction__1, sign_ext.636, id=637, pos=[(1,809,4), (1,2364,34), (1,2444,8), (1,2568,41), (2,90,51)])
  eq.603: bits[1] = eq(x_bexp__1, literal.575, id=603, pos=[(1,71,6), (1,2568,15), (2,90,51)])
  ne.604: bits[1] = ne(x_fraction__1, literal.571, id=604, pos=[(1,71,44), (1,2568,15), (2,90,51)])
  eq.605: bits[1] = eq(y_bexp__2, literal.575, id=605, pos=[(1,71,6), (1,2568,28), (2,90,51)])
  ne.606: bits[1] = ne(y_fraction__1, literal.571, id=606, pos=[(1,71,44), (1,2568,28), (2,90,51)])
  eq.585: bits[1] = eq(x_sign__2, y_sign__1, id=585, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  eq_exp: bits[1] = eq(x_bexp__1, y_bexp__2, id=586, pos=[(1,2367,22), (1,2444,8), (1,2568,41), (2,90,51)])
  eq.587: bits[1] = eq(x__1_fraction__2, y__1_fraction__2, id=587, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  gt_fraction: bits[1] = ugt(x__1_fraction__2, y__1_fraction__2, id=590, pos=[(1,2368,27), (1,2444,8), (1,2568,41), (2,90,51)])
  and.614: bits[1] = and(eq.603, ne.604, id=614, pos=[(1,71,6), (1,2568,15), (2,90,51)])
  and.615: bits[1] = and(eq.605, ne.606, id=615, pos=[(1,71,6), (1,2568,28), (2,90,51)])
  and.593: bits[1] = and(eq.585, eq_exp, eq.587, id=593, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  and.617: bits[1] = and(eq.569, eq.572, id=617, pos=[(1,2301,60), (1,2359,11), (1,2444,8), (1,2568,41), (2,90,51)])
  gt_exp: bits[1] = ugt(x_bexp__1, y_bexp__2, id=595, pos=[(1,2366,22), (1,2444,8), (1,2568,41), (2,90,51)])
  and.596: bits[1] = and(eq_exp, gt_fraction, id=596, pos=[(1,2369,32), (1,2444,8), (1,2568,41), (2,90,51)])
  nor.597: bits[1] = nor(and.614, and.615, id=597, pos=[(1,2300,4), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  or.598: bits[1] = or(and.593, and.617, id=598, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  not.599: bits[1] = not(x_sign__2, id=599, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  not.600: bits[1] = not(y_sign__1, id=600, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  abs_gt: bits[1] = or(gt_exp, and.596, id=601, pos=[(1,2369,21), (1,2444,8), (1,2568,41), (2,90,51)])
  and.602: bits[1] = and(nor.597, or.598, id=602, pos=[(1,2300,4), (1,2378,33), (1,2444,8), (1,2568,41), (2,90,51)])
  eq.608: bits[1] = eq(x_fraction__1, y_fraction__1, id=608, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (1,2568,41), (2,90,51)])
  nor.609: bits[1] = nor(not.599, y_sign__1, id=609, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  nor.610: bits[1] = nor(x_sign__2, not.600, id=610, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  nor.611: bits[1] = nor(x_sign__2, y_sign__1, id=611, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  not.612: bits[1] = not(abs_gt, id=612, pos=[(1,2378,17), (1,2444,8), (1,2568,41), (2,90,51)])
  not.613: bits[1] = not(and.602, id=613, pos=[(1,2378,28), (1,2444,8), (1,2568,41), (2,90,51)])
  and.616: bits[1] = and(eq.585, eq_exp, eq.608, id=616, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (1,2568,41), (2,90,51)])
  concat.618: bits[3] = concat(nor.609, nor.610, nor.611, id=618, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  literal.619: bits[1] = literal(value=1, id=619, pos=[(1,2374,28), (1,2444,8), (1,2568,41), (2,90,51)])
  literal.620: bits[1] = literal(value=0, id=620, pos=[(1,2376,28), (1,2444,8), (1,2568,41), (2,90,51)])
  and.621: bits[1] = and(not.612, not.613, id=621, pos=[(1,2378,17), (1,2444,8), (1,2568,41), (2,90,51)])
  or.623: bits[1] = or(and.616, and.617, id=623, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (1,2568,41), (2,90,51)])
  result: bits[1] = priority_sel(concat.618, cases=[abs_gt, literal.619, literal.620], default=and.621, id=624, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  and.625: bits[1] = and(nor.597, or.623, id=625, pos=[(1,2300,4), (1,2359,11), (1,2444,8), (1,2568,41), (2,90,51)])
  not.626: bits[1] = not(result, id=626, pos=[(1,2381,8), (1,2444,8), (1,2568,41), (2,90,51)])
  not.627: bits[1] = not(and.625, id=627, pos=[(1,2359,4), (1,2444,8), (1,2568,41), (2,90,51)])
  nor.628: bits[1] = nor(and.614, and.615, not.626, id=628, pos=[(1,2381,8), (1,2444,8), (1,2568,41), (2,90,51)])
  and.629: bits[1] = and(not.627, nor.628, id=629, pos=[(1,2359,4), (1,2444,8), (1,2568,41), (2,90,51)])
  or.630: bits[1] = or(and.629, and.625, id=630, pos=[(1,2444,8), (1,2568,41), (2,90,51)])
  ret nor.631: bits[1] = nor(and.614, and.615, or.630, id=631, pos=[(1,2568,4), (2,90,51)])
}