417def x86NativeRexWRegisterPair :
418 (pi unrestricted source : (family X86NativeRegister64) .
419 (pi unrestricted destination : (family X86NativeRegister64) . Bytes)) =
420 (lambda unrestricted source : (family X86NativeRegister64) .
421 (lambda unrestricted destination : (family X86NativeRegister64) .
422 (eliminate
423 X86NativeRegisterBank
424 (lambda unrestricted sourceBank : (family X86NativeRegisterBank) . Bytes)
425 (x86NativeRegisterBank source)
426 (branch
427 X86NativeLowBank
428 .
429 (eliminate
430 X86NativeRegisterBank
431 (lambda unrestricted destinationBank : (family X86NativeRegisterBank) . Bytes)
432 (x86NativeRegisterBank destination)
433 (branch X86NativeLowBank . b"H")
434 (branch X86NativeHighBank . b"I")))
435 (branch
436 X86NativeHighBank
437 .
438 (eliminate
439 X86NativeRegisterBank
440 (lambda unrestricted destinationBank : (family X86NativeRegisterBank) . Bytes)
441 (x86NativeRegisterBank destination)
442 (branch X86NativeLowBank . b"L")
443 (branch X86NativeHighBank . b"M"))))))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.