161def nativePhysicalTrainingBitPatchAssembly =
162 (lambda unrestricted destinationWidth :
163 (family NativePhysicalTrainingBitPatchDestinationWidth) .
164 (lambda unrestricted sourceShift : Nat .
165 (lambda unrestricted destinationShift : Nat .
166 (lambda unrestricted width : Nat .
167 (app
168 (lambda unrestricted sourceMaskWord : (family ModelWord64) .
169 (app
170 (lambda unrestricted shiftedMaskWord : (family ModelWord64) .
171 (app
172 (lambda unrestricted clearMaskWord : (family ModelWord64) .
173 (eliminate NativePhysicalTrainingBitPatchDestinationWidth
174 (lambda unrestricted current :
175 (family NativePhysicalTrainingBitPatchDestinationWidth) .
176 (family X86NativeAssembly))
177 destinationWidth
178 (branch NativePhysicalTrainingBitPatchDestination32 .
179 (app
180 (app
181 (app
182 (app
183 (app
184 (app nativePhysicalTrainingBitPatchAssemblyWithAccess
185 (constructor X86NativeInstruction
186 X86NativeLoadMemory32ZeroExtend64
187 (constructor X86NativeRegister64 X86NativeRAX)
188 (constructor X86NativeRegister64 X86NativeRDI)
189 nativePhysicalNativeD0))
190 (constructor X86NativeInstruction
191 X86NativeStoreMemory32
192 (constructor X86NativeRegister64 X86NativeRDI)
193 nativePhysicalNativeD0
194 (constructor X86NativeRegister64 X86NativeRAX)))
195 (app nativePhysicalTrainingImmediate8FromNatural
196 sourceShift))
197 (app nativePhysicalTrainingImmediate8FromNatural
198 destinationShift))
199 (app nativePhysicalTrainingImmediate64FromWord
200 sourceMaskWord))
201 (app nativePhysicalTrainingImmediate64FromWord
202 clearMaskWord)))
203 (branch NativePhysicalTrainingBitPatchDestination64 .
204 (app
205 (app
206 (app
207 (app
208 (app
209 (app nativePhysicalTrainingBitPatchAssemblyWithAccess
210 (constructor X86NativeInstruction
211 X86NativeLoadMemory64
212 (constructor X86NativeRegister64 X86NativeRAX)
213 (constructor X86NativeRegister64 X86NativeRDI)
214 nativePhysicalNativeD0))
215 (constructor X86NativeInstruction
216 X86NativeStoreMemory64
217 (constructor X86NativeRegister64 X86NativeRDI)
218 nativePhysicalNativeD0
219 (constructor X86NativeRegister64 X86NativeRAX)))
220 (app nativePhysicalTrainingImmediate8FromNatural
221 sourceShift))
222 (app nativePhysicalTrainingImmediate8FromNatural
223 destinationShift))
224 (app nativePhysicalTrainingImmediate64FromWord
225 sourceMaskWord))
226 (app nativePhysicalTrainingImmediate64FromWord
227 clearMaskWord)))))
228 (app modelWord64Complement shiftedMaskWord)))
229 (app
230 (app nativePhysicalTrainingShiftLeftWord sourceMaskWord)
231 destinationShift)))
232 (app nativePhysicalTrainingBitMask width))))))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.