AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,650 lines210 declarations198.6 KiBSHA-256 028b70105699
Download exact fileView at revision426597bda5753d86c4

def · lines 1652–1755

nativePhysicalNativeCopyBlock

Full file
1652def nativePhysicalNativeCopyBlock =
1653  (lambda unrestricted tail : (family X86NativeAssembly) .
1654    (nativePhysicalNativeLabel
1655      nativePhysicalNativeLabelDispatchCopy
1656      (nativePhysicalNativeResolveCall
1657        (byte 88)
1658        (constructor X86NativeRegister64 X86NativeRCX)
1659        (nativePhysicalNativeEmit
1660          (nativePhysicalNativeLoad64
1661            (constructor X86NativeRegister64 X86NativeR11)
1662            (constructor X86NativeRegister64 X86NativeR14)
1663            (nativePhysicalNativeDisplacementByte (byte 32)))
1664          (nativePhysicalNativeEmit
1665            (nativePhysicalNativeCompare
1666              (constructor X86NativeRegister64 X86NativeR11)
1667              (constructor X86NativeRegister64 X86NativeRCX))
1668            (nativePhysicalNativeJumpCondition
1669              (constructor X86NativeCondition X86NativeConditionNotZero)
1670              nativePhysicalNativeLabelCommandFailure
1671              (nativePhysicalNativeEmit
1672                (nativePhysicalNativeMove
1673                  (constructor X86NativeRegister64 X86NativeRCX)
1674                  (constructor X86NativeRegister64 X86NativeR9))
1675                (nativePhysicalNativeResolveCall
1676                  (byte 64)
1677                  (constructor X86NativeRegister64 X86NativeRAX)
1678                  (nativePhysicalNativeEmit
1679                    (nativePhysicalNativeMove
1680                      (constructor X86NativeRegister64 X86NativeRAX)
1681                      (constructor X86NativeRegister64 X86NativeR10))
1682                    (nativePhysicalNativeEmit
1683                      (nativePhysicalNativeAdd
1684                        (constructor X86NativeRegister64 X86NativeR9)
1685                        (constructor X86NativeRegister64 X86NativeR10))
1686                      (nativePhysicalNativeEmit
1687                        (nativePhysicalNativeLoad64
1688                          (constructor X86NativeRegister64 X86NativeR11)
1689                          (constructor X86NativeRegister64 X86NativeR15)
1690                          (nativePhysicalNativeDisplacementByte (byte 24)))
1691                        (nativePhysicalNativeEmit
1692                          (nativePhysicalNativeCompare
1693                            (constructor X86NativeRegister64 X86NativeR11)
1694                            (constructor X86NativeRegister64 X86NativeR10))
1695                          (nativePhysicalNativeJumpCondition
1696                            (constructor X86NativeCondition X86NativeConditionAbove)
1697                            nativePhysicalNativeLabelCommandFailure
1698                            (nativePhysicalNativeEmit
1699                              (nativePhysicalNativeAdd
1700                                (constructor X86NativeRegister64 X86NativeRBP)
1701                                (constructor X86NativeRegister64 X86NativeRAX))
1702                              (nativePhysicalNativeEmit
1703                                (nativePhysicalNativeMove
1704                                  (constructor X86NativeRegister64 X86NativeRAX)
1705                                  (constructor X86NativeRegister64 X86NativeRDI))
1706                                (nativePhysicalNativeEmit
1707                                  (nativePhysicalNativeMove
1708                                    (constructor X86NativeRegister64 X86NativeR14)
1709                                    (constructor X86NativeRegister64 X86NativeRSI))
1710                                  (nativePhysicalNativePayloadBase
1711                                        (constructor X86NativeRegister64 X86NativeRSI)
1712                                        (constructor X86NativeRegister64 X86NativeR11)
1713                                    (nativePhysicalNativeEmit
1714                                      (nativePhysicalNativeTest
1715                                        (constructor X86NativeRegister64 X86NativeRCX)
1716                                        (constructor X86NativeRegister64 X86NativeRCX))
1717                                      (nativePhysicalNativeJumpCondition
1718                                        (constructor X86NativeCondition X86NativeConditionZero)
1719                                        nativePhysicalNativeLabelCopyDone
1720                                        (nativePhysicalNativeLabel
1721                                        nativePhysicalNativeLabelCopyLoop
1722                                        (nativePhysicalNativeEmit
1723                                        (nativePhysicalNativeLoad8
1724                                        (constructor X86NativeRegister64 X86NativeRAX)
1725                                        (constructor X86NativeRegister64 X86NativeRSI)
1726                                        nativePhysicalNativeD0)
1727                                        (nativePhysicalNativeEmit
1728                                        (nativePhysicalNativeStore8
1729                                        (constructor X86NativeRegister64 X86NativeRDI)
1730                                        nativePhysicalNativeD0
1731                                        (constructor X86NativeRegister64 X86NativeRAX))
1732                                        (nativePhysicalNativeEmit
1733                                        (nativePhysicalNativeAddImmediate
1734                                        (constructor X86NativeRegister64 X86NativeRSI)
1735                                        (nativePhysicalNativeI32Byte (byte 1)))
1736                                        (nativePhysicalNativeEmit
1737                                        (nativePhysicalNativeAddImmediate
1738                                        (constructor X86NativeRegister64 X86NativeRDI)
1739                                        (nativePhysicalNativeI32Byte (byte 1)))
1740                                        (nativePhysicalNativeEmit
1741                                        (nativePhysicalNativeAddImmediate
1742                                        (constructor X86NativeRegister64 X86NativeRCX)
1743                                        nativePhysicalNativeI32NegativeOne)
1744                                        (nativePhysicalNativeEmit
1745                                        (nativePhysicalNativeTest
1746                                        (constructor X86NativeRegister64 X86NativeRCX)
1747                                        (constructor X86NativeRegister64 X86NativeRCX))
1748                                        (nativePhysicalNativeJumpCondition
1749                                        (constructor X86NativeCondition X86NativeConditionNotZero)
1750                                        nativePhysicalNativeLabelCopyLoop
1751                                        (nativePhysicalNativeLabel
1752                                        nativePhysicalNativeLabelCopyDone
1753                                        (nativePhysicalNativeJump
1754                                        nativePhysicalNativeLabelAdvance
1755                                        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.