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 1801–1872

nativePhysicalNativeFenceBlock

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