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=1585, pos=[(1,266,6), (1,1311,32), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1834: bits[4] = bit_slice(f32_bexp__1, start=4, width=4, id=1834, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1854: bits[4] = literal(value=9, id=1854, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1836: bits[4] = add(bit_slice.1834, literal.1854, id=1836, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1837: bits[4] = bit_slice(f32_bexp__1, start=0, width=4, id=1837, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1838: bits[8] = concat(add.1836, bit_slice.1837, id=1838, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  neg.1588: bits[8] = neg(concat.1838, id=1588, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1589: bits[9] = sign_ext(neg.1588, new_bit_count=9, id=1589, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1590: bits[9] = literal(value=13, id=1590, 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=1591, pos=[(1,1113,49), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1592: bits[9] = add(sign_ext.1589, literal.1590, id=1592, pos=[(1,414,29), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1839: bits[8] = bit_slice(sign_ext.1589, start=1, width=8, id=1839, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1855: bits[8] = literal(value=7, id=1855, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1593: bits[1] = literal(value=0, id=1593, 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)])
  not.1594: bits[23] = not(f32_fraction__1, id=1594, 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.1595: bits[24] = literal(value=16777215, id=1595, 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.1592, new_bit_count=32, id=1596, pos=[(1,414,29), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1841: bits[8] = add(bit_slice.1839, literal.1855, id=1841, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1898: bits[1] = bit_slice(neg.1588, start=0, width=1, id=1898, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1600: bits[1] = literal(value=1, id=1600, pos=[(1,1334,53), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1601: bits[24] = concat(literal.1593, not.1594, id=1601, 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.1602: bits[24] = shll(literal.1595, f32irst_lost_bit_idx__2, id=1602, 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.1843: bits[9] = concat(add.1841, bit_slice.1898, id=1843, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1608: bits[24] = concat(literal.1600, f32_fraction__1, id=1608, pos=[(1,1334,53), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1609: bits[24] = nor(concat.1601, shll.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)])
  literal.1610: bits[24] = literal(value=0, id=1610, 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.1611: bits[9] = literal(value=24, id=1611, pos=[(1,419,22), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1612: bits[32] = sign_ext(concat.1843, new_bit_count=32, id=1612, pos=[(1,1334,12), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1604: bits[9] = literal(value=1, id=1604, 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.1608, f32irst_lost_bit_idx__2, width=1, id=1617, 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.1609, literal.1610, id=1618, 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.1619: bits[1] = ult(concat.1843, literal.1611, id=1619, pos=[(1,419,22), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  dynamic_bit_slice.1620: bits[1] = dynamic_bit_slice(concat.1608, sign_ext.1612, width=1, id=1620, 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=1613, pos=[(1,1327,39), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1614: bits[9] = add(sign_ext.1589, literal.1604, id=1614, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1626: bits[1] = and(round_bit__1, sticky__1, id=1626, pos=[(1,428,13), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1627: bits[1] = and(round_bit__1, ult.1619, dynamic_bit_slice.1620, id=1627, pos=[(1,428,38), (1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1598: bits[12] = bit_slice(f32_fraction__1, start=0, width=12, id=1598, pos=[(1,1113,49), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1599: bits[12] = literal(value=0, id=1599, 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.1600, truncated_frac, id=1621, pos=[(1,1329,24), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  right_shift_cnt: bits[32] = sign_ext(add.1614, new_bit_count=32, id=1622, pos=[(1,1320,26), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1910: bits[9] = literal(value=0, id=1910)
  round_up__1: bits[1] = or(and.1626, and.1627, id=1636, 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=1605, 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.1598, literal.1599, id=1606, 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.1607: bits[1] = bit_slice(f32_fraction__1, start=13, width=1, id=1607, 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=1628, pos=[(1,1331,48), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1961: bits[10] = concat(literal.1910, round_up__1, id=1961)
  and.1615: bits[1] = and(round_bit, sticky, id=1615, pos=[(1,428,13), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  and.1616: bits[1] = and(round_bit, bit_slice.1607, id=1616, pos=[(1,428,38), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1632: bits[8] = literal(value=0, id=1632, pos=[(1,41,9), (1,1407,13), (1,1721,31), (2,176,25)])
  subnormal_frac: bits[10] = add(unrounded_subnormal_frac, concat.1961, id=1743)
  literal.1645: bits[10] = literal(value=0, id=1645, pos=[(1,1344,77), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  round_up: bits[1] = or(and.1615, and.1616, id=1623, pos=[(1,428,13), (1,1113,36), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  and_reduce.1624: bits[1] = and_reduce(truncated_frac, id=1624, pos=[(1,1115,44), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1635: bits[9] = literal(value=11, id=1635, pos=[(1,1321,7), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1650: bits[1] = eq(neg.1588, literal.1632, id=1650, pos=[(1,1344,31), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1651: bits[1] = eq(subnormal_frac, literal.1645, id=1651, pos=[(1,1344,59), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1914: bits[7] = literal(value=0, id=1914)
  renormalize: bits[1] = and(round_up, and_reduce.1624, id=1633, pos=[(1,1115,22), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  ugt.1643: bits[1] = ugt(add.1614, literal.1635, id=1643, pos=[(1,1321,7), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  rounds_to_normal: bits[1] = and(eq.1650, eq.1651, id=1665, pos=[(1,1344,31), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1962: bits[8] = concat(literal.1914, renormalize, id=1962)
  or.1673: bits[1] = or(ugt.1643, rounds_to_normal, id=1673, 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.1962, id=1740)
  literal.1642: bits[8] = literal(value=129, id=1642, pos=[(1,266,6), (1,1378,36), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1756: bits[1] = not(or.1673, id=1756, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  EXPR_MASK: bits[8] = literal(value=255, id=1630, pos=[(1,39,36), (1,1407,13), (1,1721,31), (2,176,25)])
  uexp: bits[8] = add(f32_cast_bexp__2, literal.1642, id=1648, pos=[(1,266,6), (1,1378,36), (1,1416,45), (1,1721,31), (2,176,25)])
  TO_BIAS: bits[8] = literal(value=15, id=1658, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  not.1860: bits[1] = not(eq.1650, id=1860, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1861: bits[1] = not(eq.1651, id=1861, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1640: bits[1] = eq(f32_bexp__1, literal.1632, id=1640, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  literal.1631: bits[23] = literal(value=0, id=1631, pos=[(1,43,20), (1,1407,13), (1,1721,31), (2,176,25)])
  literal.1659: bits[8] = literal(value=241, id=1659, pos=[(1,1382,53), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1963: bits[10] = concat(literal.1910, round_up, id=1963)
  sign_ext.1757: bits[10] = sign_ext(not.1756, new_bit_count=10, id=1757, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1667: bits[1] = eq(f32_cast_bexp__2, EXPR_MASK, id=1667, pos=[(1,1373,50), (1,1416,45), (1,1721,31), (2,176,25)])
  sgt.1668: bits[1] = sgt(uexp, TO_BIAS, id=1668, pos=[(1,1379,38), (1,1416,45), (1,1721,31), (2,176,25)])
  bit_slice.1660: bits[5] = bit_slice(uexp, start=0, width=5, id=1660, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  BIAS: bits[5] = literal(value=15, id=1661, pos=[(1,343,38), (1,1387,26), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1926: bits[4] = literal(value=0, id=1926, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1862: bits[1] = nor(ugt.1643, not.1860, not.1861, id=1862, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.2012: bits[1] = not(eq.1640, id=2012, pos=[(1,1721,31), (2,176,25)])
  eq.1639: bits[1] = eq(f32_fraction__1, literal.1631, id=1639, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  eq.1638: bits[1] = eq(f32_bexp__1, EXPR_MASK, id=1638, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  sle.1669: bits[1] = sle(uexp, literal.1659, id=1669, pos=[(1,1382,45), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_cast_fraction__1: bits[10] = add(truncated_frac, concat.1963, id=1746)
  and.1758: bits[10] = and(subnormal_frac, sign_ext.1757, id=1758, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.1863: bits[1] = nor(eq.1667, sgt.1668, id=1863, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  add.1670: bits[5] = add(bit_slice.1660, BIAS, id=1670, pos=[(1,344,5), (1,1387,26), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1964: bits[5] = concat(literal.1926, nor.1862, id=1964, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.2013: bits[1] = nor(not.2012, eq.1639, id=2013, pos=[(1,1721,31), (2,176,25)])
  and.1647: bits[1] = and(eq.1640, eq.1639, id=1647, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  and.1646: bits[1] = and(eq.1638, eq.1639, id=1646, pos=[(1,1407,13), (1,1721,31), (2,176,25)])
  not.2010: bits[1] = not(eq.1638, id=2010, pos=[(1,1721,31), (2,176,25)])
  sel.1690: bits[10] = sel(sle.1669, cases=[f32_cast_fraction__1, and.1758], id=1690, pos=[(1,1382,15), (1,1416,45), (1,1721,31), (2,176,25)])
  sign_ext.1766: bits[10] = sign_ext(nor.1863, new_bit_count=10, id=1766, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  or.1678: bits[1] = or(eq.1667, sgt.1668, id=1678, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  sel.1679: bits[5] = sel(sle.1669, cases=[add.1670, concat.1964], id=1679, pos=[(1,1382,15), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1680: bits[5] = literal(value=31, id=1680, pos=[(1,78,28), (1,1381,15), (1,1416,45), (1,1721,31), (2,176,25)])
  or.1833: bits[1] = or(nor.2013, and.1647, and.1646, id=1833, pos=[(1,1721,31), (2,176,25)])
  nor.2017: bits[1] = nor(not.2010, eq.1639, id=2017, pos=[(1,1721,31), (2,176,25)])
  and.1767: bits[10] = and(sel.1690, sign_ext.1766, id=1767, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  nor.2015: bits[1] = nor(eq.1638, eq.1640, id=2015, pos=[(1,1721,31), (2,176,25)])
  concat.1763: bits[2] = concat(eq.1640, eq.1638, id=1763, pos=[(1,1721,31), (2,176,25)])
  literal.1664: bits[5] = literal(value=0, id=1664, pos=[(1,1349,42), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  sel.1689: bits[5] = sel(or.1678, cases=[sel.1679, literal.1680], id=1689, pos=[(1,1373,4), (1,1416,45), (1,1721,31), (2,176,25)])
  concat.1820: bits[2] = concat(or.1833, nor.2017, id=1820, pos=[(1,1721,31), (2,176,25)])
  bit_slice.1798: bits[1] = bit_slice(and.1767, start=9, width=1, id=1798, pos=[(1,1721,31), (2,176,25)])
  bit_slice.1794: bits[9] = bit_slice(and.1767, start=0, width=9, id=1794, pos=[(1,1721,31), (2,176,25)])
  sign_ext.1951: bits[9] = sign_ext(nor.2015, new_bit_count=9, id=1951, pos=[(1,1721,31), (2,176,25)])
  x_bexp__1: bits[5] = priority_sel(concat.1763, cases=[literal.1680, literal.1664], default=sel.1689, id=1764, pos=[(1,1721,31), (2,176,25)])
  not.1684: bits[1] = not(eq.1667, id=1684, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  not.1685: bits[1] = not(sgt.1668, id=1685, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  uexp__1: bits[8] = add(f32_bexp__1, literal.1642, id=1686, pos=[(1,266,6), (1,1311,32), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  literal.1687: bits[8] = literal(value=242, id=1687, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  f32_sign__2: bits[1] = tuple_index(f32, index=0, id=1703, pos=[(1,1121,15), (1,1366,27), (1,1416,45), (1,1721,31), (2,176,25)])
  priority_sel.1799: bits[1] = priority_sel(concat.1820, cases=[literal.1600, literal.1593], default=bit_slice.1798, id=1799, pos=[(1,1721,31), (2,176,25)])
  and.1952: bits[9] = and(bit_slice.1794, sign_ext.1951, id=1952, pos=[(1,1721,31), (2,176,25)])
  ne.1853: bits[1] = ne(x_bexp__1, literal.1664, id=1853, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  and.1724: bits[1] = and(nor.2015, not.1684, not.1685, sle.1669, id=1724, pos=[(1,1416,45), (1,1721,31), (2,176,25)])
  sge.1693: bits[1] = sge(uexp__1, literal.1687, id=1693, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1649: bits[1] = not(ugt.1643, id=1649, pos=[(1,1321,4), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  eq.1694: bits[1] = eq(neg.1588, literal.1687, id=1694, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  ugt.1695: bits[1] = ugt(concat.1843, literal.1611, id=1695, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  not.1732: bits[1] = not(f32_sign__2, id=1732, pos=[(1,1721,31), (2,176,25)])
  concat.1800: bits[10] = concat(priority_sel.1799, and.1952, id=1800, pos=[(1,1721,31), (2,176,25)])
  sign_ext.1777: bits[10] = sign_ext(ne.1853, new_bit_count=10, id=1777, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  assert_1265__1: token = after_all(id=504)
  nand.1700: bits[1] = nand(and.1724, sge.1693, id=1700, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nand.1701: bits[1] = nand(and.1724, not.1649, eq.1694, id=1701, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  nand.1702: bits[1] = nand(and.1724, not.1649, ugt.1695, id=1702, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  x_sign: bits[1] = nor(nor.2017, not.1732, id=1733, pos=[(1,1721,31), (2,176,25)])
  and.1778: bits[10] = and(concat.1800, sign_ext.1777, id=1778, pos=[(1,809,4), (1,1721,22), (2,176,25)])
  assert_1102__2: token = assert(assert_1265__1, nand.1700, 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=1721, pos=[(1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  assert_874__1: token = assert(assert_1265__1, nand.1701, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:412:12-412:65", label="apfloat_round_without_residue", id=1722, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  assert_875__1: token = assert(assert_1265__1, nand.1702, message="Assertion failure via assert! @ /inputs/subtree/xls/dslx/stdlib/apfloat.x:413:12-413:74", label="apfloat_round_without_lsb", id=1723, pos=[(1,1333,40), (1,1383,33), (1,1416,45), (1,1721,31), (2,176,25)])
  ret tuple.1716: (bits[1], bits[5], bits[10]) = tuple(x_sign, x_bexp__1, and.1778, id=1716, pos=[(1,809,4), (1,1721,22), (2,176,25)])
}