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 1808–1879

nativePhysicalNativeFenceBlock

Full file
1808def nativePhysicalNativeFenceBlock =
1809  (lambda unrestricted tail : (family X86NativeAssembly) .
1810    (nativePhysicalNativeLabel
1811      nativePhysicalNativeLabelDispatchFence
1812      (nativePhysicalNativeResolveCall
1813        (byte 112)
1814        (constructor X86NativeRegister64 X86NativeRCX)
1815        (nativePhysicalNativeEmit
1816          (nativePhysicalNativeStore64
1817            (constructor X86NativeRegister64 X86NativeRSP)
1818            (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1819            (constructor X86NativeRegister64 X86NativeRCX))
1820          (nativePhysicalNativeResolveCall
1821            (byte 88)
1822            (constructor X86NativeRegister64 X86NativeRSI)
1823            (nativePhysicalNativeEmit
1824              (nativePhysicalNativeStore64
1825                (constructor X86NativeRegister64 X86NativeRSP)
1826                (nativePhysicalNativeNegativeDisplacementByte (byte 248))
1827                (constructor X86NativeRegister64 X86NativeRSI))
1828              (nativePhysicalNativeResolveCall
1829                (byte 64)
1830                (constructor X86NativeRegister64 X86NativeRDI)
1831                (nativePhysicalNativeEmit
1832                  (nativePhysicalNativeLoad64
1833                    (constructor X86NativeRegister64 X86NativeRSI)
1834                    (constructor X86NativeRegister64 X86NativeRSP)
1835                    (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
1836                  (nativePhysicalNativeEmit
1837                    (nativePhysicalNativeLoad64
1838                      (constructor X86NativeRegister64 X86NativeRCX)
1839                      (constructor X86NativeRegister64 X86NativeRSP)
1840                      (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1841                    (nativePhysicalNativeEmit
1842                      (nativePhysicalNativeTest
1843                        (constructor X86NativeRegister64 X86NativeRCX)
1844                        (constructor X86NativeRegister64 X86NativeRCX))
1845                      (nativePhysicalNativeJumpCondition
1846                        (constructor X86NativeCondition X86NativeConditionZero)
1847                        nativePhysicalNativeLabelCommandFailure
1848                        (nativePhysicalNativeLabel
1849                          nativePhysicalNativeLabelFenceLoop
1850                          (nativePhysicalNativeEmit
1851                            (nativePhysicalNativeLoad64
1852                              (constructor X86NativeRegister64 X86NativeRAX)
1853                              (constructor X86NativeRegister64 X86NativeRDI)
1854                              nativePhysicalNativeD0)
1855                            (nativePhysicalNativeEmit
1856                              (nativePhysicalNativeCompare
1857                                (constructor X86NativeRegister64 X86NativeRSI)
1858                                (constructor X86NativeRegister64 X86NativeRAX))
1859                              (nativePhysicalNativeJumpCondition
1860                                (constructor X86NativeCondition X86NativeConditionZero)
1861                                nativePhysicalNativeLabelFenceDone
1862                                (nativePhysicalNativeEmit
1863                                  (nativePhysicalNativeAddImmediate
1864                                    (constructor X86NativeRegister64 X86NativeRCX)
1865                                    nativePhysicalNativeI32NegativeOne)
1866                                  (nativePhysicalNativeEmit
1867                                    (nativePhysicalNativeTest
1868                                      (constructor X86NativeRegister64 X86NativeRCX)
1869                                      (constructor X86NativeRegister64 X86NativeRCX))
1870                                    (nativePhysicalNativeJumpCondition
1871                                      (constructor X86NativeCondition X86NativeConditionNotZero)
1872                                      nativePhysicalNativeLabelFenceLoop
1873                                      (nativePhysicalNativeJump
1874                                        nativePhysicalNativeLabelCommandFailure
1875                                        (nativePhysicalNativeLabel
1876                                        nativePhysicalNativeLabelFenceDone
1877                                        (nativePhysicalNativeJump
1878                                        nativePhysicalNativeLabelAdvance
1879                                        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.