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__gt_2(x: (bits[1], bits[11], bits[52]) id=124, y: (bits[1], bits[11], bits[52]) id=125) -> bits[1] {
  x_bexp__1: bits[11] = tuple_index(x, index=1, id=367, pos=[(1,804,5), (1,809,27), (1,2363,34), (2,86,51)])
  literal.368: bits[11] = literal(value=0, id=368, pos=[(1,804,14), (1,809,27), (1,2363,34), (2,86,51)])
  y_bexp__2: bits[11] = tuple_index(y, index=1, id=369, pos=[(1,804,5), (1,809,27), (1,2364,34), (2,86,51)])
  eq.370: bits[1] = eq(x_bexp__1, literal.368, id=370, pos=[(1,804,5), (1,809,27), (1,2363,34), (2,86,51)])
  eq.373: bits[1] = eq(y_bexp__2, literal.368, id=373, pos=[(1,804,5), (1,809,27), (1,2364,34), (2,86,51)])
  not.431: bits[1] = not(eq.370, id=431, pos=[(1,809,4), (1,2363,34), (2,86,51)])
  not.434: bits[1] = not(eq.373, id=434, pos=[(1,809,4), (1,2364,34), (2,86,51)])
  x_fraction__1: bits[52] = tuple_index(x, index=2, id=371, pos=[(1,809,4), (1,2363,34), (2,86,51)])
  sign_ext.432: bits[52] = sign_ext(not.431, new_bit_count=52, id=432, pos=[(1,809,4), (1,2363,34), (2,86,51)])
  y_fraction__1: bits[52] = tuple_index(y, index=2, id=374, pos=[(1,809,4), (1,2364,34), (2,86,51)])
  sign_ext.435: bits[52] = sign_ext(not.434, new_bit_count=52, id=435, pos=[(1,809,4), (1,2364,34), (2,86,51)])
  literal.376: bits[11] = literal(value=2047, id=376, pos=[(1,71,29), (1,2300,15), (1,2378,33), (2,86,51)])
  literal.372: bits[52] = literal(value=0, id=372, pos=[(1,131,73), (1,809,37), (1,2363,34), (2,86,51)])
  x_sign__2: bits[1] = tuple_index(x, index=0, id=380, pos=[(1,809,60), (1,2363,34), (2,86,51)])
  y_sign__1: bits[1] = tuple_index(y, index=0, id=381, pos=[(1,809,60), (1,2364,34), (2,86,51)])
  x__1_fraction__2: bits[52] = and(x_fraction__1, sign_ext.432, id=433, pos=[(1,809,4), (1,2363,34), (2,86,51)])
  y__1_fraction__2: bits[52] = and(y_fraction__1, sign_ext.435, id=436, pos=[(1,809,4), (1,2364,34), (2,86,51)])
  eq.404: bits[1] = eq(x_bexp__1, literal.376, id=404, pos=[(1,71,6), (1,2300,15), (1,2359,11), (2,86,51)])
  ne.405: bits[1] = ne(x_fraction__1, literal.372, id=405, pos=[(1,71,44), (1,2300,15), (1,2359,11), (2,86,51)])
  eq.406: bits[1] = eq(y_bexp__2, literal.376, id=406, pos=[(1,71,6), (1,2300,28), (1,2359,11), (2,86,51)])
  ne.407: bits[1] = ne(y_fraction__1, literal.372, id=407, pos=[(1,71,44), (1,2300,28), (1,2359,11), (2,86,51)])
  eq.386: bits[1] = eq(x_sign__2, y_sign__1, id=386, pos=[(1,2301,17), (1,2378,33), (2,86,51)])
  eq_exp: bits[1] = eq(x_bexp__1, y_bexp__2, id=387, pos=[(1,2301,17), (1,2378,33), (2,86,51)])
  eq.388: bits[1] = eq(x__1_fraction__2, y__1_fraction__2, id=388, pos=[(1,2301,17), (1,2378,33), (2,86,51)])
  gt_fraction: bits[1] = ugt(x__1_fraction__2, y__1_fraction__2, id=391, pos=[(1,2368,27), (2,86,51)])
  and.415: bits[1] = and(eq.404, ne.405, id=415, pos=[(1,71,6), (1,2300,15), (1,2359,11), (2,86,51)])
  and.416: bits[1] = and(eq.406, ne.407, id=416, pos=[(1,71,6), (1,2300,28), (1,2359,11), (2,86,51)])
  and.394: bits[1] = and(eq.386, eq_exp, eq.388, id=394, pos=[(1,2301,17), (1,2378,33), (2,86,51)])
  and.418: bits[1] = and(eq.370, eq.373, id=418, pos=[(1,2301,60), (1,2359,11), (2,86,51)])
  gt_exp: bits[1] = ugt(x_bexp__1, y_bexp__2, id=396, pos=[(1,2366,22), (2,86,51)])
  and.397: bits[1] = and(eq_exp, gt_fraction, id=397, pos=[(1,2369,32), (2,86,51)])
  nor.398: bits[1] = nor(and.415, and.416, id=398, pos=[(1,2300,4), (1,2378,33), (2,86,51)])
  or.399: bits[1] = or(and.394, and.418, id=399, pos=[(1,2301,17), (1,2378,33), (2,86,51)])
  not.400: bits[1] = not(x_sign__2, id=400, pos=[(2,86,51)])
  not.401: bits[1] = not(y_sign__1, id=401, pos=[(2,86,51)])
  abs_gt: bits[1] = or(gt_exp, and.397, id=402, pos=[(1,2369,21), (2,86,51)])
  and.403: bits[1] = and(nor.398, or.399, id=403, pos=[(1,2300,4), (1,2378,33), (2,86,51)])
  eq.409: bits[1] = eq(x_fraction__1, y_fraction__1, id=409, pos=[(1,2301,17), (1,2359,11), (2,86,51)])
  nor.410: bits[1] = nor(not.400, y_sign__1, id=410, pos=[(2,86,51)])
  nor.411: bits[1] = nor(x_sign__2, not.401, id=411, pos=[(2,86,51)])
  nor.412: bits[1] = nor(x_sign__2, y_sign__1, id=412, pos=[(2,86,51)])
  not.413: bits[1] = not(abs_gt, id=413, pos=[(1,2378,17), (2,86,51)])
  not.414: bits[1] = not(and.403, id=414, pos=[(1,2378,28), (2,86,51)])
  and.417: bits[1] = and(eq.386, eq_exp, eq.409, id=417, pos=[(1,2301,17), (1,2359,11), (2,86,51)])
  concat.419: bits[3] = concat(nor.410, nor.411, nor.412, id=419, pos=[(2,86,51)])
  literal.420: bits[1] = literal(value=1, id=420, pos=[(1,2374,28), (2,86,51)])
  literal.421: bits[1] = literal(value=0, id=421, pos=[(1,2376,28), (2,86,51)])
  and.422: bits[1] = and(not.413, not.414, id=422, pos=[(1,2378,17), (2,86,51)])
  or.424: bits[1] = or(and.417, and.418, id=424, pos=[(1,2301,17), (1,2359,11), (2,86,51)])
  result: bits[1] = priority_sel(concat.419, cases=[abs_gt, literal.420, literal.421], default=and.422, id=425, pos=[(2,86,51)])
  and.426: bits[1] = and(nor.398, or.424, id=426, pos=[(1,2300,4), (1,2359,11), (2,86,51)])
  not.427: bits[1] = not(result, id=427, pos=[(1,2381,8), (2,86,51)])
  not.428: bits[1] = not(and.426, id=428, pos=[(1,2359,4), (2,86,51)])
  nor.429: bits[1] = nor(and.415, and.416, not.427, id=429, pos=[(1,2381,8), (2,86,51)])
  ret and.430: bits[1] = and(not.428, nor.429, id=430, pos=[(1,2359,4), (2,86,51)])
}