AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

2,298 lines165 declarations135.2 KiBSHA-256 cd2006b824a4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1908–1957

nativePhysicalNativeCommandFailureBlock

Full file
1908def nativePhysicalNativeCommandFailureBlock =
1909  (lambda unrestricted tail : (family X86NativeAssembly) .
1910    (nativePhysicalNativeLabel
1911      nativePhysicalNativeLabelCommandFailure
1912      (nativePhysicalNativeEmit
1913        (nativePhysicalNativeMove
1914          (constructor X86NativeRegister64 X86NativeR14)
1915          (constructor X86NativeRegister64 X86NativeRSI))
1916        (nativePhysicalNativeEmit
1917          (nativePhysicalNativeAddImmediate
1918            (constructor X86NativeRegister64 X86NativeRSI)
1919            (nativePhysicalNativeI32Byte (byte 232)))
1920          (nativePhysicalNativeEmit
1921            (nativePhysicalNativeLoad64
1922              (constructor X86NativeRegister64 X86NativeRAX)
1923              (constructor X86NativeRegister64 X86NativeR14)
1924              (nativePhysicalNativeDisplacementByte (byte 32)))
1925            (nativePhysicalNativeEmit
1926              (nativePhysicalNativeAdd
1927                (constructor X86NativeRegister64 X86NativeRAX)
1928                (constructor X86NativeRegister64 X86NativeRSI))
1929              (nativePhysicalNativeEmit
1930                (nativePhysicalNativeLoad64
1931                  (constructor X86NativeRegister64 X86NativeRAX)
1932                  (constructor X86NativeRegister64 X86NativeR14)
1933                  (nativePhysicalNativeDisplacementByte (byte 40)))
1934                (nativePhysicalNativeEmit
1935                  (nativePhysicalNativeAdd
1936                    (constructor X86NativeRegister64 X86NativeRAX)
1937                    (constructor X86NativeRegister64 X86NativeRSI))
1938                  (nativePhysicalNativeEmit
1939                    (nativePhysicalNativeLoad64
1940                      (constructor X86NativeRegister64 X86NativeRDX)
1941                      (constructor X86NativeRegister64 X86NativeR14)
1942                      (nativePhysicalNativeDisplacementByte (byte 48)))
1943                    (nativePhysicalNativeEmit
1944                      (nativePhysicalNativeMoveImmediate32
1945                        (constructor X86NativeRegister64 X86NativeRAX)
1946                        (nativePhysicalNativeI32Byte (byte 1)))
1947                      (nativePhysicalNativeEmit
1948                        (nativePhysicalNativeMoveImmediate32
1949                          (constructor X86NativeRegister64 X86NativeRDI)
1950                          (nativePhysicalNativeI32Byte (byte 2)))
1951                        (nativePhysicalNativeEmit
1952                          nativePhysicalNativeSystemCallInstruction
1953                          (nativePhysicalNativeEmit
1954                            (nativePhysicalNativeMoveImmediate32
1955                              (constructor X86NativeRegister64 X86NativeRDI)
1956                              (nativePhysicalNativeI32Byte (byte 120)))
1957                            (nativePhysicalNativeJump nativePhysicalNativeLabelExit 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.