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