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 1903–1950

nativePhysicalNativeAssertOneOfBlock

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