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__from_float32(f32: (bits[1], bits[8], bits[23]) id=503) -> (bits[1], bits[5], bits[10]) {
  f32_bexp__1: bits[8] = tuple_index(f32, index=1, id=1593, pos=[(1,266,6), (1,1311,32), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1842: bits[4] = bit_slice(f32_bexp__1, start=4, width=4, id=1842, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1862: bits[4] = literal(value=9, id=1862, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1844: bits[4] = add(bit_slice.1842, literal.1862, id=1844, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1845: bits[4] = bit_slice(f32_bexp__1, start=0, width=4, id=1845, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1846: bits[8] = concat(add.1844, bit_slice.1845, id=1846, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  neg.1596: bits[8] = neg(concat.1846, id=1596, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1597: bits[9] = sign_ext(neg.1596, new_bit_count=9, id=1597, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1598: bits[9] = literal(value=13, id=1598, pos=[(1,414,29), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_fraction__1: bits[23] = tuple_index(f32, index=2, id=1599, pos=[(1,1113,49), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1600: bits[9] = add(sign_ext.1597, literal.1598, id=1600, pos=[(1,414,29), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1847: bits[8] = bit_slice(sign_ext.1597, start=1, width=8, id=1847, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1863: bits[8] = literal(value=7, id=1863, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1601: bits[1] = literal(value=0, id=1601, pos=[(1,1721,31), (2,176,25)])
  not.1602: bits[23] = not(f32_fraction__1, id=1602, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1603: bits[24] = literal(value=16777215, id=1603, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  f32irst_lost_bit_idx__2: bits[32] = sign_ext(add.1600, new_bit_count=32, id=1604, pos=[(1,414,29), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1849: bits[8] = add(bit_slice.1847, literal.1863, id=1849, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1906: bits[1] = bit_slice(neg.1596, start=0, width=1, id=1906, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1608: bits[1] = literal(value=1, id=1608, pos=[(1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1609: bits[24] = concat(literal.1601, not.1602, id=1609, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  shll.1610: bits[24] = shll(literal.1603, f32irst_lost_bit_idx__2, id=1610, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1851: bits[9] = concat(add.1849, bit_slice.1906, id=1851, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1616: bits[24] = concat(literal.1608, f32_fraction__1, id=1616, pos=[(1,1334,53), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1617: bits[24] = nor(concat.1609, shll.1610, id=1617, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1618: bits[24] = literal(value=0, id=1618, pos=[(0,1501,31), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1619: bits[9] = literal(value=24, id=1619, pos=[(1,419,22), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1620: bits[32] = sign_ext(concat.1851, new_bit_count=32, id=1620, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1612: bits[9] = literal(value=1, id=1612, pos=[(1,1320,53), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  round_bit__1: bits[1] = dynamic_bit_slice(concat.1616, f32irst_lost_bit_idx__2, width=1, id=1625, pos=[(1,415,28), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sticky__1: bits[1] = ne(nor.1617, literal.1618, id=1626, pos=[(0,1501,17), (0,1528,22), (1,421,43), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  ult.1627: bits[1] = ult(concat.1851, literal.1619, id=1627, pos=[(1,419,22), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  dynamic_bit_slice.1628: bits[1] = dynamic_bit_slice(concat.1616, sign_ext.1620, width=1, id=1628, pos=[(1,419,57), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  truncated_frac: bits[10] = bit_slice(f32_fraction__1, start=13, width=10, id=1621, pos=[(1,1327,39), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1622: bits[9] = add(sign_ext.1597, literal.1612, id=1622, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1634: bits[1] = and(round_bit__1, sticky__1, id=1634, pos=[(1,428,13), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1635: bits[1] = and(round_bit__1, ult.1627, dynamic_bit_slice.1628, id=1635, pos=[(1,428,38), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1606: bits[12] = bit_slice(f32_fraction__1, start=0, width=12, id=1606, pos=[(1,1113,49), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1607: bits[12] = literal(value=0, id=1607, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (1,421,43), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  f32ull_frac__2: bits[11] = concat(literal.1608, truncated_frac, id=1629, pos=[(1,1329,24), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  right_shift_cnt: bits[32] = sign_ext(add.1622, new_bit_count=32, id=1630, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1821: bits[9] = literal(value=0, id=1821, pos=[(1,1721,31), (2,176,25)])
  round_up__1: bits[1] = or(and.1634, and.1635, id=1644, pos=[(1,428,13), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  round_bit: bits[1] = bit_slice(f32_fraction__1, start=12, width=1, id=1613, pos=[(1,415,28), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  sticky: bits[1] = ne(bit_slice.1606, literal.1607, id=1614, pos=[(0,1501,17), (0,1528,22), (1,421,43), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1615: bits[1] = bit_slice(f32_fraction__1, start=13, width=1, id=1615, pos=[(1,419,57), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  unrounded_subnormal_frac: bits[10] = dynamic_bit_slice(f32ull_frac__2, right_shift_cnt, width=10, id=1636, pos=[(1,1331,48), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1969: bits[10] = concat(literal.1821, round_up__1, id=1969)
  and.1623: bits[1] = and(round_bit, sticky, id=1623, pos=[(1,428,13), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1624: bits[1] = and(round_bit, bit_slice.1615, id=1624, pos=[(1,428,38), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1640: bits[8] = literal(value=0, id=1640, pos=[(1,41,9), (1,1407,13), (1,1721,31), (2,176,25)])
  subnormal_frac: bits[10] = add(unrounded_subnormal_frac, concat.1969, id=1751)
  literal.1653: bits[10] = literal(value=0, id=1653, pos=[(1,1344,77), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  round_up: bits[1] = or(and.1623, and.1624, id=1631, pos=[(1,428,13), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  and_reduce.1632: bits[1] = and_reduce(truncated_frac, id=1632, pos=[(1,1115,44), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1643: bits[9] = literal(value=11, id=1643, pos=[(1,1321,7), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1658: bits[1] = eq(neg.1596, literal.1640, id=1658, pos=[(1,1344,31), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1659: bits[1] = eq(subnormal_frac, literal.1653, id=1659, pos=[(1,1344,59), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1922: bits[7] = literal(value=0, id=1922)
  renormalize: bits[1] = and(round_up, and_reduce.1632, id=1641, pos=[(1,1115,22), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  ugt.1651: bits[1] = ugt(add.1622, literal.1643, id=1651, pos=[(1,1321,7), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  rounds_to_normal: bits[1] = and(eq.1658, eq.1659, id=1673, pos=[(1,1344,31), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1970: bits[8] = concat(literal.1922, renormalize, id=1970)
  or.1681: bits[1] = or(ugt.1651, rounds_to_normal, id=1681, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_cast_bexp__2: bits[8] = add(f32_bexp__1, concat.1970, id=1748)
  literal.1650: bits[8] = literal(value=129, id=1650, pos=[(1,266,6), (1,1378,36), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1764: bits[1] = not(or.1681, id=1764, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  INF_EXP: bits[8] = literal(value=255, id=1638, pos=[(1,1370,43), (1,1416,45), (1,1721,31), (2,176,25)])
  uexp: bits[8] = add(f32_cast_bexp__2, literal.1650, id=1656, pos=[(1,266,6), (1,1378,36), (1,1416,45), (1,1721,31), (2,176,25)])
  TO_BIAS: bits[8] = literal(value=15, id=1666, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  not.1868: bits[1] = not(eq.1658, id=1868, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1869: bits[1] = not(eq.1659, id=1869, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1648: bits[1] = eq(f32_bexp__1, literal.1640, id=1648, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  literal.1639: bits[23] = literal(value=0, id=1639, pos=[(1,41,23), (1,1407,13), (1,1721,31), (2,176,25)])
  literal.1667: bits[8] = literal(value=241, id=1667, pos=[(1,1382,53), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1971: bits[10] = concat(literal.1821, round_up, id=1971)
  sign_ext.1765: bits[10] = sign_ext(not.1764, new_bit_count=10, id=1765, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1675: bits[1] = eq(f32_cast_bexp__2, INF_EXP, id=1675, pos=[(1,1373,50), (1,1416,45), (1,1721,31), (2,176,25)])
  sgt.1676: bits[1] = sgt(uexp, TO_BIAS, id=1676, pos=[(1,1379,38), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1668: bits[5] = bit_slice(uexp, start=0, width=5, id=1668, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  BIAS: bits[5] = literal(value=15, id=1669, pos=[(1,343,38), (1,1387,26), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1934: bits[4] = literal(value=0, id=1934, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1870: bits[1] = nor(ugt.1651, not.1868, not.1869, id=1870, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.2020: bits[1] = not(eq.1648, id=2020, pos=[(1,1721,31), (2,176,25)])
  eq.1647: bits[1] = eq(f32_fraction__1, literal.1639, id=1647, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  eq.1646: bits[1] = eq(f32_bexp__1, INF_EXP, id=1646, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  sle.1677: bits[1] = sle(uexp, literal.1667, id=1677, pos=[(1,1382,45), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_cast_fraction__1: bits[10] = add(truncated_frac, concat.1971, id=1754)
  and.1766: bits[10] = and(subnormal_frac, sign_ext.1765, id=1766, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1871: bits[1] = nor(eq.1675, sgt.1676, id=1871, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1678: bits[5] = add(bit_slice.1668, BIAS, id=1678, pos=[(1,344,5), (1,1387,26), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1972: bits[5] = concat(literal.1934, nor.1870, id=1972, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.2021: bits[1] = nor(not.2020, eq.1647, id=2021, pos=[(1,1721,31), (2,176,25)])
  and.1655: bits[1] = and(eq.1648, eq.1647, id=1655, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  and.1654: bits[1] = and(eq.1646, eq.1647, id=1654, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  not.2018: bits[1] = not(eq.1646, id=2018, pos=[(1,1721,31), (2,176,25)])
  sel.1698: bits[10] = sel(sle.1677, cases=[f32_cast_fraction__1, and.1766], id=1698, pos=[(1,1382,15), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1774: bits[10] = sign_ext(nor.1871, new_bit_count=10, id=1774, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  or.1686: bits[1] = or(eq.1675, sgt.1676, id=1686, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  sel.1687: bits[5] = sel(sle.1677, cases=[add.1678, concat.1972], id=1687, pos=[(1,1382,15), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1688: bits[5] = literal(value=31, id=1688, pos=[(1,1721,31), (2,176,25)])
  or.1841: bits[1] = or(nor.2021, and.1655, and.1654, id=1841, pos=[(1,1721,31), (2,176,25)])
  nor.2025: bits[1] = nor(not.2018, eq.1647, id=2025, pos=[(1,1721,31), (2,176,25)])
  and.1775: bits[10] = and(sel.1698, sign_ext.1774, id=1775, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1995: bits[1] = nor(eq.1646, eq.1648, id=1995, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  concat.1771: bits[2] = concat(eq.1648, eq.1646, id=1771, pos=[(1,1721,31), (2,176,25)])
  literal.1672: bits[5] = literal(value=0, id=1672, pos=[(1,1349,42), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sel.1697: bits[5] = sel(or.1686, cases=[sel.1687, literal.1688], id=1697, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1828: bits[2] = concat(or.1841, nor.2025, id=1828, pos=[(1,1721,31), (2,176,25)])
  bit_slice.1806: bits[1] = bit_slice(and.1775, start=9, width=1, id=1806, pos=[(1,1721,31), (2,176,25)])
  bit_slice.1802: bits[9] = bit_slice(and.1775, start=0, width=9, id=1802, pos=[(1,1721,31), (2,176,25)])
  sign_ext.1959: bits[9] = sign_ext(nor.1995, new_bit_count=9, id=1959, pos=[(1,1721,31), (2,176,25)])
  x_bexp__1: bits[5] = priority_sel(concat.1771, cases=[literal.1688, literal.1672], default=sel.1697, id=1772, pos=[(1,1721,31), (2,176,25)])
  not.1692: bits[1] = not(eq.1675, id=1692, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  not.1693: bits[1] = not(sgt.1676, id=1693, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  uexp__1: bits[8] = add(f32_bexp__1, literal.1650, id=1694, pos=[(1,266,6), (1,1311,32), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1695: bits[8] = literal(value=242, id=1695, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_sign__2: bits[1] = tuple_index(f32, index=0, id=1711, pos=[(1,1121,15), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  priority_sel.1807: bits[1] = priority_sel(concat.1828, cases=[literal.1608, literal.1601], default=bit_slice.1806, id=1807, pos=[(1,1721,31), (2,176,25)])
  and.1960: bits[9] = and(bit_slice.1802, sign_ext.1959, id=1960, pos=[(1,1721,31), (2,176,25)])
  ne.1861: bits[1] = ne(x_bexp__1, literal.1672, id=1861, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  and.1732: bits[1] = and(nor.1995, not.1692, not.1693, sle.1677, id=1732, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  sge.1701: bits[1] = sge(uexp__1, literal.1695, id=1701, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1657: bits[1] = not(ugt.1651, id=1657, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1702: bits[1] = eq(neg.1596, literal.1695, id=1702, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  ugt.1703: bits[1] = ugt(concat.1851, literal.1619, id=1703, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1740: bits[1] = not(f32_sign__2, id=1740, pos=[(1,1721,31), (2,176,25)])
  concat.1808: bits[10] = concat(priority_sel.1807, and.1960, id=1808, pos=[(1,1721,31), (2,176,25)])
  sign_ext.1785: bits[10] = sign_ext(ne.1861, new_bit_count=10, id=1785, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  assert_1273__1: token = after_all(id=504)
  nand.1708: bits[1] = nand(and.1732, sge.1701, id=1708, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nand.1709: bits[1] = nand(and.1732, not.1657, eq.1702, id=1709, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nand.1710: bits[1] = nand(and.1732, not.1657, ugt.1703, id=1710, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  x_sign: bits[1] = nor(nor.2025, not.1740, id=1741, pos=[(1,1721,31), (2,176,25)])
  and.1786: bits[10] = and(concat.1808, sign_ext.1785, id=1786, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  assert_1103__2: token = assert(assert_1273__1, nand.1708, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:1314:12-1316:65", label="apfloat_downcast_to_subnormal_called_on_normal_number", id=1729, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  assert_874__1: token = assert(assert_1273__1, nand.1709, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:412:12-412:65", label="apfloat_round_without_residue", id=1730, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  assert_875__1: token = assert(assert_1273__1, nand.1710, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:413:12-413:74", label="apfloat_round_without_lsb", id=1731, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  ret tuple.1724: (bits[1], bits[5], bits[10]) = tuple(x_sign, x_bexp__1, and.1786, id=1724, pos=[(1,809,4), (1,1721,22), (2,176,25)])
}