322def x86NativeMoveImmediate64Head :
323 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
324 (lambda unrestricted destination : (family X86NativeRegister64) .
325 (eliminate
326 X86NativeRegister64
327 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
328 destination
329 (branch X86NativeRAX . (bytes 72 184))
330 (branch X86NativeRCX . (bytes 72 185))
331 (branch X86NativeRDX . (bytes 72 186))
332 (branch X86NativeRBX . (bytes 72 187))
333 (branch X86NativeRSP . (bytes 72 188))
334 (branch X86NativeRBP . (bytes 72 189))
335 (branch X86NativeRSI . (bytes 72 190))
336 (branch X86NativeRDI . (bytes 72 191))
337 (branch X86NativeR8 . (bytes 73 184))
338 (branch X86NativeR9 . (bytes 73 185))
339 (branch X86NativeR10 . (bytes 73 186))
340 (branch X86NativeR11 . (bytes 73 187))
341 (branch X86NativeR12 . (bytes 73 188))
342 (branch X86NativeR13 . (bytes 73 189))
343 (branch X86NativeR14 . (bytes 73 190))
344 (branch X86NativeR15 . (bytes 73 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.