445def x86NativeRexRegisterPair :
446 (pi unrestricted source : (family X86NativeRegister64) .
447 (pi unrestricted destination : (family X86NativeRegister64) . Bytes)) =
448 (lambda unrestricted source : (family X86NativeRegister64) .
449 (lambda unrestricted destination : (family X86NativeRegister64) .
450 (eliminate
451 X86NativeRegisterBank
452 (lambda unrestricted sourceBank : (family X86NativeRegisterBank) . Bytes)
453 (x86NativeRegisterBank source)
454 (branch
455 X86NativeLowBank
456 .
457 (eliminate
458 X86NativeRegisterBank
459 (lambda unrestricted destinationBank : (family X86NativeRegisterBank) . Bytes)
460 (x86NativeRegisterBank destination)
461 (branch X86NativeLowBank . b"")
462 (branch X86NativeHighBank . b"A")))
463 (branch
464 X86NativeHighBank
465 .
466 (eliminate
467 X86NativeRegisterBank
468 (lambda unrestricted destinationBank : (family X86NativeRegisterBank) . Bytes)
469 (x86NativeRegisterBank destination)
470 (branch X86NativeLowBank . b"D")
471 (branch X86NativeHighBank . b"E"))))))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.