AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,420 lines207 declarations187.4 KiBSHA-256 9c16b0741974
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1645–1748

nativePhysicalNativeCopyBlock

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