AlphaGitHub
Source/Packages

Runtime.NativePhysicalTrainingRoutine

packages/execution/src/Runtime/NativePhysicalTrainingRoutine.alpha

829 lines56 declarations42.7 KiBSHA-256 85591762f113
Download exact fileView at revisionf5034773ad4bb52133

def · lines 110–159

nativePhysicalTrainingBitPatchAssemblyWithAccess

Full file
110def nativePhysicalTrainingBitPatchAssemblyWithAccess =
111  (lambda unrestricted load : (family X86NativeInstruction) .
112    (lambda unrestricted store : (family X86NativeInstruction) .
113      (lambda unrestricted sourceShift : (family X86NativeImmediate8) .
114        (lambda unrestricted destinationShift : (family X86NativeImmediate8) .
115          (lambda unrestricted sourceMask : (family X86NativeImmediate64) .
116            (lambda unrestricted clearMask : (family X86NativeImmediate64) .
117              (constructor X86NativeAssembly X86NativeAssemblyEmit
118                load
119                (constructor X86NativeAssembly X86NativeAssemblyEmit
120                  (constructor X86NativeInstruction X86NativeMoveRegister64
121                    (constructor X86NativeRegister64 X86NativeRSI)
122                    (constructor X86NativeRegister64 X86NativeRCX))
123                  (constructor X86NativeAssembly X86NativeAssemblyEmit
124                    (constructor X86NativeInstruction X86NativeShiftRightImmediate64
125                      (constructor X86NativeRegister64 X86NativeRCX)
126                      sourceShift)
127                    (constructor X86NativeAssembly X86NativeAssemblyEmit
128                      (constructor X86NativeInstruction X86NativeMoveImmediate64
129                        (constructor X86NativeRegister64 X86NativeRDX)
130                        sourceMask)
131                      (constructor X86NativeAssembly X86NativeAssemblyEmit
132                        (constructor X86NativeInstruction X86NativeAndRegister64
133                          (constructor X86NativeRegister64 X86NativeRDX)
134                          (constructor X86NativeRegister64 X86NativeRCX))
135                        (constructor X86NativeAssembly X86NativeAssemblyEmit
136                          (constructor X86NativeInstruction X86NativeShiftLeftImmediate64
137                            (constructor X86NativeRegister64 X86NativeRCX)
138                            destinationShift)
139                          (constructor X86NativeAssembly X86NativeAssemblyEmit
140                            (constructor X86NativeInstruction X86NativeMoveImmediate64
141                              (constructor X86NativeRegister64 X86NativeRDX)
142                              clearMask)
143                            (constructor X86NativeAssembly X86NativeAssemblyEmit
144                              (constructor X86NativeInstruction X86NativeAndRegister64
145                                (constructor X86NativeRegister64 X86NativeRDX)
146                                (constructor X86NativeRegister64 X86NativeRAX))
147                              (constructor X86NativeAssembly X86NativeAssemblyEmit
148                                (constructor X86NativeInstruction X86NativeOrRegister64
149                                  (constructor X86NativeRegister64 X86NativeRCX)
150                                  (constructor X86NativeRegister64 X86NativeRAX))
151                                (constructor X86NativeAssembly X86NativeAssemblyEmit
152                                  store
153                                  (constructor X86NativeAssembly X86NativeAssemblyEmit
154                                    (constructor X86NativeInstruction X86NativeClear32
155                                      (constructor X86NativeRegister64 X86NativeRAX))
156                                    (constructor X86NativeAssembly X86NativeAssemblyEmit
157                                      (constructor X86NativeInstruction X86NativeReturn)
158                                      (constructor X86NativeAssembly
159                                        X86NativeAssemblyEnd)))))))))))))))))))

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.