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__lte_2(x: (bits[1], bits[11], bits[52]) id=136, y: (bits[1], bits[11], bits[52]) id=137) -> bits[1] {
  x_bexp__1: bits[11] = tuple_index(x, index=1, id=466, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2506,40), (2,92,53)])
  literal.467: bits[11] = literal(value=0, id=467, pos=[(1,804,14), (1,809,27), (1,2363,34), (1,2506,40), (2,92,53)])
  y_bexp__1: bits[11] = tuple_index(y, index=1, id=468, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2506,40), (2,92,53)])
  eq.469: bits[1] = eq(x_bexp__1, literal.467, id=469, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2506,40), (2,92,53)])
  eq.472: bits[1] = eq(y_bexp__1, literal.467, id=472, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2506,40), (2,92,53)])
  not.531: bits[1] = not(eq.469, id=531, pos=[(1,809,4), (1,2363,34), (1,2506,40), (2,92,53)])
  not.534: bits[1] = not(eq.472, id=534, pos=[(1,809,4), (1,2364,34), (1,2506,40), (2,92,53)])
  x_fraction__1: bits[52] = tuple_index(x, index=2, id=470, pos=[(1,809,4), (1,2363,34), (1,2506,40), (2,92,53)])
  sign_ext.532: bits[52] = sign_ext(not.531, new_bit_count=52, id=532, pos=[(1,809,4), (1,2363,34), (1,2506,40), (2,92,53)])
  y_fraction__2: bits[52] = tuple_index(y, index=2, id=473, pos=[(1,809,4), (1,2364,34), (1,2506,40), (2,92,53)])
  sign_ext.535: bits[52] = sign_ext(not.534, new_bit_count=52, id=535, pos=[(1,809,4), (1,2364,34), (1,2506,40), (2,92,53)])
  literal.475: bits[11] = literal(value=2047, id=475, pos=[(1,71,29), (1,2506,15), (2,92,53)])
  literal.471: bits[52] = literal(value=0, id=471, pos=[(1,71,57), (1,2506,15), (2,92,53)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=479, pos=[(1,809,60), (1,2363,34), (1,2506,40), (2,92,53)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=480, pos=[(1,809,60), (1,2364,34), (1,2506,40), (2,92,53)])
  x__1_fraction__1: bits[52] = and(x_fraction__1, sign_ext.532, id=533, pos=[(1,809,4), (1,2363,34), (1,2506,40), (2,92,53)])
  y__1_fraction__1: bits[52] = and(y_fraction__2, sign_ext.535, id=536, pos=[(1,809,4), (1,2364,34), (1,2506,40), (2,92,53)])
  eq.503: bits[1] = eq(x_bexp__1, literal.475, id=503, pos=[(1,71,6), (1,2506,15), (2,92,53)])
  ne.504: bits[1] = ne(x_fraction__1, literal.471, id=504, pos=[(1,71,44), (1,2506,15), (2,92,53)])
  eq.505: bits[1] = eq(y_bexp__1, literal.475, id=505, pos=[(1,71,6), (1,2506,28), (2,92,53)])
  ne.506: bits[1] = ne(y_fraction__2, literal.471, id=506, pos=[(1,71,44), (1,2506,28), (2,92,53)])
  eq.485: bits[1] = eq(x_sign__1, y_sign__2, id=485, pos=[(1,2301,17), (1,2378,33), (1,2506,40), (2,92,53)])
  eq_exp: bits[1] = eq(x_bexp__1, y_bexp__1, id=486, pos=[(1,2367,22), (1,2506,40), (2,92,53)])
  eq.487: bits[1] = eq(x__1_fraction__1, y__1_fraction__1, id=487, pos=[(1,2301,17), (1,2378,33), (1,2506,40), (2,92,53)])
  gt_fraction: bits[1] = ugt(x__1_fraction__1, y__1_fraction__1, id=490, pos=[(1,2368,27), (1,2506,40), (2,92,53)])
  and.514: bits[1] = and(eq.503, ne.504, id=514, pos=[(1,71,6), (1,2506,15), (2,92,53)])
  and.515: bits[1] = and(eq.505, ne.506, id=515, pos=[(1,71,6), (1,2506,28), (2,92,53)])
  and.493: bits[1] = and(eq.485, eq_exp, eq.487, id=493, pos=[(1,2301,17), (1,2378,33), (1,2506,40), (2,92,53)])
  and.517: bits[1] = and(eq.469, eq.472, id=517, pos=[(1,2301,60), (1,2359,11), (1,2506,40), (2,92,53)])
  gt_exp: bits[1] = ugt(x_bexp__1, y_bexp__1, id=495, pos=[(1,2366,22), (1,2506,40), (2,92,53)])
  and.496: bits[1] = and(eq_exp, gt_fraction, id=496, pos=[(1,2369,32), (1,2506,40), (2,92,53)])
  nor.497: bits[1] = nor(and.514, and.515, id=497, pos=[(1,2300,4), (1,2378,33), (1,2506,40), (2,92,53)])
  or.498: bits[1] = or(and.493, and.517, id=498, pos=[(1,2301,17), (1,2378,33), (1,2506,40), (2,92,53)])
  not.499: bits[1] = not(x_sign__1, id=499, pos=[(1,2506,40), (2,92,53)])
  not.500: bits[1] = not(y_sign__2, id=500, pos=[(1,2506,40), (2,92,53)])
  abs_gt: bits[1] = or(gt_exp, and.496, id=501, pos=[(1,2369,21), (1,2506,40), (2,92,53)])
  and.502: bits[1] = and(nor.497, or.498, id=502, pos=[(1,2300,4), (1,2378,33), (1,2506,40), (2,92,53)])
  eq.508: bits[1] = eq(x_fraction__1, y_fraction__2, id=508, pos=[(1,2301,17), (1,2359,11), (1,2506,40), (2,92,53)])
  nor.509: bits[1] = nor(not.499, y_sign__2, id=509, pos=[(1,2506,40), (2,92,53)])
  nor.510: bits[1] = nor(x_sign__1, not.500, id=510, pos=[(1,2506,40), (2,92,53)])
  nor.511: bits[1] = nor(x_sign__1, y_sign__2, id=511, pos=[(1,2506,40), (2,92,53)])
  not.512: bits[1] = not(abs_gt, id=512, pos=[(1,2378,17), (1,2506,40), (2,92,53)])
  not.513: bits[1] = not(and.502, id=513, pos=[(1,2378,28), (1,2506,40), (2,92,53)])
  and.516: bits[1] = and(eq.485, eq_exp, eq.508, id=516, pos=[(1,2301,17), (1,2359,11), (1,2506,40), (2,92,53)])
  concat.518: bits[3] = concat(nor.509, nor.510, nor.511, id=518, pos=[(1,2506,40), (2,92,53)])
  literal.519: bits[1] = literal(value=1, id=519, pos=[(1,2374,28), (1,2506,40), (2,92,53)])
  literal.520: bits[1] = literal(value=0, id=520, pos=[(1,2376,28), (1,2506,40), (2,92,53)])
  and.521: bits[1] = and(not.512, not.513, id=521, pos=[(1,2378,17), (1,2506,40), (2,92,53)])
  or.523: bits[1] = or(and.516, and.517, id=523, pos=[(1,2301,17), (1,2359,11), (1,2506,40), (2,92,53)])
  result: bits[1] = priority_sel(concat.518, cases=[abs_gt, literal.519, literal.520], default=and.521, id=524, pos=[(1,2506,40), (2,92,53)])
  and.525: bits[1] = and(nor.497, or.523, id=525, pos=[(1,2300,4), (1,2359,11), (1,2506,40), (2,92,53)])
  not.526: bits[1] = not(result, id=526, pos=[(1,2381,8), (1,2506,40), (2,92,53)])
  not.527: bits[1] = not(and.525, id=527, pos=[(1,2359,4), (1,2506,40), (2,92,53)])
  nor.528: bits[1] = nor(and.514, and.515, not.526, id=528, pos=[(1,2381,8), (1,2506,40), (2,92,53)])
  and.529: bits[1] = and(not.527, nor.528, id=529, pos=[(1,2359,4), (1,2506,40), (2,92,53)])
  ret nor.530: bits[1] = nor(and.514, and.515, and.529, id=530, pos=[(1,2506,4), (2,92,53)])
}