298def x86NativeMoveImmediate32Head :
299 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
300 (lambda unrestricted destination : (family X86NativeRegister64) .
301 (eliminate
302 X86NativeRegister64
303 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
304 destination
305 (branch X86NativeRAX . (bytes 184))
306 (branch X86NativeRCX . (bytes 185))
307 (branch X86NativeRDX . (bytes 186))
308 (branch X86NativeRBX . (bytes 187))
309 (branch X86NativeRSP . (bytes 188))
310 (branch X86NativeRBP . (bytes 189))
311 (branch X86NativeRSI . (bytes 190))
312 (branch X86NativeRDI . (bytes 191))
313 (branch X86NativeR8 . (bytes 65 184))
314 (branch X86NativeR9 . (bytes 65 185))
315 (branch X86NativeR10 . (bytes 65 186))
316 (branch X86NativeR11 . (bytes 65 187))
317 (branch X86NativeR12 . (bytes 65 188))
318 (branch X86NativeR13 . (bytes 65 189))
319 (branch X86NativeR14 . (bytes 65 190))
320 (branch X86NativeR15 . (bytes 65 191))))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.