Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,420 lines207 declarations187.4 KiBSHA-256 9c16b0741974

def · lines 1952–2226

nativePhysicalNativeTelemetryBlock

Full file
1952def nativePhysicalNativeTelemetryBlock =
1953  (lambda unrestricted tail : (family X86NativeAssembly) .
1954    (nativePhysicalNativeLabel
1955      nativePhysicalNativeLabelDispatchTelemetry
1956      (nativePhysicalNativeEmit
1957        (nativePhysicalNativeLoad64
1958          (constructor X86NativeRegister64 X86NativeRCX)
1959          (constructor X86NativeRegister64 X86NativeR14)
1960          (nativePhysicalNativeDisplacementByte (byte 32)))
1961        (nativePhysicalNativeEmit
1962          (nativePhysicalNativeTest
1963            (constructor X86NativeRegister64 X86NativeRCX)
1964            (constructor X86NativeRegister64 X86NativeRCX))
1965          (nativePhysicalNativeJumpCondition
1966            (constructor X86NativeCondition X86NativeConditionZero)
1967            nativePhysicalNativeLabelCommandFailure
1968            (nativePhysicalNativeEmit
1969              (nativePhysicalNativeMove
1970                (constructor X86NativeRegister64 X86NativeRCX)
1971                (constructor X86NativeRegister64 X86NativeRSI))
1972              (nativePhysicalNativeEmit
1973                (nativePhysicalNativeAddImmediate
1974                  (constructor X86NativeRegister64 X86NativeRSI)
1975                  (nativePhysicalNativeI32Byte (byte 1)))
1976                (nativePhysicalNativeEmit
1977                  (nativePhysicalNativeStore64
1978                    (constructor X86NativeRegister64 X86NativeRSP)
1979                    (nativePhysicalNativeNegativeDisplacementByte (byte 232))
1980                    (constructor X86NativeRegister64 X86NativeRSI))
1981                  (nativePhysicalNativeEmit
1982                    (nativePhysicalNativeMoveImmediate32
1983                      (constructor X86NativeRegister64 X86NativeRAX)
1984                      (nativePhysicalNativeI32Byte (byte 9)))
1985                    (nativePhysicalNativeEmit
1986                      (nativePhysicalNativeMoveImmediate32
1987                        (constructor X86NativeRegister64 X86NativeRDI)
1988                        (nativePhysicalNativeI32Byte (byte 0)))
1989                      (nativePhysicalNativeEmit
1990                        (nativePhysicalNativeMoveImmediate32
1991                          (constructor X86NativeRegister64 X86NativeRDX)
1992                          (nativePhysicalNativeI32Byte (byte 3)))
1993                        (nativePhysicalNativeEmit
1994                          (nativePhysicalNativeMoveImmediate32
1995                            (constructor X86NativeRegister64 X86NativeR10)
1996                            (nativePhysicalNativeI32Byte (byte 34)))
1997                          (nativePhysicalNativeEmit
1998                            (nativePhysicalNativeMoveImmediate64
1999                              (constructor X86NativeRegister64 X86NativeR8)
2000                              nativePhysicalNativeI64NegativeOne)
2001                            (nativePhysicalNativeEmit
2002                              (nativePhysicalNativeMoveImmediate32
2003                                (constructor X86NativeRegister64 X86NativeR9)
2004                                (nativePhysicalNativeI32Byte (byte 0)))
2005                              (nativePhysicalNativeEmit
2006                                nativePhysicalNativeSystemCallInstruction
2007                                (nativePhysicalNativeEmit
2008                                  (nativePhysicalNativeTest
2009                                    (constructor X86NativeRegister64 X86NativeRAX)
2010                                    (constructor X86NativeRegister64 X86NativeRAX))
2011                                  (nativePhysicalNativeJumpCondition
2012                                    (constructor X86NativeCondition X86NativeConditionSign)
2013                                    nativePhysicalNativeLabelCommandFailure
2014                                    (nativePhysicalNativeEmit
2015                                      (nativePhysicalNativeStore64
2016                                        (constructor X86NativeRegister64 X86NativeRSP)
2017                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248))
2018                                        (constructor X86NativeRegister64 X86NativeRAX))
2019                                      (nativePhysicalNativeEmit
2020                                        (nativePhysicalNativeMove
2021                                        (constructor X86NativeRegister64 X86NativeRAX)
2022                                        (constructor X86NativeRegister64 X86NativeRDI))
2023                                        (nativePhysicalNativeEmit
2024                                        (nativePhysicalNativeMove
2025                                        (constructor X86NativeRegister64 X86NativeR14)
2026                                        (constructor X86NativeRegister64 X86NativeRSI))
2027                                        (nativePhysicalNativePayloadBase
2028                                        (constructor X86NativeRegister64 X86NativeRSI)
2029                                        (constructor X86NativeRegister64 X86NativeR11)
2030                                        (nativePhysicalNativeLabel
2031                                        nativePhysicalNativeLabelTelemetryCopyLoop
2032                                        (nativePhysicalNativeEmit
2033                                        (nativePhysicalNativeLoad8
2034                                        (constructor X86NativeRegister64 X86NativeRAX)
2035                                        (constructor X86NativeRegister64 X86NativeRSI)
2036                                        nativePhysicalNativeD0)
2037                                        (nativePhysicalNativeEmit
2038                                        (nativePhysicalNativeStore8
2039                                        (constructor X86NativeRegister64 X86NativeRDI)
2040                                        nativePhysicalNativeD0
2041                                        (constructor X86NativeRegister64 X86NativeRAX))
2042                                        (nativePhysicalNativeEmit
2043                                        (nativePhysicalNativeAddImmediate
2044                                        (constructor X86NativeRegister64 X86NativeRSI)
2045                                        (nativePhysicalNativeI32Byte (byte 1)))
2046                                        (nativePhysicalNativeEmit
2047                                        (nativePhysicalNativeAddImmediate
2048                                        (constructor X86NativeRegister64 X86NativeRDI)
2049                                        (nativePhysicalNativeI32Byte (byte 1)))
2050                                        (nativePhysicalNativeEmit
2051                                        (nativePhysicalNativeAddImmediate
2052                                        (constructor X86NativeRegister64 X86NativeRCX)
2053                                        nativePhysicalNativeI32NegativeOne)
2054                                        (nativePhysicalNativeEmit
2055                                        (nativePhysicalNativeTest
2056                                        (constructor X86NativeRegister64 X86NativeRCX)
2057                                        (constructor X86NativeRegister64 X86NativeRCX))
2058                                        (nativePhysicalNativeJumpCondition
2059                                        (constructor X86NativeCondition X86NativeConditionNotZero)
2060                                        nativePhysicalNativeLabelTelemetryCopyLoop
2061                                        (nativePhysicalNativeEmit
2062                                        (nativePhysicalNativeMoveImmediate32
2063                                        (constructor X86NativeRegister64 X86NativeRAX)
2064                                        (nativePhysicalNativeImmediate32
2065                                        (byte 1)
2066                                        (byte 1)
2067                                        (byte 0)
2068                                        (byte 0)))
2069                                        (nativePhysicalNativeEmit
2070                                        (nativePhysicalNativeMoveImmediate64
2071                                        (constructor X86NativeRegister64 X86NativeRDI)
2072                                        (nativePhysicalNativeImmediate64
2073                                        (byte 156)
2074                                        (byte 255)
2075                                        (byte 255)
2076                                        (byte 255)
2077                                        (byte 255)
2078                                        (byte 255)
2079                                        (byte 255)
2080                                        (byte 255)))
2081                                        (nativePhysicalNativeEmit
2082                                        (nativePhysicalNativeLoad64
2083                                        (constructor X86NativeRegister64 X86NativeRSI)
2084                                        (constructor X86NativeRegister64 X86NativeRSP)
2085                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
2086                                        (nativePhysicalNativeEmit
2087                                        (nativePhysicalNativeMoveImmediate32
2088                                        (constructor X86NativeRegister64 X86NativeRDX)
2089                                        (nativePhysicalNativeImmediate32
2090                                        (byte 65)
2091                                        (byte 4)
2092                                        (byte 0)
2093                                        (byte 0)))
2094                                        (nativePhysicalNativeEmit
2095                                        (nativePhysicalNativeMoveImmediate32
2096                                        (constructor X86NativeRegister64 X86NativeR10)
2097                                        (nativePhysicalNativeImmediate32
2098                                        (byte 164)
2099                                        (byte 1)
2100                                        (byte 0)
2101                                        (byte 0)))
2102                                        (nativePhysicalNativeEmit
2103                                        nativePhysicalNativeSystemCallInstruction
2104                                        (nativePhysicalNativeEmit
2105                                        (nativePhysicalNativeTest
2106                                        (constructor X86NativeRegister64 X86NativeRAX)
2107                                        (constructor X86NativeRegister64 X86NativeRAX))
2108                                        (nativePhysicalNativeJumpCondition
2109                                        (constructor X86NativeCondition X86NativeConditionSign)
2110                                        nativePhysicalNativeLabelCommandFailure
2111                                        (nativePhysicalNativeEmit
2112                                        (nativePhysicalNativeStore64
2113                                        (constructor X86NativeRegister64 X86NativeRSP)
2114                                        (nativePhysicalNativeNegativeDisplacementByte (byte 240))
2115                                        (constructor X86NativeRegister64 X86NativeRAX))
2116                                        (nativePhysicalNativeEmit
2117                                        (nativePhysicalNativeMove
2118                                        (constructor X86NativeRegister64 X86NativeR14)
2119                                        (constructor X86NativeRegister64 X86NativeRSI))
2120                                        (nativePhysicalNativePayloadBase
2121                                        (constructor X86NativeRegister64 X86NativeRSI)
2122                                        (constructor X86NativeRegister64 X86NativeR11)
2123                                        (nativePhysicalNativeEmit
2124                                        (nativePhysicalNativeLoad64
2125                                        (constructor X86NativeRegister64 X86NativeRCX)
2126                                        (constructor X86NativeRegister64 X86NativeR14)
2127                                        (nativePhysicalNativeDisplacementByte (byte 32)))
2128                                        (nativePhysicalNativeEmit
2129                                        (nativePhysicalNativeAdd
2130                                        (constructor X86NativeRegister64 X86NativeRCX)
2131                                        (constructor X86NativeRegister64 X86NativeRSI))
2132                                        (nativePhysicalNativeEmit
2133                                        (nativePhysicalNativeLoad64
2134                                        (constructor X86NativeRegister64 X86NativeRDX)
2135                                        (constructor X86NativeRegister64 X86NativeR14)
2136                                        (nativePhysicalNativeDisplacementByte (byte 40)))
2137                                        (nativePhysicalNativeEmit
2138                                        (nativePhysicalNativeLoad64
2139                                        (constructor X86NativeRegister64 X86NativeRDI)
2140                                        (constructor X86NativeRegister64 X86NativeRSP)
2141                                        (nativePhysicalNativeNegativeDisplacementByte (byte 240)))
2142                                        (nativePhysicalNativeLabel
2143                                        nativePhysicalNativeLabelTelemetryWriteLoop
2144                                        (nativePhysicalNativeEmit
2145                                        (nativePhysicalNativeMoveImmediate32
2146                                        (constructor X86NativeRegister64 X86NativeRAX)
2147                                        (nativePhysicalNativeI32Byte (byte 1)))
2148                                        (nativePhysicalNativeEmit
2149                                        nativePhysicalNativeSystemCallInstruction
2150                                        (nativePhysicalNativeEmit
2151                                        (nativePhysicalNativeTest
2152                                        (constructor X86NativeRegister64 X86NativeRAX)
2153                                        (constructor X86NativeRegister64 X86NativeRAX))
2154                                        (nativePhysicalNativeJumpCondition
2155                                        (constructor X86NativeCondition X86NativeConditionSign)
2156                                        nativePhysicalNativeLabelCommandFailure
2157                                        (nativePhysicalNativeJumpCondition
2158                                        (constructor X86NativeCondition X86NativeConditionZero)
2159                                        nativePhysicalNativeLabelCommandFailure
2160                                        (nativePhysicalNativeEmit
2161                                        (nativePhysicalNativeAdd
2162                                        (constructor X86NativeRegister64 X86NativeRAX)
2163                                        (constructor X86NativeRegister64 X86NativeRSI))
2164                                        (nativePhysicalNativeEmit
2165                                        (nativePhysicalNativeSubtract
2166                                        (constructor X86NativeRegister64 X86NativeRAX)
2167                                        (constructor X86NativeRegister64 X86NativeRDX))
2168                                        (nativePhysicalNativeEmit
2169                                        (nativePhysicalNativeTest
2170                                        (constructor X86NativeRegister64 X86NativeRDX)
2171                                        (constructor X86NativeRegister64 X86NativeRDX))
2172                                        (nativePhysicalNativeJumpCondition
2173                                        (constructor X86NativeCondition X86NativeConditionNotZero)
2174                                        nativePhysicalNativeLabelTelemetryWriteLoop
2175                                        (nativePhysicalNativeEmit
2176                                        (nativePhysicalNativeMoveImmediate32
2177                                        (constructor X86NativeRegister64 X86NativeRAX)
2178                                        (nativePhysicalNativeI32Byte (byte 75)))
2179                                        (nativePhysicalNativeEmit
2180                                        nativePhysicalNativeSystemCallInstruction
2181                                        (nativePhysicalNativeEmit
2182                                        (nativePhysicalNativeTest
2183                                        (constructor X86NativeRegister64 X86NativeRAX)
2184                                        (constructor X86NativeRegister64 X86NativeRAX))
2185                                        (nativePhysicalNativeJumpCondition
2186                                        (constructor X86NativeCondition X86NativeConditionSign)
2187                                        nativePhysicalNativeLabelCommandFailure
2188                                        (nativePhysicalNativeEmit
2189                                        (nativePhysicalNativeMoveImmediate32
2190                                        (constructor X86NativeRegister64 X86NativeRAX)
2191                                        (nativePhysicalNativeI32Byte (byte 3)))
2192                                        (nativePhysicalNativeEmit
2193                                        nativePhysicalNativeSystemCallInstruction
2194                                        (nativePhysicalNativeEmit
2195                                        (nativePhysicalNativeTest
2196                                        (constructor X86NativeRegister64 X86NativeRAX)
2197                                        (constructor X86NativeRegister64 X86NativeRAX))
2198                                        (nativePhysicalNativeJumpCondition
2199                                        (constructor X86NativeCondition X86NativeConditionSign)
2200                                        nativePhysicalNativeLabelCommandFailure
2201                                        (nativePhysicalNativeEmit
2202                                        (nativePhysicalNativeMoveImmediate32
2203                                        (constructor X86NativeRegister64 X86NativeRAX)
2204                                        (nativePhysicalNativeI32Byte (byte 11)))
2205                                        (nativePhysicalNativeEmit
2206                                        (nativePhysicalNativeLoad64
2207                                        (constructor X86NativeRegister64 X86NativeRDI)
2208                                        (constructor X86NativeRegister64 X86NativeRSP)
2209                                        (nativePhysicalNativeNegativeDisplacementByte (byte 248)))
2210                                        (nativePhysicalNativeEmit
2211                                        (nativePhysicalNativeLoad64
2212                                        (constructor X86NativeRegister64 X86NativeRSI)
2213                                        (constructor X86NativeRegister64 X86NativeRSP)
2214                                        (nativePhysicalNativeNegativeDisplacementByte (byte 232)))
2215                                        (nativePhysicalNativeEmit
2216                                        nativePhysicalNativeSystemCallInstruction
2217                                        (nativePhysicalNativeEmit
2218                                        (nativePhysicalNativeTest
2219                                        (constructor X86NativeRegister64 X86NativeRAX)
2220                                        (constructor X86NativeRegister64 X86NativeRAX))
2221                                        (nativePhysicalNativeJumpCondition
2222                                        (constructor X86NativeCondition X86NativeConditionSign)
2223                                        nativePhysicalNativeLabelCommandFailure
2224                                        (nativePhysicalNativeJump
2225                                        nativePhysicalNativeLabelAdvance
2226                                        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.