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 1910–1957

nativePhysicalNativeAssertOneOfBlock

Full file
1910def nativePhysicalNativeAssertOneOfBlock =
1911  (lambda unrestricted tail : (family X86NativeAssembly) .
1912    (nativePhysicalNativeLabel
1913      nativePhysicalNativeLabelDispatchAssertOneOf
1914      (nativePhysicalNativeResolveCall
1915        (byte 112)
1916        (constructor X86NativeRegister64 X86NativeRSI)
1917        (nativePhysicalNativeEmit
1918          (nativePhysicalNativeStore64
1919            (constructor X86NativeRegister64 X86NativeRSP)
1920            (nativePhysicalNativeNegativeDisplacementByte (byte 232))
1921            (constructor X86NativeRegister64 X86NativeRSI))
1922          (nativePhysicalNativeResolveCall
1923            (byte 88)
1924            (constructor X86NativeRegister64 X86NativeRSI)
1925            (nativePhysicalNativeEmit
1926              (nativePhysicalNativeStore64
1927                (constructor X86NativeRegister64 X86NativeRSP)
1928                (nativePhysicalNativeNegativeDisplacementByte (byte 240))
1929                (constructor X86NativeRegister64 X86NativeRSI))
1930              (nativePhysicalNativeResolveCall
1931                (byte 64)
1932                (constructor X86NativeRegister64 X86NativeRAX)
1933                (nativePhysicalNativeEmit
1934                  (nativePhysicalNativeLoad64
1935                    (constructor X86NativeRegister64 X86NativeRSI)
1936                    (constructor X86NativeRegister64 X86NativeRSP)
1937                    (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
1938                  (nativePhysicalNativeEmit
1939                    (nativePhysicalNativeCompare
1940                      (constructor X86NativeRegister64 X86NativeRSI)
1941                      (constructor X86NativeRegister64 X86NativeRAX))
1942                    (nativePhysicalNativeJumpCondition
1943                      (constructor X86NativeCondition X86NativeConditionZero)
1944                      nativePhysicalNativeLabelAdvance
1945                      (nativePhysicalNativeEmit
1946                        (nativePhysicalNativeLoad64
1947                          (constructor X86NativeRegister64 X86NativeRSI)
1948                          (constructor X86NativeRegister64 X86NativeRSP)
1949                          (nativePhysicalNativeNegativeDisplacementByte (byte 232)))
1950                        (nativePhysicalNativeEmit
1951                          (nativePhysicalNativeCompare
1952                            (constructor X86NativeRegister64 X86NativeRSI)
1953                            (constructor X86NativeRegister64 X86NativeRAX))
1954                          (nativePhysicalNativeJumpCondition
1955                            (constructor X86NativeCondition X86NativeConditionNotZero)
1956                            nativePhysicalNativeLabelCommandFailure
1957                            (nativePhysicalNativeJump nativePhysicalNativeLabelAdvance 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.