Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

2,298 lines165 declarations135.2 KiBSHA-256 cd2006b824a4

def · lines 1584–1860

nativePhysicalNativeTelemetryBlock

Full file
1584def nativePhysicalNativeTelemetryBlock =
1585  (lambda unrestricted tail : (family X86NativeAssembly) .
1586    (nativePhysicalNativeLabel
1587      nativePhysicalNativeLabelDispatchTelemetry
1588      (nativePhysicalNativeEmit
1589        (nativePhysicalNativeLoad64
1590          (constructor X86NativeRegister64 X86NativeRCX)
1591          (constructor X86NativeRegister64 X86NativeR14)
1592          (nativePhysicalNativeDisplacementByte (byte 32)))
1593        (nativePhysicalNativeEmit
1594          (nativePhysicalNativeTest
1595            (constructor X86NativeRegister64 X86NativeRCX)
1596            (constructor X86NativeRegister64 X86NativeRCX))
1597          (nativePhysicalNativeJumpCondition
1598            (constructor X86NativeCondition X86NativeConditionZero)
1599            nativePhysicalNativeLabelCommandFailure
1600            (nativePhysicalNativeEmit
1601              (nativePhysicalNativeMove
1602                (constructor X86NativeRegister64 X86NativeRCX)
1603                (constructor X86NativeRegister64 X86NativeRSI))
1604              (nativePhysicalNativeEmit
1605                (nativePhysicalNativeAddImmediate
1606                  (constructor X86NativeRegister64 X86NativeRSI)
1607                  (nativePhysicalNativeI32Byte (byte 1)))
1608                (nativePhysicalNativeEmit
1609                  (nativePhysicalNativeStore64
1610                    (constructor X86NativeRegister64 X86NativeRSP)
1611                    (nativePhysicalNativeNegativeDisplacementByte (byte 232))
1612                    (constructor X86NativeRegister64 X86NativeRSI))
1613                  (nativePhysicalNativeEmit
1614                    (nativePhysicalNativeMoveImmediate32
1615                      (constructor X86NativeRegister64 X86NativeRAX)
1616                      (nativePhysicalNativeI32Byte (byte 9)))
1617                    (nativePhysicalNativeEmit
1618                      (nativePhysicalNativeMoveImmediate32
1619                        (constructor X86NativeRegister64 X86NativeRDI)
1620                        (nativePhysicalNativeI32Byte (byte 0)))
1621                      (nativePhysicalNativeEmit
1622                        (nativePhysicalNativeMoveImmediate32
1623                          (constructor X86NativeRegister64 X86NativeRDX)
1624                          (nativePhysicalNativeI32Byte (byte 3)))
1625                        (nativePhysicalNativeEmit
1626                          (nativePhysicalNativeMoveImmediate32
1627                            (constructor X86NativeRegister64 X86NativeR10)
1628                            (nativePhysicalNativeI32Byte (byte 34)))
1629                          (nativePhysicalNativeEmit
1630                            (nativePhysicalNativeMoveImmediate64
1631                              (constructor X86NativeRegister64 X86NativeR8)
1632                              nativePhysicalNativeI64NegativeOne)
1633                            (nativePhysicalNativeEmit
1634                              (nativePhysicalNativeMoveImmediate32
1635                                (constructor X86NativeRegister64 X86NativeR9)
1636                                (nativePhysicalNativeI32Byte (byte 0)))
1637                              (nativePhysicalNativeEmit
1638                                nativePhysicalNativeSystemCallInstruction
1639                                (nativePhysicalNativeEmit
1640                                  (nativePhysicalNativeTest
1641                                    (constructor X86NativeRegister64 X86NativeRAX)
1642                                    (constructor X86NativeRegister64 X86NativeRAX))
1643                                  (nativePhysicalNativeJumpCondition
1644                                    (constructor X86NativeCondition X86NativeConditionSign)
1645                                    nativePhysicalNativeLabelCommandFailure
1646                                    (nativePhysicalNativeEmit
1647                                      (nativePhysicalNativeStore64
1648                                        (constructor X86NativeRegister64 X86NativeRSP)
1649                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248))
1650                                        (constructor X86NativeRegister64 X86NativeRAX))
1651                                      (nativePhysicalNativeEmit
1652                                        (nativePhysicalNativeMove
1653                                        (constructor X86NativeRegister64 X86NativeRAX)
1654                                        (constructor X86NativeRegister64 X86NativeRDI))
1655                                        (nativePhysicalNativeEmit
1656                                        (nativePhysicalNativeMove
1657                                        (constructor X86NativeRegister64 X86NativeR14)
1658                                        (constructor X86NativeRegister64 X86NativeRSI))
1659                                        (nativePhysicalNativeEmit
1660                                        (nativePhysicalNativeAddImmediate
1661                                        (constructor X86NativeRegister64 X86NativeRSI)
1662                                        (nativePhysicalNativeI32Byte (byte 232)))
1663                                        (nativePhysicalNativeLabel
1664                                        nativePhysicalNativeLabelTelemetryCopyLoop
1665                                        (nativePhysicalNativeEmit
1666                                        (nativePhysicalNativeLoad8
1667                                        (constructor X86NativeRegister64 X86NativeRAX)
1668                                        (constructor X86NativeRegister64 X86NativeRSI)
1669                                        nativePhysicalNativeD0)
1670                                        (nativePhysicalNativeEmit
1671                                        (nativePhysicalNativeStore8
1672                                        (constructor X86NativeRegister64 X86NativeRDI)
1673                                        nativePhysicalNativeD0
1674                                        (constructor X86NativeRegister64 X86NativeRAX))
1675                                        (nativePhysicalNativeEmit
1676                                        (nativePhysicalNativeAddImmediate
1677                                        (constructor X86NativeRegister64 X86NativeRSI)
1678                                        (nativePhysicalNativeI32Byte (byte 1)))
1679                                        (nativePhysicalNativeEmit
1680                                        (nativePhysicalNativeAddImmediate
1681                                        (constructor X86NativeRegister64 X86NativeRDI)
1682                                        (nativePhysicalNativeI32Byte (byte 1)))
1683                                        (nativePhysicalNativeEmit
1684                                        (nativePhysicalNativeAddImmediate
1685                                        (constructor X86NativeRegister64 X86NativeRCX)
1686                                        nativePhysicalNativeI32NegativeOne)
1687                                        (nativePhysicalNativeEmit
1688                                        (nativePhysicalNativeTest
1689                                        (constructor X86NativeRegister64 X86NativeRCX)
1690                                        (constructor X86NativeRegister64 X86NativeRCX))
1691                                        (nativePhysicalNativeJumpCondition
1692                                        (constructor X86NativeCondition X86NativeConditionNotZero)
1693                                        nativePhysicalNativeLabelTelemetryCopyLoop
1694                                        (nativePhysicalNativeEmit
1695                                        (nativePhysicalNativeMoveImmediate32
1696                                        (constructor X86NativeRegister64 X86NativeRAX)
1697                                        (nativePhysicalNativeImmediate32
1698                                        (byte 1)
1699                                        (byte 1)
1700                                        (byte 0)
1701                                        (byte 0)))
1702                                        (nativePhysicalNativeEmit
1703                                        (nativePhysicalNativeMoveImmediate64
1704                                        (constructor X86NativeRegister64 X86NativeRDI)
1705                                        (nativePhysicalNativeImmediate64
1706                                        (byte 156)
1707                                        (byte 255)
1708                                        (byte 255)
1709                                        (byte 255)
1710                                        (byte 255)
1711                                        (byte 255)
1712                                        (byte 255)
1713                                        (byte 255)))
1714                                        (nativePhysicalNativeEmit
1715                                        (nativePhysicalNativeLoad64
1716                                        (constructor X86NativeRegister64 X86NativeRSI)
1717                                        (constructor X86NativeRegister64 X86NativeRSP)
1718                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
1719                                        (nativePhysicalNativeEmit
1720                                        (nativePhysicalNativeMoveImmediate32
1721                                        (constructor X86NativeRegister64 X86NativeRDX)
1722                                        (nativePhysicalNativeImmediate32
1723                                        (byte 65)
1724                                        (byte 4)
1725                                        (byte 0)
1726                                        (byte 0)))
1727                                        (nativePhysicalNativeEmit
1728                                        (nativePhysicalNativeMoveImmediate32
1729                                        (constructor X86NativeRegister64 X86NativeR10)
1730                                        (nativePhysicalNativeImmediate32
1731                                        (byte 164)
1732                                        (byte 1)
1733                                        (byte 0)
1734                                        (byte 0)))
1735                                        (nativePhysicalNativeEmit
1736                                        nativePhysicalNativeSystemCallInstruction
1737                                        (nativePhysicalNativeEmit
1738                                        (nativePhysicalNativeTest
1739                                        (constructor X86NativeRegister64 X86NativeRAX)
1740                                        (constructor X86NativeRegister64 X86NativeRAX))
1741                                        (nativePhysicalNativeJumpCondition
1742                                        (constructor X86NativeCondition X86NativeConditionSign)
1743                                        nativePhysicalNativeLabelCommandFailure
1744                                        (nativePhysicalNativeEmit
1745                                        (nativePhysicalNativeStore64
1746                                        (constructor X86NativeRegister64 X86NativeRSP)
1747                                        (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1748                                        (constructor X86NativeRegister64 X86NativeRAX))
1749                                        (nativePhysicalNativeEmit
1750                                        (nativePhysicalNativeMove
1751                                        (constructor X86NativeRegister64 X86NativeR14)
1752                                        (constructor X86NativeRegister64 X86NativeRSI))
1753                                        (nativePhysicalNativeEmit
1754                                        (nativePhysicalNativeAddImmediate
1755                                        (constructor X86NativeRegister64 X86NativeRSI)
1756                                        (nativePhysicalNativeI32Byte (byte 232)))
1757                                        (nativePhysicalNativeEmit
1758                                        (nativePhysicalNativeLoad64
1759                                        (constructor X86NativeRegister64 X86NativeRCX)
1760                                        (constructor X86NativeRegister64 X86NativeR14)
1761                                        (nativePhysicalNativeDisplacementByte (byte 32)))
1762                                        (nativePhysicalNativeEmit
1763                                        (nativePhysicalNativeAdd
1764                                        (constructor X86NativeRegister64 X86NativeRCX)
1765                                        (constructor X86NativeRegister64 X86NativeRSI))
1766                                        (nativePhysicalNativeEmit
1767                                        (nativePhysicalNativeLoad64
1768                                        (constructor X86NativeRegister64 X86NativeRDX)
1769                                        (constructor X86NativeRegister64 X86NativeR14)
1770                                        (nativePhysicalNativeDisplacementByte (byte 40)))
1771                                        (nativePhysicalNativeEmit
1772                                        (nativePhysicalNativeLoad64
1773                                        (constructor X86NativeRegister64 X86NativeRDI)
1774                                        (constructor X86NativeRegister64 X86NativeRSP)
1775                                        (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1776                                        (nativePhysicalNativeLabel
1777                                        nativePhysicalNativeLabelTelemetryWriteLoop
1778                                        (nativePhysicalNativeEmit
1779                                        (nativePhysicalNativeMoveImmediate32
1780                                        (constructor X86NativeRegister64 X86NativeRAX)
1781                                        (nativePhysicalNativeI32Byte (byte 1)))
1782                                        (nativePhysicalNativeEmit
1783                                        nativePhysicalNativeSystemCallInstruction
1784                                        (nativePhysicalNativeEmit
1785                                        (nativePhysicalNativeTest
1786                                        (constructor X86NativeRegister64 X86NativeRAX)
1787                                        (constructor X86NativeRegister64 X86NativeRAX))
1788                                        (nativePhysicalNativeJumpCondition
1789                                        (constructor X86NativeCondition X86NativeConditionSign)
1790                                        nativePhysicalNativeLabelCommandFailure
1791                                        (nativePhysicalNativeJumpCondition
1792                                        (constructor X86NativeCondition X86NativeConditionZero)
1793                                        nativePhysicalNativeLabelCommandFailure
1794                                        (nativePhysicalNativeEmit
1795                                        (nativePhysicalNativeAdd
1796                                        (constructor X86NativeRegister64 X86NativeRAX)
1797                                        (constructor X86NativeRegister64 X86NativeRSI))
1798                                        (nativePhysicalNativeEmit
1799                                        (nativePhysicalNativeSubtract
1800                                        (constructor X86NativeRegister64 X86NativeRAX)
1801                                        (constructor X86NativeRegister64 X86NativeRDX))
1802                                        (nativePhysicalNativeEmit
1803                                        (nativePhysicalNativeTest
1804                                        (constructor X86NativeRegister64 X86NativeRDX)
1805                                        (constructor X86NativeRegister64 X86NativeRDX))
1806                                        (nativePhysicalNativeJumpCondition
1807                                        (constructor X86NativeCondition X86NativeConditionNotZero)
1808                                        nativePhysicalNativeLabelTelemetryWriteLoop
1809                                        (nativePhysicalNativeEmit
1810                                        (nativePhysicalNativeMoveImmediate32
1811                                        (constructor X86NativeRegister64 X86NativeRAX)
1812                                        (nativePhysicalNativeI32Byte (byte 75)))
1813                                        (nativePhysicalNativeEmit
1814                                        nativePhysicalNativeSystemCallInstruction
1815                                        (nativePhysicalNativeEmit
1816                                        (nativePhysicalNativeTest
1817                                        (constructor X86NativeRegister64 X86NativeRAX)
1818                                        (constructor X86NativeRegister64 X86NativeRAX))
1819                                        (nativePhysicalNativeJumpCondition
1820                                        (constructor X86NativeCondition X86NativeConditionSign)
1821                                        nativePhysicalNativeLabelCommandFailure
1822                                        (nativePhysicalNativeEmit
1823                                        (nativePhysicalNativeMoveImmediate32
1824                                        (constructor X86NativeRegister64 X86NativeRAX)
1825                                        (nativePhysicalNativeI32Byte (byte 3)))
1826                                        (nativePhysicalNativeEmit
1827                                        nativePhysicalNativeSystemCallInstruction
1828                                        (nativePhysicalNativeEmit
1829                                        (nativePhysicalNativeTest
1830                                        (constructor X86NativeRegister64 X86NativeRAX)
1831                                        (constructor X86NativeRegister64 X86NativeRAX))
1832                                        (nativePhysicalNativeJumpCondition
1833                                        (constructor X86NativeCondition X86NativeConditionSign)
1834                                        nativePhysicalNativeLabelCommandFailure
1835                                        (nativePhysicalNativeEmit
1836                                        (nativePhysicalNativeMoveImmediate32
1837                                        (constructor X86NativeRegister64 X86NativeRAX)
1838                                        (nativePhysicalNativeI32Byte (byte 11)))
1839                                        (nativePhysicalNativeEmit
1840                                        (nativePhysicalNativeLoad64
1841                                        (constructor X86NativeRegister64 X86NativeRDI)
1842                                        (constructor X86NativeRegister64 X86NativeRSP)
1843                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
1844                                        (nativePhysicalNativeEmit
1845                                        (nativePhysicalNativeLoad64
1846                                        (constructor X86NativeRegister64 X86NativeRSI)
1847                                        (constructor X86NativeRegister64 X86NativeRSP)
1848                                        (nativePhysicalNativeNegativeDisplacementByte (byte 232)))
1849                                        (nativePhysicalNativeEmit
1850                                        nativePhysicalNativeSystemCallInstruction
1851                                        (nativePhysicalNativeEmit
1852                                        (nativePhysicalNativeTest
1853                                        (constructor X86NativeRegister64 X86NativeRAX)
1854                                        (constructor X86NativeRegister64 X86NativeRAX))
1855                                        (nativePhysicalNativeJumpCondition
1856                                        (constructor X86NativeCondition X86NativeConditionSign)
1857                                        nativePhysicalNativeLabelCommandFailure
1858                                        (nativePhysicalNativeJump
1859                                        nativePhysicalNativeLabelAdvance
1860                                        tail)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.