893def x86NativeAndImmediate64Head :
894 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
895 (lambda unrestricted destination : (family X86NativeRegister64) .
896 (eliminate
897 X86NativeRegister64
898 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
899 destination
900 (branch X86NativeRAX . (bytes 72 129 224))
901 (branch X86NativeRCX . (bytes 72 129 225))
902 (branch X86NativeRDX . (bytes 72 129 226))
903 (branch X86NativeRBX . (bytes 72 129 227))
904 (branch X86NativeRSP . (bytes 72 129 228))
905 (branch X86NativeRBP . (bytes 72 129 229))
906 (branch X86NativeRSI . (bytes 72 129 230))
907 (branch X86NativeRDI . (bytes 72 129 231))
908 (branch X86NativeR8 . (bytes 73 129 224))
909 (branch X86NativeR9 . (bytes 73 129 225))
910 (branch X86NativeR10 . (bytes 73 129 226))
911 (branch X86NativeR11 . (bytes 73 129 227))
912 (branch X86NativeR12 . (bytes 73 129 228))
913 (branch X86NativeR13 . (bytes 73 129 229))
914 (branch X86NativeR14 . (bytes 73 129 230))
915 (branch X86NativeR15 . (bytes 73 129 231))))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.