package hfloat16

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/hfloat16.x"

top fn __hfloat16__gte_2(x: (bits[1], bits[5], bits[10]) id=131, y: (bits[1], bits[5], bits[10]) id=132) -> bits[1] {
  x_bexp__2: bits[5] = tuple_index(x, index=1, id=464, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2444,8), (2,92,55)])
  literal.465: bits[5] = literal(value=0, id=465, pos=[(1,804,14), (1,809,27), (1,2363,34), (1,2444,8), (2,92,55)])
  y_bexp__1: bits[5] = tuple_index(y, index=1, id=466, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2444,8), (2,92,55)])
  eq.467: bits[1] = eq(x_bexp__2, literal.465, id=467, pos=[(1,804,5), (1,809,27), (1,2363,34), (1,2444,8), (2,92,55)])
  eq.470: bits[1] = eq(y_bexp__1, literal.465, id=470, pos=[(1,804,5), (1,809,27), (1,2364,34), (1,2444,8), (2,92,55)])
  not.529: bits[1] = not(eq.467, id=529, pos=[(1,809,4), (1,2363,34), (1,2444,8), (2,92,55)])
  not.532: bits[1] = not(eq.470, id=532, pos=[(1,809,4), (1,2364,34), (1,2444,8), (2,92,55)])
  x_fraction__2: bits[10] = tuple_index(x, index=2, id=468, pos=[(1,809,4), (1,2363,34), (1,2444,8), (2,92,55)])
  sign_ext.530: bits[10] = sign_ext(not.529, new_bit_count=10, id=530, pos=[(1,809,4), (1,2363,34), (1,2444,8), (2,92,55)])
  y_fraction__2: bits[10] = tuple_index(y, index=2, id=471, pos=[(1,809,4), (1,2364,34), (1,2444,8), (2,92,55)])
  sign_ext.533: bits[10] = sign_ext(not.532, new_bit_count=10, id=533, pos=[(1,809,4), (1,2364,34), (1,2444,8), (2,92,55)])
  literal.473: bits[5] = literal(value=31, id=473, pos=[(1,71,29), (1,2300,15), (1,2378,33), (1,2444,8), (2,92,55)])
  literal.469: bits[10] = literal(value=0, id=469, pos=[(1,131,73), (1,809,37), (1,2363,34), (1,2444,8), (2,92,55)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=477, pos=[(1,809,60), (1,2363,34), (1,2444,8), (2,92,55)])
  y_sign__2: bits[1] = tuple_index(y, index=0, id=478, pos=[(1,809,60), (1,2364,34), (1,2444,8), (2,92,55)])
  x__1_fraction__1: bits[10] = and(x_fraction__2, sign_ext.530, id=531, pos=[(1,809,4), (1,2363,34), (1,2444,8), (2,92,55)])
  y__1_fraction__1: bits[10] = and(y_fraction__2, sign_ext.533, id=534, pos=[(1,809,4), (1,2364,34), (1,2444,8), (2,92,55)])
  eq.501: bits[1] = eq(x_bexp__2, literal.473, id=501, pos=[(1,71,6), (1,2300,15), (1,2359,11), (1,2444,8), (2,92,55)])
  ne.502: bits[1] = ne(x_fraction__2, literal.469, id=502, pos=[(1,71,44), (1,2300,15), (1,2359,11), (1,2444,8), (2,92,55)])
  eq.503: bits[1] = eq(y_bexp__1, literal.473, id=503, pos=[(1,71,6), (1,2300,28), (1,2359,11), (1,2444,8), (2,92,55)])
  ne.504: bits[1] = ne(y_fraction__2, literal.469, id=504, pos=[(1,71,44), (1,2300,28), (1,2359,11), (1,2444,8), (2,92,55)])
  eq.483: bits[1] = eq(x_sign__1, y_sign__2, id=483, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (2,92,55)])
  eq_exp: bits[1] = eq(x_bexp__2, y_bexp__1, id=484, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (2,92,55)])
  eq.485: bits[1] = eq(x__1_fraction__1, y__1_fraction__1, id=485, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (2,92,55)])
  gt_fraction: bits[1] = ugt(x__1_fraction__1, y__1_fraction__1, id=488, pos=[(1,2368,27), (1,2444,8), (2,92,55)])
  and.512: bits[1] = and(eq.501, ne.502, id=512, pos=[(1,71,6), (1,2300,15), (1,2359,11), (1,2444,8), (2,92,55)])
  and.513: bits[1] = and(eq.503, ne.504, id=513, pos=[(1,71,6), (1,2300,28), (1,2359,11), (1,2444,8), (2,92,55)])
  and.491: bits[1] = and(eq.483, eq_exp, eq.485, id=491, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (2,92,55)])
  and.515: bits[1] = and(eq.467, eq.470, id=515, pos=[(1,2301,60), (1,2359,11), (1,2444,8), (2,92,55)])
  gt_exp: bits[1] = ugt(x_bexp__2, y_bexp__1, id=493, pos=[(1,2366,22), (1,2444,8), (2,92,55)])
  and.494: bits[1] = and(eq_exp, gt_fraction, id=494, pos=[(1,2369,32), (1,2444,8), (2,92,55)])
  nor.520: bits[1] = nor(and.512, and.513, id=520, pos=[(1,2300,4), (1,2359,11), (1,2444,8), (2,92,55)])
  or.496: bits[1] = or(and.491, and.515, id=496, pos=[(1,2301,17), (1,2378,33), (1,2444,8), (2,92,55)])
  not.497: bits[1] = not(x_sign__1, id=497, pos=[(1,2444,8), (2,92,55)])
  not.498: bits[1] = not(y_sign__2, id=498, pos=[(1,2444,8), (2,92,55)])
  abs_gt: bits[1] = or(gt_exp, and.494, id=499, pos=[(1,2369,21), (1,2444,8), (2,92,55)])
  and.500: bits[1] = and(nor.520, or.496, id=500, pos=[(1,2300,4), (1,2378,33), (1,2444,8), (2,92,55)])
  eq.506: bits[1] = eq(x_fraction__2, y_fraction__2, id=506, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (2,92,55)])
  nor.507: bits[1] = nor(not.497, y_sign__2, id=507, pos=[(1,2444,8), (2,92,55)])
  nor.508: bits[1] = nor(x_sign__1, not.498, id=508, pos=[(1,2444,8), (2,92,55)])
  nor.509: bits[1] = nor(x_sign__1, y_sign__2, id=509, pos=[(1,2444,8), (2,92,55)])
  not.510: bits[1] = not(abs_gt, id=510, pos=[(1,2378,17), (1,2444,8), (2,92,55)])
  not.511: bits[1] = not(and.500, id=511, pos=[(1,2378,28), (1,2444,8), (2,92,55)])
  and.514: bits[1] = and(eq.483, eq_exp, eq.506, id=514, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (2,92,55)])
  concat.516: bits[3] = concat(nor.507, nor.508, nor.509, id=516, pos=[(1,2444,8), (2,92,55)])
  literal.517: bits[1] = literal(value=1, id=517, pos=[(1,2374,28), (1,2444,8), (2,92,55)])
  literal.518: bits[1] = literal(value=0, id=518, pos=[(1,2376,28), (1,2444,8), (2,92,55)])
  and.519: bits[1] = and(not.510, not.511, id=519, pos=[(1,2378,17), (1,2444,8), (2,92,55)])
  or.521: bits[1] = or(and.514, and.515, id=521, pos=[(1,2301,17), (1,2359,11), (1,2444,8), (2,92,55)])
  result: bits[1] = priority_sel(concat.516, cases=[abs_gt, literal.517, literal.518], default=and.519, id=522, pos=[(1,2444,8), (2,92,55)])
  and.523: bits[1] = and(nor.520, or.521, id=523, pos=[(1,2300,4), (1,2359,11), (1,2444,8), (2,92,55)])
  not.524: bits[1] = not(result, id=524, pos=[(1,2381,8), (1,2444,8), (2,92,55)])
  not.525: bits[1] = not(and.523, id=525, pos=[(1,2359,4), (1,2444,8), (2,92,55)])
  nor.526: bits[1] = nor(and.512, and.513, not.524, id=526, pos=[(1,2381,8), (1,2444,8), (2,92,55)])
  and.527: bits[1] = and(not.525, nor.526, id=527, pos=[(1,2359,4), (1,2444,8), (2,92,55)])
  ret or.528: bits[1] = or(and.527, and.523, id=528, pos=[(1,2444,8), (2,92,55)])
}